The cow is kind. The lion eats the tiger. The squirrel eats the cow. The squirrel is blue. The squirrel needs the tiger. The squirrel visits the tiger. The tiger visits the lion. Cold things are red. If the tiger visits the lion then the tiger does not need the cow. Red things are not cold. If something is cold then it visits the tiger. If something is kind then it visits the cow. If something needs the squirrel then it needs the lion.
The squirrel needs the tiger.
@0: The cow is kind.[(triple1)] The lion eats the tiger.[(triple2)] The squirrel eats the cow.[(triple3)] The squirrel is blue.[(triple4)] The squirrel needs the tiger.[(triple5)] The squirrel visits the tiger.[(triple6)] The tiger visits the lion.[(triple7)] @1: The cow visits the cow.[(((triple1) -> rule5))] The tiger does not need the cow.[(((triple7) -> rule2))]