The bald eagle is young. The bald eagle sees the bear. The bald eagle visits the cow. The bear is red. The bear does not need the bald eagle. The bear sees the bald eagle. The bear sees the cow. The bear visits the mouse. The cow does not need the mouse. The mouse is blue. The mouse is not round. The mouse needs the bald eagle. If something sees the bear then it is red. If the cow is red then the cow visits the bear. If something is red then it visits the cow. If something visits the bear then it visits the cow. If the bear sees the mouse then the bear is red. If something visits the bear and it does not need the bald eagle then it does not see the mouse. If something is blue then it sees the bear. If the bear visits the bald eagle and the bald eagle does not see the bear then the bear does not see the bald eagle.
The bald eagle is not red.
@0: The bald eagle is young.[(triple1)] The bald eagle sees the bear.[(triple2)] The bald eagle visits the cow.[(triple3 OR ((((triple2) -> rule1)) -> rule3))] The bear does not need the bald eagle.[(triple5)] The bear is red.[(triple4)] The bear sees the bald eagle.[(triple6)] The bear sees the cow.[(triple7)] The bear visits the mouse.[(triple8)] The cow does not need the mouse.[(triple9)] The mouse is blue.[(triple10)] The mouse is not round.[(triple11)] The mouse needs the bald eagle.[(triple12)] @1: The bald eagle is red.[(((triple2) -> rule1))] The bear visits the cow.[(((triple4) -> rule3))] The mouse sees the bear.[(((triple10) -> rule7))] @2: The mouse is red.[(((((triple10) -> rule7)) -> rule1))] @3: The mouse visits the cow.[(((((((triple10) -> rule7)) -> rule1)) -> rule3))]