A <=> B
 C <=> D
 C => A
 =D

 ?ABCD

# ABCD should be true