The bald eagle is rough. The cow chases the mouse. The lion likes the mouse. The mouse likes the bald eagle. If something eats the lion then the lion does not like the bald eagle. If something likes the mouse and it likes the bald eagle then the mouse likes the lion. If something chases the mouse then it eats the lion. If the bald eagle likes the cow and the bald eagle eats the cow then the cow likes the mouse. If something chases the lion and the lion eats the cow then the cow eats the bald eagle. If something is red then it eats the cow. If the lion is red then the lion eats the cow. If the cow eats the lion and the cow chases the mouse then the mouse is red.
The mouse likes the lion.
@0: The bald eagle is rough.[(triple1)] The cow chases the mouse.[(triple2)] The lion likes the mouse.[(triple3)] The mouse likes the bald eagle.[(triple4)] @1: The cow eats the lion.[(((triple2) -> rule3))] @2: The lion does not like the bald eagle.[(((((triple2) -> rule3)) -> rule1))] The mouse is red.[(((((triple2) -> rule3) triple2) -> rule8))] @3: The mouse eats the cow.[(((((((triple2) -> rule3) triple2) -> rule8)) -> rule6))]