(Catch2_9==1) <-> ((((Catch1_10==1) <-> ((Catch2_4==1) <-> (Fork_2==1))) <-> ((Catch1_4==1) && (Catch1_9==1))) <-> ((Eat_2==1) -> (Fork_2==1)))
