Id If Then
47
49
88 ( ∧ ) ¬
89 ( ∧¬ ) ¬
280 ( ∧ )
305 ( ∧ )
426 ( ∧ )