The cow chases the squirrel. The cow is cold. The dog chases the cow. The dog is young. The dog needs the squirrel. The lion chases the cow. The lion visits the cow. The lion visits the dog. The squirrel chases the cow. The squirrel chases the dog. The squirrel is green. The squirrel needs the cow. If someone is cold then they need the squirrel. If the cow visits the dog then the cow chases the squirrel. If someone visits the lion and they are kind then the lion visits the squirrel. If someone needs the lion and the lion visits the dog then the dog is blue. If someone needs the lion then they are young. If someone chases the lion then the lion is young. If the lion visits the dog and the lion needs the squirrel then the squirrel visits the dog. If someone needs the cow and the cow chases the squirrel then they chase the lion.
The squirrel is not green.
@0: The cow chases the squirrel.[(triple1)] The cow is cold.[(triple2)] The dog chases the cow.[(triple3)] The dog is young.[(triple4)] The dog needs the squirrel.[(triple5)] The lion chases the cow.[(triple6)] The lion visits the cow.[(triple7)] The lion visits the dog.[(triple8)] The squirrel chases the cow.[(triple9)] The squirrel chases the dog.[(triple10)] The squirrel is green.[(triple11)] The squirrel needs the cow.[(triple12)] @1: The cow needs the squirrel.[(((triple2) -> rule1))] The squirrel chases the lion.[(((triple12 triple1) -> rule8))] @2: The lion is young.[(((((triple12 triple1) -> rule8)) -> rule6))]