The cow chases the dog. The cow is round. The cow needs the dog. The dog is green. The dog needs the mouse. The dog visits the cow. The dog visits the mouse. The mouse needs the dog. The mouse visits the tiger. The tiger chases the mouse. The tiger is green. The tiger is round. The tiger is young. The tiger needs the cow. The tiger needs the dog. The tiger needs the mouse. If someone visits the mouse and they chase the tiger then the tiger needs the mouse. If someone chases the cow and the cow chases the tiger then the cow needs the dog. If someone is red then they need the tiger. If someone needs the mouse and the mouse is round then they chase the mouse. If someone chases the dog and they need the cow then the dog is young. All round people are red.
The tiger visits the cow.
@0: The cow chases the dog.[(triple1)] The cow is round.[(triple2)] The cow needs the dog.[(triple3)] The dog is green.[(triple4)] The dog needs the mouse.[(triple5)] The dog visits the cow.[(triple6)] The dog visits the mouse.[(triple7)] The mouse needs the dog.[(triple8)] The mouse visits the tiger.[(triple9)] The tiger chases the mouse.[(triple10)] The tiger is green.[(triple11)] The tiger is round.[(triple12)] The tiger is young.[(triple13)] The tiger needs the cow.[(triple14)] The tiger needs the dog.[(triple15)] The tiger needs the mouse.[(triple16)] @1: The cow is red.[(((triple2) -> rule6))] The tiger is red.[(((triple12) -> rule6))] @2: The cow needs the tiger.[(((((triple2) -> rule6)) -> rule3))] The tiger needs the tiger.[(((((triple12) -> rule6)) -> rule3))]