The bald eagle sees the cat. The cat likes the mouse. The mouse sees the bald eagle. The squirrel sees the mouse. If something is round and it likes the mouse then it is red. If something sees the mouse then the mouse is rough. If the cat is nice then the cat does not like the squirrel. If the bald eagle chases the squirrel then the bald eagle likes the squirrel. If something chases the bald eagle then the bald eagle is not rough. If something is rough then it chases the bald eagle.
The mouse is rough.
@0: The bald eagle sees the cat.[(triple1)] The cat likes the mouse.[(triple2)] The mouse sees the bald eagle.[(triple3)] The squirrel sees the mouse.[(triple4)] @1: The mouse is rough.[(((triple4) -> rule2))] @2: The mouse chases the bald eagle.[(((((triple4) -> rule2)) -> rule6))] @3: The bald eagle is not rough.[(((((((triple4) -> rule2)) -> rule6)) -> rule5))]