The bald eagle eats the mouse. The bald eagle needs the dog. The cow eats the mouse. The cow is red. The cow is round. The dog eats the cow. The mouse likes the dog. If something likes the cow and it likes the mouse then it likes the dog. If something is red and round then it is nice. If the cow is cold and the cow is big then the cow likes the dog. If something is red and nice then it eats the mouse. If something eats the bald eagle then the bald eagle eats the cow. If something is nice and it needs the dog then it is round. If something is nice and it needs the bald eagle then the bald eagle needs the dog. If something is nice and red then it eats the bald eagle.
The dog does not like the dog.
@0: The bald eagle eats the mouse.[(triple1)] The bald eagle needs the dog.[(triple2)] The cow eats the mouse.[(triple3 OR ((triple4 ((triple4 triple5) -> rule2)) -> rule4))] The cow is red.[(triple4)] The cow is round.[(triple5)] The dog eats the cow.[(triple6)] The mouse likes the dog.[(triple7)] @1: The cow is nice.[(((triple4 triple5) -> rule2))] @2: The cow eats the bald eagle.[(((((triple4 triple5) -> rule2) triple4) -> rule8))] @3: The bald eagle eats the cow.[(((((((triple4 triple5) -> rule2) triple4) -> rule8)) -> rule5))]