The cat is red. The cat likes the squirrel. The lion eats the squirrel. The mouse is cold. The mouse visits the lion. The squirrel is red. The squirrel visits the cat. If someone is cold and they like the squirrel then the squirrel is cold. If someone is cold then they visit the squirrel. If someone visits the lion and they like the cat then they visit the squirrel. If someone visits the mouse then the mouse is red. If someone is cold then they like the mouse. If someone likes the mouse and the mouse visits the lion then they like the squirrel.
The squirrel does not like the squirrel.
@0: The cat is red.[(triple1)] The cat likes the squirrel.[(triple2)] The lion eats the squirrel.[(triple3)] The mouse is cold.[(triple4)] The mouse visits the lion.[(triple5)] The squirrel is red.[(triple6)] The squirrel visits the cat.[(triple7)] @1: The mouse likes the mouse.[(((triple4) -> rule5))] The mouse visits the squirrel.[(((triple4) -> rule2))] @2: The mouse likes the squirrel.[(((((triple4) -> rule5) triple5) -> rule6))] @3: The squirrel is cold.[(((triple4 ((((triple4) -> rule5) triple5) -> rule6)) -> rule1))] @4: The squirrel likes the mouse.[(((((triple4 ((((triple4) -> rule5) triple5) -> rule6)) -> rule1)) -> rule5))] The squirrel visits the squirrel.[(((((triple4 ((((triple4) -> rule5) triple5) -> rule6)) -> rule1)) -> rule2))] @5: The squirrel likes the squirrel.[(((((((triple4 ((((triple4) -> rule5) triple5) -> rule6)) -> rule1)) -> rule5) triple5) -> rule6))]