The dog is red. The squirrel is cold. The tiger eats the dog. If someone eats the dog then the dog sees the squirrel. If someone sees the tiger then the tiger eats the dog. If someone eats the tiger then they chase the dog. If someone chases the dog and they are kind then they are cold. If someone is kind and they chase the squirrel then the squirrel eats the dog. If someone sees the squirrel then the squirrel eats the tiger.
The tiger is not cold.
@0: The dog is red.[(triple1)] The squirrel is cold.[(triple2)] The tiger eats the dog.[(triple3)] @1: The dog sees the squirrel.[(((triple3) -> rule1))] @2: The squirrel eats the tiger.[(((((triple3) -> rule1)) -> rule6))] @3: The squirrel chases the dog.[(((((((triple3) -> rule1)) -> rule6)) -> rule3))]