The dog chases the mouse. The dog chases the rabbit. The dog eats the rabbit. The dog visits the rabbit. The mouse chases the dog. The mouse eats the rabbit. The mouse is round. The mouse visits the dog. The mouse visits the rabbit. The rabbit chases the dog. The rabbit eats the dog. The rabbit is round. If something is round then it visits the mouse. If the mouse visits the dog and the dog is round then the mouse visits the rabbit. If something eats the dog and the dog is round then it is big. If something chases the rabbit then it is nice. If something is green then it eats the rabbit. If something visits the mouse then it visits the rabbit.
The rabbit is nice.
@0: The dog chases the mouse.[(triple1)] The dog chases the rabbit.[(triple2)] The dog eats the rabbit.[(triple3)] The dog visits the rabbit.[(triple4)] The mouse chases the dog.[(triple5)] The mouse eats the rabbit.[(triple6)] The mouse is round.[(triple7)] The mouse visits the dog.[(triple8)] The mouse visits the rabbit.[(triple9 OR ((((triple7) -> rule1)) -> rule6))] The rabbit chases the dog.[(triple10)] The rabbit eats the dog.[(triple11)] The rabbit is round.[(triple12)] @1: The dog is nice.[(((triple2) -> rule4))] The mouse visits the mouse.[(((triple7) -> rule1))] The rabbit visits the mouse.[(((triple12) -> rule1))] @2: The rabbit visits the rabbit.[(((((triple12) -> rule1)) -> rule6))]