The cow visits the squirrel. The lion is rough. The squirrel likes the tiger. The tiger visits the cow. If something is young and it chases the lion then it likes the squirrel. If something is cold then it likes the cow. If something likes the cow then it likes the tiger. If something is rough then it chases the squirrel. If something visits the cow then it is cold. If the cow does not like the tiger then the cow chases the tiger.
The cow chases the squirrel.
@0: The cow visits the squirrel.[(triple1)] The lion is rough.[(triple2)] The squirrel likes the tiger.[(triple3)] The tiger visits the cow.[(triple4)] @1: The lion chases the squirrel.[(((triple2) -> rule4))] The tiger is cold.[(((triple4) -> rule5))] @2: The tiger likes the cow.[(((((triple4) -> rule5)) -> rule2))] @3: The tiger likes the tiger.[(((((((triple4) -> rule5)) -> rule2)) -> rule3))]