The dog chases the squirrel. The dog chases the tiger. The dog is red. The dog visits the tiger. The squirrel chases the tiger. The squirrel eats the dog. The squirrel eats the tiger. The squirrel is big. The squirrel is not blue. The squirrel is green. The squirrel is round. The squirrel visits the dog. The squirrel visits the tiger. The tiger chases the squirrel. The tiger does not eat the squirrel. The tiger is blue. If something chases the squirrel then the squirrel eats the tiger.
The tiger is not red.
@0: The dog chases the squirrel.[(triple1)] The dog chases the tiger.[(triple2)] The dog is red.[(triple3)] The dog visits the tiger.[(triple4)] The squirrel chases the tiger.[(triple5)] The squirrel eats the dog.[(triple6)] The squirrel eats the tiger.[(triple7 OR ((triple1) -> rule1) OR ((triple14) -> rule1))] The squirrel is big.[(triple8)] The squirrel is green.[(triple10)] The squirrel is not blue.[(triple9)] The squirrel is round.[(triple11)] The squirrel visits the dog.[(triple12)] The squirrel visits the tiger.[(triple13)] The tiger chases the squirrel.[(triple14)] The tiger does not eat the squirrel.[(triple15)] The tiger is blue.[(triple16)]