The cow is green. The lion is nice. The lion is red. The mouse chases the lion. The mouse is big. The mouse is cold. The mouse needs the cow. The mouse needs the squirrel. The mouse visits the cow. The mouse visits the squirrel. The squirrel is cold. The squirrel visits the mouse. If something is nice then it visits the lion. If something is red and it visits the lion then it is big. If the lion needs the mouse and the mouse chases the lion then the mouse visits the squirrel.
The lion visits the lion.
@0: The cow is green.[(triple1)] The lion is nice.[(triple2)] The lion is red.[(triple3)] The mouse chases the lion.[(triple4)] The mouse is big.[(triple5)] The mouse is cold.[(triple6)] The mouse needs the cow.[(triple7)] The mouse needs the squirrel.[(triple8)] The mouse visits the cow.[(triple9)] The mouse visits the squirrel.[(triple10)] The squirrel is cold.[(triple11)] The squirrel visits the mouse.[(triple12)] @1: The lion visits the lion.[(((triple2) -> rule1))] @2: The lion is big.[(((triple3 ((triple2) -> rule1)) -> rule2))]