The cow chases the tiger. The cow is green. The cow is nice. The squirrel chases the tiger. The squirrel does not see the tiger. The tiger chases the squirrel. The tiger does not eat the squirrel. The tiger is nice. The tiger is round. The tiger does not see the cow. If the cow chases the tiger then the tiger sees the squirrel. If someone eats the cow and they chase the tiger then they are not red.
The tiger does not see the squirrel.
@0: The cow chases the tiger.[(triple1)] The cow is green.[(triple2)] The cow is nice.[(triple3)] The squirrel chases the tiger.[(triple4)] The squirrel does not see the tiger.[(triple5)] The tiger chases the squirrel.[(triple6)] The tiger does not eat the squirrel.[(triple7)] The tiger does not see the cow.[(triple10)] The tiger is nice.[(triple8)] The tiger is round.[(triple9)] @1: The tiger sees the squirrel.[(((triple1) -> rule1))]