The bald eagle eats the mouse. The bald eagle is nice. The bald eagle is red. The cow eats the bald eagle. The cow eats the mouse. The cow is blue. The cow is red. The cow sees the mouse. The mouse eats the bald eagle. The mouse eats the cow. The mouse is blue. The mouse is red. The mouse is rough. The mouse is round. The mouse needs the bald eagle. If something eats the mouse then it is round. If something eats the cow and it needs the mouse then the mouse needs the cow. If something is blue and it sees the cow then the cow eats the mouse. If something is round then it eats the cow. If something sees the bald eagle then the bald eagle eats the mouse. If something sees the mouse and it eats the cow then the cow sees the bald eagle. If something needs the mouse and the mouse needs the cow then the cow needs the mouse. If something needs the bald eagle and it eats the mouse then the mouse sees the bald eagle.
The mouse does not need the cow.
@0: The bald eagle eats the mouse.[(triple1 OR ((((triple8 ((((triple5) -> rule1)) -> rule4)) -> rule6)) -> rule5))] The bald eagle is nice.[(triple2)] The bald eagle is red.[(triple3)] The cow eats the bald eagle.[(triple4)] The cow eats the mouse.[(triple5)] The cow is blue.[(triple6)] The cow is red.[(triple7)] The cow sees the mouse.[(triple8)] The mouse eats the bald eagle.[(triple9)] The mouse eats the cow.[(triple10 OR ((triple14) -> rule4))] The mouse is blue.[(triple11)] The mouse is red.[(triple12)] The mouse is rough.[(triple13)] The mouse is round.[(triple14)] The mouse needs the bald eagle.[(triple15)] @1: The bald eagle is round.[(((triple1) -> rule1) OR ((((((triple8 ((((triple5) -> rule1)) -> rule4)) -> rule6)) -> rule5)) -> rule1))] The cow is round.[(((triple5) -> rule1))] @2: The bald eagle eats the cow.[(((((triple1) -> rule1)) -> rule4) OR ((((((((triple8 ((((triple5) -> rule1)) -> rule4)) -> rule6)) -> rule5)) -> rule1)) -> rule4))] The cow eats the cow.[(((((triple5) -> rule1)) -> rule4))] @3: The cow sees the bald eagle.[(((triple8 ((((triple5) -> rule1)) -> rule4)) -> rule6))]