The bald eagle eats the bear. The bald eagle eats the cow. The bald eagle likes the bear. The bear eats the mouse. The bear is young. The bear likes the bald eagle. The bear likes the cow. The bear sees the mouse. The cow eats the bald eagle. The cow eats the bear. The cow likes the bald eagle. The cow likes the bear. The cow sees the bear. The cow sees the mouse. The mouse is green. If someone eats the cow then the cow is green. If the cow eats the bear and the bear eats the mouse then the mouse sees the bald eagle. If someone is green then they eat the bear.
The mouse does not see the bald eagle.
@0: The bald eagle eats the bear.[(triple1)] The bald eagle eats the cow.[(triple2)] The bald eagle likes the bear.[(triple3)] The bear eats the mouse.[(triple4)] The bear is young.[(triple5)] The bear likes the bald eagle.[(triple6)] The bear likes the cow.[(triple7)] The bear sees the mouse.[(triple8)] The cow eats the bald eagle.[(triple9)] The cow eats the bear.[(triple10 OR ((((triple2) -> rule1)) -> rule3))] The cow likes the bald eagle.[(triple11)] The cow likes the bear.[(triple12)] The cow sees the bear.[(triple13)] The cow sees the mouse.[(triple14)] The mouse is green.[(triple15)] @1: The cow is green.[(((triple2) -> rule1))] The mouse eats the bear.[(((triple15) -> rule3))] The mouse sees the bald eagle.[(((triple10 triple4) -> rule2) OR ((((((triple2) -> rule1)) -> rule3) triple4) -> rule2))]