The lion is cold. The lion is rough. The lion sees the tiger. The mouse needs the lion. The mouse sees the squirrel. The mouse sees the tiger. The squirrel visits the tiger. The tiger is cold. The tiger sees the squirrel. The tiger visits the squirrel. If something visits the lion and the lion needs the squirrel then the lion sees the mouse. If the mouse needs the tiger and the mouse visits the squirrel then the squirrel visits the lion. If the squirrel needs the tiger then the squirrel is round. If something is big and it sees the tiger then it sees the squirrel. If the mouse sees the tiger and the tiger needs the mouse then the tiger is nice. If something visits the tiger then it sees the mouse.
The squirrel visits the tiger.
@0: The lion is cold.[(triple1)] The lion is rough.[(triple2)] The lion sees the tiger.[(triple3)] The mouse needs the lion.[(triple4)] The mouse sees the squirrel.[(triple5)] The mouse sees the tiger.[(triple6)] The squirrel visits the tiger.[(triple7)] The tiger is cold.[(triple8)] The tiger sees the squirrel.[(triple9)] The tiger visits the squirrel.[(triple10)] @1: The squirrel sees the mouse.[(((triple7) -> rule6))]