The bald eagle eats the cow. The bald eagle eats the lion. The bald eagle is round. The bald eagle visits the cow. The bald eagle visits the lion. The cow is red. The lion eats the mouse. The lion is young. The lion sees the bald eagle. The lion sees the cow. The lion visits the bald eagle. The mouse eats the lion. The mouse is young. The mouse sees the cow. The mouse sees the lion. The mouse visits the bald eagle. If someone eats the mouse and they are red then the mouse sees the bald eagle. If someone is young and they see the bald eagle then they are red. If someone sees the lion and they see the mouse then the lion is young. If someone sees the cow then the cow visits the mouse. If someone sees the bald eagle and the bald eagle is red then they are young. If someone sees the cow and the cow is blue then they are round.
The mouse does not visit the bald eagle.
@0: The bald eagle eats the cow.[(triple1)] The bald eagle eats the lion.[(triple2)] The bald eagle is round.[(triple3)] The bald eagle visits the cow.[(triple4)] The bald eagle visits the lion.[(triple5)] The cow is red.[(triple6)] The lion eats the mouse.[(triple7)] The lion is young.[(triple8)] The lion sees the bald eagle.[(triple9)] The lion sees the cow.[(triple10)] The lion visits the bald eagle.[(triple11)] The mouse eats the lion.[(triple12)] The mouse is young.[(triple13)] The mouse sees the cow.[(triple14)] The mouse sees the lion.[(triple15)] The mouse visits the bald eagle.[(triple16)] @1: The cow visits the mouse.[(((triple10) -> rule4) OR ((triple14) -> rule4))] The lion is red.[(((triple8 triple9) -> rule2))] @2: The mouse sees the bald eagle.[(((triple7 ((triple8 triple9) -> rule2)) -> rule1))] @3: The mouse is red.[(((triple13 ((triple7 ((triple8 triple9) -> rule2)) -> rule1)) -> rule2))]