The bald eagle eats the mouse. The bald eagle eats the rabbit. The bald eagle is blue. The bald eagle is kind. The bald eagle is nice. The bald eagle is red. The bald eagle sees the mouse. The bald eagle sees the rabbit. The bald eagle does not visit the mouse. The bald eagle visits the rabbit. The mouse sees the bald eagle. The mouse does not visit the bald eagle. The rabbit is red. The rabbit sees the bald eagle. The rabbit visits the bald eagle. If the mouse visits the rabbit then the rabbit sees the bald eagle. If the rabbit is nice then the rabbit does not visit the mouse. If the mouse eats the bald eagle then the bald eagle visits the rabbit. If something visits the rabbit then the rabbit visits the bald eagle. If something is nice then it sees the mouse. If the bald eagle visits the rabbit and the rabbit does not see the bald eagle then the rabbit eats the mouse.
The rabbit does not see the mouse.
@0: The bald eagle does not visit the mouse.[(triple9)] The bald eagle eats the mouse.[(triple1)] The bald eagle eats the rabbit.[(triple2)] The bald eagle is blue.[(triple3)] The bald eagle is kind.[(triple4)] The bald eagle is nice.[(triple5)] The bald eagle is red.[(triple6)] The bald eagle sees the mouse.[(triple7 OR ((triple5) -> rule5))] The bald eagle sees the rabbit.[(triple8)] The bald eagle visits the rabbit.[(triple10)] The mouse does not visit the bald eagle.[(triple12)] The mouse sees the bald eagle.[(triple11)] The rabbit is red.[(triple13)] The rabbit sees the bald eagle.[(triple14)] The rabbit visits the bald eagle.[(triple15 OR ((triple10) -> rule4))]