The bald eagle eats the cat. The cat likes the bald eagle. If something is young then it eats the cat. If something eats the cat then the cat sees the bald eagle. If the bald eagle likes the cat and the bald eagle is round then the bald eagle sees the cat. If something eats the cat and the cat does not eat the bald eagle then it sees the bald eagle. If something eats the cat then the cat is young. If something eats the cat and the cat sees the bald eagle then it sees the cat.
The cat does not like the bald eagle.
@0: The bald eagle eats the cat.[(triple1)] The cat likes the bald eagle.[(triple2)] @1: The cat is young.[(((triple1) -> rule5))] The cat sees the bald eagle.[(((triple1) -> rule2) OR ((((((triple1) -> rule5)) -> rule1)) -> rule2))] @2: The bald eagle sees the cat.[(((triple1 ((triple1) -> rule2)) -> rule6) OR ((triple1 ((((((triple1) -> rule5)) -> rule1)) -> rule2)) -> rule6))] The cat eats the cat.[(((((triple1) -> rule5)) -> rule1))] @3: The cat sees the cat.[(((((((triple1) -> rule5)) -> rule1) ((triple1) -> rule2)) -> rule6) OR ((((((triple1) -> rule5)) -> rule1) ((((((triple1) -> rule5)) -> rule1)) -> rule2)) -> rule6))]