Id If Then
39
75 ( ∧ ) ¬
239 ( ∧ ∧ ∧ )
240 ( ∧ )