(AND (OR (=> (OR (AND A B) C) D) (NOT E)) (=> C D))
(OR (AND (<=> A B) (OR C D)) (NOT B))