The bald eagle is red. The mouse is rough. The mouse sees the bald eagle. If something is kind then it sees the mouse. If something is cold then it visits the mouse. If something sees the mouse then it is cold. If the mouse is cold then the mouse sees the bald eagle. If something is rough and it visits the bald eagle then the bald eagle sees the mouse. If something sees the bald eagle then it visits the bald eagle. If something is big and it visits the mouse then it is rough. If something chases the mouse then the mouse is red.
The bald eagle chases the mouse.
@0: The bald eagle is red.[(triple1)] The mouse is rough.[(triple2)] The mouse sees the bald eagle.[(triple3)] @1: The mouse visits the bald eagle.[(((triple3) -> rule6))] @2: The bald eagle sees the mouse.[(((triple2 ((triple3) -> rule6)) -> rule5))] @3: The bald eagle is cold.[(((((triple2 ((triple3) -> rule6)) -> rule5)) -> rule3))] @4: The bald eagle visits the mouse.[(((((((triple2 ((triple3) -> rule6)) -> rule5)) -> rule3)) -> rule2))]