The bald eagle eats the mouse. The bald eagle is big. The bald eagle visits the lion. The lion eats the bald eagle. The lion likes the bald eagle. The lion likes the mouse. The lion visits the bald eagle. The lion visits the mouse. The mouse eats the bald eagle. The mouse eats the lion. The mouse is big. The mouse is rough. The mouse likes the bald eagle. The mouse likes the lion. The mouse visits the bald eagle. The mouse visits the lion. If someone is blue and they like the bald eagle then the bald eagle visits the mouse. If the bald eagle eats the mouse then the bald eagle is blue. If the bald eagle is kind then the bald eagle eats the mouse. If the mouse is rough and the mouse is blue then the mouse eats the lion. If someone visits the mouse then they visit the bald eagle. If someone is green then they eat the lion.
The mouse does not eat the bald eagle.
@0: The bald eagle eats the mouse.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle visits the lion.[(triple3)] The lion eats the bald eagle.[(triple4)] The lion likes the bald eagle.[(triple5)] The lion likes the mouse.[(triple6)] The lion visits the bald eagle.[(triple7 OR ((triple8) -> rule5))] The lion visits the mouse.[(triple8)] The mouse eats the bald eagle.[(triple9)] The mouse eats the lion.[(triple10)] The mouse is big.[(triple11)] The mouse is rough.[(triple12)] The mouse likes the bald eagle.[(triple13)] The mouse likes the lion.[(triple14)] The mouse visits the bald eagle.[(triple15)] The mouse visits the lion.[(triple16)] @1: The bald eagle is blue.[(((triple1) -> rule2))]