The cow needs the squirrel. The cow needs the tiger. The cow sees the dog. The dog chases the squirrel. The dog is big. The dog needs the squirrel. The squirrel is blue. The squirrel is green. The squirrel needs the tiger. The squirrel sees the dog. The squirrel sees the tiger. The tiger chases the cow. The tiger needs the cow. The tiger needs the squirrel. The tiger sees the dog. If the cow is cold then the cow chases the squirrel. All blue, cold people are round. If someone chases the squirrel and they are big then they are round. If the squirrel chases the cow and the squirrel needs the cow then the cow is green. If someone sees the tiger then they chase the cow. If someone is big and they chase the tiger then the tiger needs the dog. If someone chases the squirrel then they see the tiger. If someone needs the tiger and they chase the cow then the tiger chases the squirrel.
The squirrel is not round.
@0: The cow needs the squirrel.[(triple1)] The cow needs the tiger.[(triple2)] The cow sees the dog.[(triple3)] The dog chases the squirrel.[(triple4)] The dog is big.[(triple5)] The dog needs the squirrel.[(triple6)] The squirrel is blue.[(triple7)] The squirrel is green.[(triple8)] The squirrel needs the tiger.[(triple9)] The squirrel sees the dog.[(triple10)] The squirrel sees the tiger.[(triple11)] The tiger chases the cow.[(triple12 OR ((((((triple9 ((triple11) -> rule5)) -> rule8)) -> rule7)) -> rule5))] The tiger needs the cow.[(triple13)] The tiger needs the squirrel.[(triple14)] The tiger sees the dog.[(triple15)] @1: The dog is round.[(((triple4 triple5) -> rule3))] The dog sees the tiger.[(((triple4) -> rule7))] The squirrel chases the cow.[(((triple11) -> rule5))] @2: The dog chases the cow.[(((((triple4) -> rule7)) -> rule5))] The tiger chases the squirrel.[(((triple9 ((triple11) -> rule5)) -> rule8))] @3: The tiger sees the tiger.[(((((triple9 ((triple11) -> rule5)) -> rule8)) -> rule7))]