The lion eats the mouse. The lion eats the squirrel. The lion sees the mouse. The lion sees the tiger. The lion visits the mouse. The mouse eats the squirrel. The mouse is cold. The mouse is rough. The squirrel eats the lion. The squirrel eats the mouse. The squirrel is cold. The squirrel sees the mouse. The squirrel visits the mouse. The tiger eats the squirrel. The tiger is cold. If someone visits the tiger then the tiger visits the lion. If someone visits the mouse and they eat the mouse then they are nice. If the tiger visits the lion then the lion visits the tiger. If someone visits the squirrel then the squirrel visits the tiger. If someone is nice and cold then they eat the squirrel. If the lion is nice then the lion visits the tiger. If someone visits the lion and they are nice then they visit the tiger. If someone eats the tiger and they see the lion then the tiger eats the squirrel.
The tiger visits the lion.
@0: The lion eats the mouse.[(triple1)] The lion eats the squirrel.[(triple2)] The lion sees the mouse.[(triple3)] The lion sees the tiger.[(triple4)] The lion visits the mouse.[(triple5)] The mouse eats the squirrel.[(triple6)] The mouse is cold.[(triple7)] The mouse is rough.[(triple8)] The squirrel eats the lion.[(triple9)] The squirrel eats the mouse.[(triple10)] The squirrel is cold.[(triple11)] The squirrel sees the mouse.[(triple12)] The squirrel visits the mouse.[(triple13)] The tiger eats the squirrel.[(triple14)] The tiger is cold.[(triple15)] @1: The lion is nice.[(((triple5 triple1) -> rule2))] The squirrel is nice.[(((triple13 triple10) -> rule2))] @2: The lion visits the tiger.[(((((triple5 triple1) -> rule2)) -> rule6))] The squirrel eats the squirrel.[(((((triple13 triple10) -> rule2) triple11) -> rule5))] @3: The tiger visits the lion.[(((((((triple5 triple1) -> rule2)) -> rule6)) -> rule1))]