The squirrel visits the tiger. The tiger is not nice. If something visits the tiger and it eats the tiger then the tiger does not eat the squirrel. If the squirrel visits the tiger and the squirrel is young then the squirrel is round. If something visits the tiger then it eats the tiger. If the squirrel visits the tiger then the squirrel is kind. If the tiger visits the squirrel and the tiger is cold then the tiger does not like the squirrel. If the squirrel eats the tiger and the tiger does not eat the squirrel then the tiger is young. If something eats the squirrel and the squirrel does not eat the tiger then it is not cold. If something visits the tiger and the tiger is not young then it is nice.
The tiger does not eat the tiger.
@0: The squirrel visits the tiger.[(triple1)] The tiger is not nice.[(triple2)] @1: The squirrel eats the tiger.[(((triple1) -> rule3))] The squirrel is kind.[(((triple1) -> rule4))] @2: The tiger does not eat the squirrel.[(((triple1 ((triple1) -> rule3)) -> rule1))] @3: The tiger is young.[(((((triple1) -> rule3) ((triple1 ((triple1) -> rule3)) -> rule1)) -> rule6))]