The bald eagle chases the mouse. The bald eagle eats the cat. The bald eagle eats the mouse. The bald eagle is green. The bald eagle is young. The bald eagle needs the mouse. The cat chases the bald eagle. The cat chases the mouse. The cat eats the bald eagle. The cat is big. The cat is round. The cat is young. The mouse is big. The mouse is nice. The mouse is round. If something is nice then it chases the mouse. If the cat chases the bald eagle then the cat needs the mouse.
The bald eagle is not young.
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle eats the cat.[(triple2)] The bald eagle eats the mouse.[(triple3)] The bald eagle is green.[(triple4)] The bald eagle is young.[(triple5)] The bald eagle needs the mouse.[(triple6)] The cat chases the bald eagle.[(triple7)] The cat chases the mouse.[(triple8)] The cat eats the bald eagle.[(triple9)] The cat is big.[(triple10)] The cat is round.[(triple11)] The cat is young.[(triple12)] The mouse is big.[(triple13)] The mouse is nice.[(triple14)] The mouse is round.[(triple15)] @1: The cat needs the mouse.[(((triple7) -> rule2))] The mouse chases the mouse.[(((triple14) -> rule1))]