The cat visits the squirrel. The cow eats the cat. The lion likes the squirrel. The squirrel eats the cow. If something visits the lion then the lion likes the cat. If something eats the cow and it likes the cow then the cow eats the lion. If something visits the lion then it visits the squirrel. If the squirrel is young then the squirrel eats the cow. If something visits the lion and it is young then the lion visits the squirrel. Cold things are rough. If something likes the squirrel then the squirrel is cold. If something likes the cow and the cow likes the squirrel then the cow likes the cat.
The squirrel is not cold.
@0: The cat visits the squirrel.[(triple1)] The cow eats the cat.[(triple2)] The lion likes the squirrel.[(triple3)] The squirrel eats the cow.[(triple4)] @1: The squirrel is cold.[(((triple3) -> rule7))] @2: The squirrel is rough.[(((((triple3) -> rule7)) -> rule6))]