The cat does not eat the tiger. The squirrel visits the tiger. The tiger needs the squirrel. If something is nice then it visits the squirrel. If something needs the squirrel and it is not blue then it is not kind. If the tiger needs the squirrel then the tiger visits the cat. If something needs the tiger then the tiger does not eat the cat. If something eats the cat then it does not need the tiger. If something is cold and round then it visits the cat. If something needs the cat then it is nice. If something visits the cat then it eats the cat.
The tiger does not visit the squirrel.
@0: The cat does not eat the tiger.[(triple1)] The squirrel visits the tiger.[(triple2)] The tiger needs the squirrel.[(triple3)] @1: The tiger visits the cat.[(((triple3) -> rule3))] @2: The tiger eats the cat.[(((((triple3) -> rule3)) -> rule8))] @3: The tiger does not need the tiger.[(((((((triple3) -> rule3)) -> rule8)) -> rule5))]