The bald eagle eats the cow. The bald eagle is big. The bald eagle needs the cow. The cow eats the mouse. The cow is kind. The cow is rough. The cow is round. The cow visits the bald eagle. The mouse is kind. The mouse is round. The mouse visits the bald eagle. The mouse visits the cow. If someone needs the cow then they are round. If the bald eagle is kind then the bald eagle does not need the cow. If someone is round and blue then they eat the bald eagle. If someone visits the bald eagle and they are big then the bald eagle is round. All round people are blue. If the bald eagle visits the mouse and the mouse needs the cow then the mouse eats the bald eagle.
The mouse is not blue.
@0: The bald eagle eats the cow.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle needs the cow.[(triple3)] The cow eats the mouse.[(triple4)] The cow is kind.[(triple5)] The cow is rough.[(triple6)] The cow is round.[(triple7)] The cow visits the bald eagle.[(triple8)] The mouse is kind.[(triple9)] The mouse is round.[(triple10)] The mouse visits the bald eagle.[(triple11)] The mouse visits the cow.[(triple12)] @1: The bald eagle is round.[(((triple3) -> rule1))] The cow is blue.[(((triple7) -> rule5))] The mouse is blue.[(((triple10) -> rule5))] @2: The bald eagle is blue.[(((((triple3) -> rule1)) -> rule5))] The cow eats the bald eagle.[(((triple7 ((triple7) -> rule5)) -> rule3))] The mouse eats the bald eagle.[(((triple10 ((triple10) -> rule5)) -> rule3))] @3: The bald eagle eats the bald eagle.[(((((triple3) -> rule1) ((((triple3) -> rule1)) -> rule5)) -> rule3))]