The bald eagle eats the mouse. The bald eagle likes the mouse. The bald eagle likes the rabbit. The mouse chases the bald eagle. The mouse chases the rabbit. The mouse eats the rabbit. The mouse is red. The mouse is young. The mouse likes the bald eagle. The mouse likes the rabbit. The rabbit chases the bald eagle. The rabbit eats the mouse. If the bald eagle likes the rabbit then the bald eagle likes the mouse. If someone chases the bald eagle then they are rough. If the mouse is red and the mouse eats the bald eagle then the mouse likes the rabbit.
The bald eagle is not green.
@0: The bald eagle eats the mouse.[(triple1)] The bald eagle likes the mouse.[(triple2 OR ((triple3) -> rule1))] The bald eagle likes the rabbit.[(triple3)] The mouse chases the bald eagle.[(triple4)] The mouse chases the rabbit.[(triple5)] The mouse eats the rabbit.[(triple6)] The mouse is red.[(triple7)] The mouse is young.[(triple8)] The mouse likes the bald eagle.[(triple9)] The mouse likes the rabbit.[(triple10)] The rabbit chases the bald eagle.[(triple11)] The rabbit eats the mouse.[(triple12)] @1: The mouse is rough.[(((triple4) -> rule2))] The rabbit is rough.[(((triple11) -> rule2))]