The bald eagle sees the dog. The bald eagle sees the mouse. The bald eagle sees the rabbit. The bald eagle visits the mouse. The dog is green. The dog needs the mouse. The dog needs the rabbit. The dog does not visit the rabbit. The mouse is rough. The mouse sees the bald eagle. The rabbit is round. The rabbit sees the bald eagle. If someone visits the mouse then the mouse does not see the rabbit. If someone sees the dog then they are green. If the dog is round and the dog sees the mouse then the dog sees the rabbit. If the mouse is green then the mouse is round. If someone sees the rabbit and the rabbit is green then they do not visit the rabbit. If the dog is young then the dog does not need the rabbit. If someone needs the bald eagle then the bald eagle does not visit the dog. If someone needs the mouse then the mouse sees the dog.
The mouse does not visit the rabbit.
@0: The bald eagle sees the dog.[(triple1)] The bald eagle sees the mouse.[(triple2)] The bald eagle sees the rabbit.[(triple3)] The bald eagle visits the mouse.[(triple4)] The dog does not visit the rabbit.[(triple8)] The dog is green.[(triple5)] The dog needs the mouse.[(triple6)] The dog needs the rabbit.[(triple7)] The mouse is rough.[(triple9)] The mouse sees the bald eagle.[(triple10)] The rabbit is round.[(triple11)] The rabbit sees the bald eagle.[(triple12)] @1: The bald eagle is green.[(((triple1) -> rule2))] The mouse does not see the rabbit.[(((triple4) -> rule1))] The mouse sees the dog.[(((triple6) -> rule8))] @2: The mouse is green.[(((((triple6) -> rule8)) -> rule2))] @3: The mouse is round.[(((((((triple6) -> rule8)) -> rule2)) -> rule4))]