The cat sees the rabbit. The cat visits the mouse. The dog chases the mouse. The dog is blue. The dog is rough. The dog is round. The dog is young. The dog visits the cat. The mouse chases the rabbit. The mouse is rough. The mouse sees the rabbit. The mouse visits the dog. The mouse visits the rabbit. The rabbit chases the dog. The rabbit visits the cat. The rabbit visits the mouse. If something is blue and it sees the cat then it chases the dog. If the cat sees the rabbit and the cat is green then the cat is young. If the rabbit chases the dog and the rabbit visits the dog then the dog sees the cat. If the dog is green then the dog sees the cat. If the dog chases the mouse then the dog visits the rabbit. If something is young then it visits the cat. All round things are young. If the rabbit chases the mouse and the mouse is green then the rabbit sees the cat.
The dog visits the cat.
@0: The cat sees the rabbit.[(triple1)] The cat visits the mouse.[(triple2)] The dog chases the mouse.[(triple3)] The dog is blue.[(triple4)] The dog is rough.[(triple5)] The dog is round.[(triple6)] The dog is young.[(triple7 OR ((triple6) -> rule7))] The dog visits the cat.[(triple8 OR ((triple7) -> rule6) OR ((((triple6) -> rule7)) -> rule6))] The mouse chases the rabbit.[(triple9)] The mouse is rough.[(triple10)] The mouse sees the rabbit.[(triple11)] The mouse visits the dog.[(triple12)] The mouse visits the rabbit.[(triple13)] The rabbit chases the dog.[(triple14)] The rabbit visits the cat.[(triple15)] The rabbit visits the mouse.[(triple16)] @1: The dog visits the rabbit.[(((triple3) -> rule5))]