The dog chases the squirrel. The dog does not eat the squirrel. The dog is kind. The dog is round. The dog is young. The dog does not like the squirrel. The squirrel does not chase the dog. The squirrel does not eat the dog. The squirrel eats the tiger. The squirrel is rough. The tiger does not like the dog. The tiger likes the squirrel. If someone is rough then they like the dog. If someone is red and they eat the dog then they chase the tiger. If someone chases the dog and the dog eats the squirrel then they are red.
The squirrel likes the dog.
@0: The dog chases the squirrel.[(triple1)] The dog does not eat the squirrel.[(triple2)] The dog does not like the squirrel.[(triple6)] The dog is kind.[(triple3)] The dog is round.[(triple4)] The dog is young.[(triple5)] The squirrel does not chase the dog.[(triple7)] The squirrel does not eat the dog.[(triple8)] The squirrel eats the tiger.[(triple9)] The squirrel is rough.[(triple10)] The tiger does not like the dog.[(triple11)] The tiger likes the squirrel.[(triple12)] @1: The squirrel likes the dog.[(((triple10) -> rule1))]