The dog likes the tiger. The squirrel does not like the dog. The tiger likes the squirrel. If the squirrel chases the tiger and the tiger likes the squirrel then the tiger is round. If the tiger is cold then the tiger likes the squirrel. If someone likes the tiger and the tiger likes the squirrel then the tiger sees the dog. If the squirrel does not like the tiger then the squirrel does not see the tiger. If someone chases the dog and they are not blue then the dog does not like the tiger. If someone sees the squirrel and they are not round then the squirrel does not see the dog.
The squirrel does not like the dog.
@0: The dog likes the tiger.[(triple1)] The squirrel does not like the dog.[(triple2)] The tiger likes the squirrel.[(triple3)] @1: The tiger sees the dog.[(((triple1 triple3) -> rule3))]