The bald eagle does not see the mouse. The cat is young. The cat needs the bald eagle. The cow is nice. The cow is young. The cow does not like the mouse. The cow needs the cat. The cow sees the mouse. The mouse is cold. The mouse is young. If something is cold then it does not need the cow. If the cat likes the mouse and the mouse sees the cat then the mouse likes the bald eagle. Nice things are cold.
The cow does not like the cat.
@0: The bald eagle does not see the mouse.[(triple1)] The cat is young.[(triple2)] The cat needs the bald eagle.[(triple3)] The cow does not like the mouse.[(triple6)] The cow is nice.[(triple4)] The cow is young.[(triple5)] The cow needs the cat.[(triple7)] The cow sees the mouse.[(triple8)] The mouse is cold.[(triple9)] The mouse is young.[(triple10)] @1: The cow is cold.[(((triple4) -> rule3))] The mouse does not need the cow.[(((triple9) -> rule1))] @2: The cow does not need the cow.[(((((triple4) -> rule3)) -> rule1))]