The dog sees the mouse. The dog sees the rabbit. The mouse is blue. The mouse is round. The mouse sees the dog. The rabbit does not like the dog. The rabbit sees the mouse. If someone is round then they need the dog. If someone sees the rabbit then they need the mouse. If someone is young and they like the rabbit then the rabbit is round. If the dog needs the mouse then the mouse likes the rabbit. If someone is big and they do not need the rabbit then the rabbit sees the mouse. If someone likes the rabbit then they like the mouse.
The mouse sees the mouse.
@0: The dog sees the mouse.[(triple1)] The dog sees the rabbit.[(triple2)] The mouse is blue.[(triple3)] The mouse is round.[(triple4)] The mouse sees the dog.[(triple5)] The rabbit does not like the dog.[(triple6)] The rabbit sees the mouse.[(triple7)] @1: The dog needs the mouse.[(((triple2) -> rule2))] The mouse needs the dog.[(((triple4) -> rule1))] @2: The mouse likes the rabbit.[(((((triple2) -> rule2)) -> rule4))] @3: The mouse likes the mouse.[(((((((triple2) -> rule2)) -> rule4)) -> rule6))]