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