The bald eagle eats the rabbit. The bald eagle is nice. The bald eagle sees the cow. The cow is blue. The cow is young. The cow sees the mouse. The mouse chases the rabbit. The mouse eats the cow. The mouse is blue. The mouse is red. The mouse sees the bald eagle. The mouse sees the cow. The mouse sees the rabbit. The rabbit chases the mouse. The rabbit sees the cow. The rabbit sees the mouse. If something eats the bald eagle then the bald eagle chases the cow. If something eats the mouse then it chases the mouse. If the cow chases the bald eagle and the bald eagle sees the cow then the bald eagle chases the rabbit. If something is kind then it eats the mouse. If something chases the cow then the cow is kind. If the cow eats the bald eagle then the bald eagle is nice. If something sees the mouse then it sees the bald eagle. If something is young then it eats the bald eagle. If something is kind then it sees the cow.
The cow sees the bald eagle.
@0: The bald eagle eats the rabbit.[(triple1)] The bald eagle is nice.[(triple2 OR ((((triple5) -> rule8)) -> rule6))] The bald eagle sees the cow.[(triple3)] The cow is blue.[(triple4)] The cow is young.[(triple5)] The cow sees the mouse.[(triple6)] The mouse chases the rabbit.[(triple7)] The mouse eats the cow.[(triple8)] The mouse is blue.[(triple9)] The mouse is red.[(triple10)] The mouse sees the bald eagle.[(triple11)] The mouse sees the cow.[(triple12)] The mouse sees the rabbit.[(triple13)] The rabbit chases the mouse.[(triple14)] The rabbit sees the cow.[(triple15)] The rabbit sees the mouse.[(triple16)] @1: The cow eats the bald eagle.[(((triple5) -> rule8))] The cow sees the bald eagle.[(((triple6) -> rule7))] The rabbit sees the bald eagle.[(((triple16) -> rule7))] @2: The bald eagle chases the cow.[(((((triple5) -> rule8)) -> rule1))] @3: The cow is kind.[(((((((triple5) -> rule8)) -> rule1)) -> rule5))] @4: The cow eats the mouse.[(((((((((triple5) -> rule8)) -> rule1)) -> rule5)) -> rule4))] The cow sees the cow.[(((((((((triple5) -> rule8)) -> rule1)) -> rule5)) -> rule9))] @5: The cow chases the mouse.[(((((((((((triple5) -> rule8)) -> rule1)) -> rule5)) -> rule4)) -> rule2))]