The bald eagle chases the cow. The bald eagle eats the mouse. The bald eagle is big. The bald eagle is rough. The bald eagle is young. The bald eagle needs the mouse. The cow eats the bald eagle. The cow is nice. The cow needs the mouse. The mouse chases the bald eagle. The mouse chases the cow. The mouse eats the bald eagle. The mouse is nice. The mouse is young. The mouse needs the bald eagle. If someone is nice and they eat the cow then they chase the mouse. If someone chases the mouse and the mouse is blue then the mouse eats the cow. If someone chases the cow then the cow eats the mouse. If someone eats the mouse then the mouse eats the bald eagle. If someone is young and they eat the bald eagle then they chase the bald eagle. If someone eats the cow and they chase the bald eagle then the cow is nice.
The bald eagle is not rough.
@0: The bald eagle chases the cow.[(triple1)] The bald eagle eats the mouse.[(triple2)] The bald eagle is big.[(triple3)] The bald eagle is rough.[(triple4)] The bald eagle is young.[(triple5)] The bald eagle needs the mouse.[(triple6)] The cow eats the bald eagle.[(triple7)] The cow is nice.[(triple8)] The cow needs the mouse.[(triple9)] The mouse chases the bald eagle.[(triple10 OR ((triple14 triple12) -> rule5) OR ((triple14 ((triple2) -> rule4)) -> rule5) OR ((triple14 ((((triple1) -> rule3)) -> rule4)) -> rule5) OR ((triple14 ((((triple11) -> rule3)) -> rule4)) -> rule5))] The mouse chases the cow.[(triple11)] The mouse eats the bald eagle.[(triple12 OR ((triple2) -> rule4) OR ((((triple1) -> rule3)) -> rule4) OR ((((triple11) -> rule3)) -> rule4))] The mouse is nice.[(triple13)] The mouse is young.[(triple14)] The mouse needs the bald eagle.[(triple15)] @1: The cow eats the mouse.[(((triple1) -> rule3) OR ((triple11) -> rule3))]