The dog chases the mouse. The dog chases the rabbit. The dog is red. The dog is rough. The dog needs the mouse. The dog visits the rabbit. The mouse chases the dog. The mouse chases the rabbit. The mouse is blue. The mouse is red. The mouse is round. The mouse needs the dog. The mouse needs the rabbit. The mouse visits the dog. The mouse visits the rabbit. The rabbit chases the dog. If someone chases the dog and the dog chases the rabbit then the rabbit chases the mouse.
The rabbit does not need the rabbit.
@0: The dog chases the mouse.[(triple1)] The dog chases the rabbit.[(triple2)] The dog is red.[(triple3)] The dog is rough.[(triple4)] The dog needs the mouse.[(triple5)] The dog visits the rabbit.[(triple6)] The mouse chases the dog.[(triple7)] The mouse chases the rabbit.[(triple8)] The mouse is blue.[(triple9)] The mouse is red.[(triple10)] The mouse is round.[(triple11)] The mouse needs the dog.[(triple12)] The mouse needs the rabbit.[(triple13)] The mouse visits the dog.[(triple14)] The mouse visits the rabbit.[(triple15)] The rabbit chases the dog.[(triple16)] @1: The rabbit chases the mouse.[(((triple16 triple2) -> rule1) OR ((triple7 triple2) -> rule1))]