The lion likes the squirrel. The squirrel is cold. If something is kind then it sees the lion. If the squirrel likes the lion then the squirrel visits the lion. If the lion likes the squirrel then the squirrel visits the lion. If something is cold then it visits the lion. If the lion is kind and the lion is not nice then the lion visits the squirrel. If something is cold then it likes the squirrel.
The squirrel visits the lion.
@0: The lion likes the squirrel.[(triple1)] The squirrel is cold.[(triple2)] @1: The squirrel likes the squirrel.[(((triple2) -> rule6))] The squirrel visits the lion.[(((triple1) -> rule3) OR ((triple2) -> rule4))]