The bald eagle chases the cat. The bald eagle needs the cat. The cat needs the bald eagle. If someone sees the cat then the cat does not see the bald eagle. If someone needs the cat then they are red. If someone needs the bald eagle then the bald eagle needs the cat. If someone chases the cat then the cat does not chase the bald eagle. If the bald eagle does not chase the cat then the cat is green. If someone is red then they see the cat. If the bald eagle chases the cat and the cat is green then the cat needs the bald eagle. If someone chases the bald eagle and they are not green then they are not rough.
The bald eagle sees the cat.
@0: The bald eagle chases the cat.[(triple1)] The bald eagle needs the cat.[(triple2 OR ((triple3) -> rule3))] The cat needs the bald eagle.[(triple3)] @1: The bald eagle is red.[(((triple2) -> rule2) OR ((((triple3) -> rule3)) -> rule2))] The cat does not chase the bald eagle.[(((triple1) -> rule4))] @2: The bald eagle sees the cat.[(((((triple2) -> rule2)) -> rule6) OR ((((((triple3) -> rule3)) -> rule2)) -> rule6))] @3: The cat does not see the bald eagle.[(((((((triple2) -> rule2)) -> rule6)) -> rule1) OR ((((((((triple3) -> rule3)) -> rule2)) -> rule6)) -> rule1))]