The cat is red. The cat visits the cow. The cow is big. The cow needs the dog. The cow needs the squirrel. The dog does not need the cat. The dog visits the cow. The squirrel chases the cow. The squirrel is nice. The squirrel needs the dog. If someone needs the squirrel then they chase the cat. If someone chases the cat then the cat visits the cow. If someone chases the cat then they are nice. If someone chases the squirrel then the squirrel chases the cow. If someone chases the cow and they need the squirrel then the cow needs the squirrel. If someone is nice then they do not need the cat. If someone needs the dog and they are red then they chase the dog. If someone is nice and not green then they do not visit the cat.
The squirrel needs the dog.
@0: The cat is red.[(triple1)] The cat visits the cow.[(triple2 OR ((((triple5) -> rule1)) -> rule2))] The cow is big.[(triple3)] The cow needs the dog.[(triple4)] The cow needs the squirrel.[(triple5)] The dog does not need the cat.[(triple6)] The dog visits the cow.[(triple7)] The squirrel chases the cow.[(triple8)] The squirrel is nice.[(triple9)] The squirrel needs the dog.[(triple10)] @1: The cow chases the cat.[(((triple5) -> rule1))] The squirrel does not need the cat.[(((triple9) -> rule6))] @2: The cow is nice.[(((((triple5) -> rule1)) -> rule3))] @3: The cow does not need the cat.[(((((((triple5) -> rule1)) -> rule3)) -> rule6))]