The dog chases the mouse. The dog chases the rabbit. The mouse is round. The mouse likes the rabbit. The rabbit chases the dog. The rabbit is green. The rabbit is nice. The rabbit is red. The rabbit is round. The rabbit needs the mouse. If something likes the mouse and the mouse chases the rabbit then the mouse chases the dog. If the dog needs the rabbit then the rabbit chases the dog. If something is round then it is rough. If something chases the dog then it chases the rabbit. If something is rough then it chases the dog. If something needs the rabbit and it likes the mouse then the rabbit needs the mouse.
The rabbit chases the mouse.
@0: The dog chases the mouse.[(triple1)] The dog chases the rabbit.[(triple2)] The mouse is round.[(triple3)] The mouse likes the rabbit.[(triple4)] The rabbit chases the dog.[(triple5 OR ((((triple9) -> rule3)) -> rule5))] The rabbit is green.[(triple6)] The rabbit is nice.[(triple7)] The rabbit is red.[(triple8)] The rabbit is round.[(triple9)] The rabbit needs the mouse.[(triple10)] @1: The mouse is rough.[(((triple3) -> rule3))] The rabbit chases the rabbit.[(((triple5) -> rule4) OR ((((((triple9) -> rule3)) -> rule5)) -> rule4))] The rabbit is rough.[(((triple9) -> rule3))] @2: The mouse chases the dog.[(((((triple3) -> rule3)) -> rule5))] @3: The mouse chases the rabbit.[(((((((triple3) -> rule3)) -> rule5)) -> rule4))]