The bald eagle chases the cat. The bald eagle does not eat the mouse. The cat eats the cow. The cow eats the cat. The cow is blue. The cow is young. The cow sees the cat. The cow does not see the mouse. The mouse does not chase the cow. The mouse eats the bald eagle. The mouse is round. If something eats the mouse then it is round. If the mouse is red then the mouse sees the cow. If something chases the cat then it does not chase the mouse. If the mouse chases the cat then the cat eats the mouse. If something is round then it chases the cat.
The mouse eats the mouse.
@0: The bald eagle chases the cat.[(triple1)] The bald eagle does not eat the mouse.[(triple2)] The cat eats the cow.[(triple3)] The cow does not see the mouse.[(triple8)] The cow eats the cat.[(triple4)] The cow is blue.[(triple5)] The cow is young.[(triple6)] The cow sees the cat.[(triple7)] The mouse does not chase the cow.[(triple9)] The mouse eats the bald eagle.[(triple10)] The mouse is round.[(triple11)] @1: The bald eagle does not chase the mouse.[(((triple1) -> rule3))] The mouse chases the cat.[(((triple11) -> rule5))] @2: The cat eats the mouse.[(((((triple11) -> rule5)) -> rule4))] The mouse does not chase the mouse.[(((((triple11) -> rule5)) -> rule3))] @3: The cat is round.[(((((((triple11) -> rule5)) -> rule4)) -> rule1))] @4: The cat chases the cat.[(((((((((triple11) -> rule5)) -> rule4)) -> rule1)) -> rule5))] @5: The cat does not chase the mouse.[(((((((((((triple11) -> rule5)) -> rule4)) -> rule1)) -> rule5)) -> rule3))]