The cat chases the rabbit. The cat is round. The cat visits the mouse. The dog is big. The dog needs the mouse. The dog needs the rabbit. The dog visits the rabbit. The mouse chases the cat. The mouse is big. The rabbit is red. The rabbit needs the mouse. The rabbit visits the dog. If something visits the dog then it chases the mouse. If the rabbit chases the mouse then the mouse chases the cat. If something is big and it needs the mouse then it needs the rabbit. If something needs the dog and it needs the rabbit then the dog visits the mouse. If something needs the dog and the dog chases the rabbit then the rabbit is red. If something visits the rabbit and it visits the dog then the rabbit needs the dog. If something visits the cat and it needs the rabbit then the cat is red. If something visits the dog and it visits the rabbit then it chases the cat.
The rabbit does not visit the dog.
@0: The cat chases the rabbit.[(triple1)] The cat is round.[(triple2)] The cat visits the mouse.[(triple3)] The dog is big.[(triple4)] The dog needs the mouse.[(triple5)] The dog needs the rabbit.[(triple6 OR ((triple4 triple5) -> rule3))] The dog visits the rabbit.[(triple7)] The mouse chases the cat.[(triple8 OR ((((triple12) -> rule1)) -> rule2))] The mouse is big.[(triple9)] The rabbit is red.[(triple10)] The rabbit needs the mouse.[(triple11)] The rabbit visits the dog.[(triple12)] @1: The rabbit chases the mouse.[(((triple12) -> rule1))]