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