The cow chases the dog. The cow chases the squirrel. The cow needs the squirrel. The cow visits the tiger. The dog is not blue. The dog is rough. The dog does not need the cow. The dog needs the tiger. The squirrel needs the dog. The squirrel visits the cow. The tiger does not chase the dog. The tiger is blue. The tiger is not kind. The tiger is rough. The tiger visits the dog. If someone chases the tiger then they are not rough. If the squirrel chases the cow then the cow needs the dog. If someone visits the squirrel and they are rough then they are green. If someone is blue and cold then they do not chase the squirrel. If someone chases the cow and the cow is kind then they do not need the squirrel. If someone needs the cow then they are cold. If someone needs the tiger and the tiger is rough then they are kind. If someone needs the dog then they chase the cow.
The cow needs the dog.
@0: The cow chases the dog.[(triple1)] The cow chases the squirrel.[(triple2)] The cow needs the squirrel.[(triple3)] The cow visits the tiger.[(triple4)] The dog does not need the cow.[(triple7)] The dog is not blue.[(triple5)] The dog is rough.[(triple6)] The dog needs the tiger.[(triple8)] The squirrel needs the dog.[(triple9)] The squirrel visits the cow.[(triple10)] The tiger does not chase the dog.[(triple11)] The tiger is blue.[(triple12)] The tiger is not kind.[(triple13)] The tiger is rough.[(triple14)] The tiger visits the dog.[(triple15)] @1: The dog is kind.[(((triple8 triple14) -> rule7))] The squirrel chases the cow.[(((triple9) -> rule8))] @2: The cow needs the dog.[(((((triple9) -> rule8)) -> rule2))] @3: The cow chases the cow.[(((((((triple9) -> rule8)) -> rule2)) -> rule8))]