The cat chases the cow. The cat chases the dog. The cat is blue. The cat is kind. The cat visits the cow. The cow chases the mouse. The cow is kind. The cow needs the cat. The cow needs the dog. The cow needs the mouse. The dog chases the cow. The dog is nice. The dog needs the cow. The mouse is kind. The mouse needs the cow. The mouse visits the dog. If someone visits the dog then they need the dog. If someone is green then they are young. Blue, kind people are green. If the dog is blue then the dog chases the cat. If someone visits the cat then they chase the cat. If someone chases the cow and the cow chases the dog then the dog is young. If the mouse chases the cow then the mouse chases the cat. If someone is blue then they chase the cow.
The cow needs the cat.
@0: The cat chases the cow.[(triple1 OR ((triple3) -> rule8))] The cat chases the dog.[(triple2)] The cat is blue.[(triple3)] The cat is kind.[(triple4)] The cat visits the cow.[(triple5)] The cow chases the mouse.[(triple6)] The cow is kind.[(triple7)] The cow needs the cat.[(triple8)] The cow needs the dog.[(triple9)] The cow needs the mouse.[(triple10)] The dog chases the cow.[(triple11)] The dog is nice.[(triple12)] The dog needs the cow.[(triple13)] The mouse is kind.[(triple14)] The mouse needs the cow.[(triple15)] The mouse visits the dog.[(triple16)] @1: The cat is green.[(((triple3 triple4) -> rule3))] The mouse needs the dog.[(((triple16) -> rule1))] @2: The cat is young.[(((((triple3 triple4) -> rule3)) -> rule2))]