The bald eagle eats the dog. The bald eagle eats the rabbit. The bald eagle does not see the dog. The dog eats the mouse. The dog is big. The dog is cold. The dog sees the rabbit. The mouse is green. The rabbit eats the bald eagle. The rabbit is big. The rabbit sees the bald eagle. The rabbit visits the bald eagle. If the rabbit is rough then the rabbit does not visit the mouse. If the dog sees the rabbit then the dog visits the bald eagle.
The dog visits the mouse.
@0: The bald eagle does not see the dog.[(triple3)] The bald eagle eats the dog.[(triple1)] The bald eagle eats the rabbit.[(triple2)] The dog eats the mouse.[(triple4)] The dog is big.[(triple5)] The dog is cold.[(triple6)] The dog sees the rabbit.[(triple7)] The mouse is green.[(triple8)] The rabbit eats the bald eagle.[(triple9)] The rabbit is big.[(triple10)] The rabbit sees the bald eagle.[(triple11)] The rabbit visits the bald eagle.[(triple12)] @1: The dog visits the bald eagle.[(((triple7) -> rule2))]