The bald eagle is big. The mouse is red. The mouse visits the bald eagle. If the bald eagle chases the mouse and the mouse is big then the bald eagle likes the mouse. If something is cold then it visits the bald eagle. If something is kind then it is cold. If something visits the bald eagle then it is kind. If the mouse likes the bald eagle then the bald eagle is big. If something is cold and kind then it likes the mouse. If something is big then it chases the mouse. If something likes the mouse then the mouse visits the bald eagle.
The mouse does not chase the mouse.
@0: The bald eagle is big.[(triple1)] The mouse is red.[(triple2)] The mouse visits the bald eagle.[(triple3)] @1: The bald eagle chases the mouse.[(((triple1) -> rule7))] The mouse is kind.[(((triple3) -> rule4))] @2: The mouse is cold.[(((((triple3) -> rule4)) -> rule3))] @3: The mouse likes the mouse.[(((((((triple3) -> rule4)) -> rule3) ((triple3) -> rule4)) -> rule6))]