The bald eagle sees the cow. The cat eats the cow. The cow needs the cat. The cow needs the mouse. The cow sees the mouse. The mouse is kind. The mouse is young. If something needs the mouse and the mouse sees the cow then the cow eats the cat. If something eats the bald eagle then the bald eagle is rough. If something eats the cow then it sees the bald eagle. If something needs the cow and it sees the cat then the cat is red. If something eats the cow then it needs the cat. If something sees the bald eagle then it eats the bald eagle.
The cat does not see the bald eagle.
@0: The bald eagle sees the cow.[(triple1)] The cat eats the cow.[(triple2)] The cow needs the cat.[(triple3)] The cow needs the mouse.[(triple4)] The cow sees the mouse.[(triple5)] The mouse is kind.[(triple6)] The mouse is young.[(triple7)] @1: The cat needs the cat.[(((triple2) -> rule5))] The cat sees the bald eagle.[(((triple2) -> rule3))] @2: The cat eats the bald eagle.[(((((triple2) -> rule3)) -> rule6))] @3: The bald eagle is rough.[(((((((triple2) -> rule3)) -> rule6)) -> rule2))]