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