The dog is not big. The squirrel sees the dog. The tiger is nice. If something likes the dog and it chases the tiger then the dog does not see the squirrel. If the dog sees the squirrel and the dog sees the tiger then the tiger likes the squirrel. If something sees the tiger then it is cold. If something sees the dog then it sees the tiger. If something is nice then it likes the tiger. If something sees the dog and it chases the squirrel then it chases the tiger. If something sees the dog and the dog sees the squirrel then it likes the squirrel. If something is nice and not cold then it likes the squirrel.
The dog does not chase the squirrel.
@0: The dog is not big.[(triple1)] The squirrel sees the dog.[(triple2)] The tiger is nice.[(triple3)] @1: The squirrel sees the tiger.[(((triple2) -> rule4))] The tiger likes the tiger.[(((triple3) -> rule5))] @2: The squirrel is cold.[(((((triple2) -> rule4)) -> rule3))]