The cat is nice. The cat likes the mouse. The cat likes the squirrel. The cat needs the mouse. The cat needs the squirrel. The cat visits the mouse. The mouse is cold. The mouse is nice. The mouse likes the cat. The mouse likes the squirrel. The mouse needs the cat. The squirrel is blue. If something visits the cat then it visits the mouse. If something likes the squirrel and it likes the cat then the squirrel visits the cat. If the cat visits the squirrel and the squirrel visits the mouse then the cat is red.
The mouse does not need the mouse.
@0: The cat is nice.[(triple1)] The cat likes the mouse.[(triple2)] The cat likes the squirrel.[(triple3)] The cat needs the mouse.[(triple4)] The cat needs the squirrel.[(triple5)] The cat visits the mouse.[(triple6)] The mouse is cold.[(triple7)] The mouse is nice.[(triple8)] The mouse likes the cat.[(triple9)] The mouse likes the squirrel.[(triple10)] The mouse needs the cat.[(triple11)] The squirrel is blue.[(triple12)] @1: The squirrel visits the cat.[(((triple10 triple9) -> rule2))] @2: The squirrel visits the mouse.[(((((triple10 triple9) -> rule2)) -> rule1))]