The bald eagle does not chase the cow. The bald eagle is not kind. The bald eagle is not red. The bald eagle likes the cow. The bald eagle likes the mouse. The cow chases the bald eagle. The cow is red. The cow likes the mouse. The cow visits the mouse. The mouse chases the cow. The mouse is blue. The mouse does not like the cow. If the mouse chases the bald eagle and the mouse is kind then the mouse does not like the cow. If the mouse is young then the mouse likes the cow. If someone chases the mouse then the mouse likes the cow. If someone is red and not green then they do not chase the cow. If someone visits the mouse then the mouse likes the bald eagle. If someone likes the bald eagle then they are red. If someone visits the bald eagle then the bald eagle does not chase the mouse. If someone is red then they visit the cow.
The mouse is not young.
@0: The bald eagle does not chase the cow.[(triple1)] The bald eagle is not kind.[(triple2)] The bald eagle is not red.[(triple3)] The bald eagle likes the cow.[(triple4)] The bald eagle likes the mouse.[(triple5)] The cow chases the bald eagle.[(triple6)] The cow is red.[(triple7)] The cow likes the mouse.[(triple8)] The cow visits the mouse.[(triple9)] The mouse chases the cow.[(triple10)] The mouse does not like the cow.[(triple12)] The mouse is blue.[(triple11)] @1: The cow visits the cow.[(((triple7) -> rule8))] The mouse likes the bald eagle.[(((triple9) -> rule5))] @2: The mouse is red.[(((((triple9) -> rule5)) -> rule6))] @3: The mouse visits the cow.[(((((((triple9) -> rule5)) -> rule6)) -> rule8))]