The bald eagle likes the squirrel. The bald eagle visits the tiger. The mouse is blue. The mouse likes the bald eagle. The mouse needs the squirrel. The mouse visits the squirrel. The squirrel likes the mouse. The tiger is blue. The tiger is cold. The tiger likes the mouse. If something needs the tiger and the tiger likes the squirrel then the squirrel is nice. If something likes the tiger then the tiger likes the squirrel. If something visits the squirrel and it is blue then the squirrel likes the tiger.
The mouse is cold.
@0: The bald eagle likes the squirrel.[(triple1)] The bald eagle visits the tiger.[(triple2)] The mouse is blue.[(triple3)] The mouse likes the bald eagle.[(triple4)] The mouse needs the squirrel.[(triple5)] The mouse visits the squirrel.[(triple6)] The squirrel likes the mouse.[(triple7)] The tiger is blue.[(triple8)] The tiger is cold.[(triple9)] The tiger likes the mouse.[(triple10)] @1: The squirrel likes the tiger.[(((triple6 triple3) -> rule3))] @2: The tiger likes the squirrel.[(((((triple6 triple3) -> rule3)) -> rule2))]