The mouse is red. The rabbit is green. The squirrel eats the tiger. The squirrel is red. The squirrel likes the mouse. The squirrel visits the mouse. The tiger visits the rabbit. If something visits the squirrel and the squirrel is red then the squirrel likes the rabbit. Red things are cold. If something likes the tiger then it likes the rabbit. If something likes the tiger and it is green then it is young. If something visits the squirrel then it likes the rabbit. If something visits the mouse and the mouse is cold then the mouse visits the squirrel.
The mouse eats the tiger.
@0: The mouse is red.[(triple1)] The rabbit is green.[(triple2)] The squirrel eats the tiger.[(triple3)] The squirrel is red.[(triple4)] The squirrel likes the mouse.[(triple5)] The squirrel visits the mouse.[(triple6)] The tiger visits the rabbit.[(triple7)] @1: The mouse is cold.[(((triple1) -> rule2))] The squirrel is cold.[(((triple4) -> rule2))] @2: The mouse visits the squirrel.[(((triple6 ((triple1) -> rule2)) -> rule6))] @3: The mouse likes the rabbit.[(((((triple6 ((triple1) -> rule2)) -> rule6)) -> rule5))] The squirrel likes the rabbit.[(((((triple6 ((triple1) -> rule2)) -> rule6) triple4) -> rule1))]