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