The bear does not eat the mouse. The cow is big. The mouse needs the cow. The rabbit is not young. If something is red then it needs the cow. If something visits the cow and it is cold then it is red. All young things are red. If the rabbit is red and the rabbit does not eat the bear then the rabbit needs the mouse. If something is big then it is young. If something needs the rabbit and the rabbit is young then the rabbit eats the mouse.
The mouse does not need the cow.
@0: The bear does not eat the mouse.[(triple1)] The cow is big.[(triple2)] The mouse needs the cow.[(triple3)] The rabbit is not young.[(triple4)] @1: The cow is young.[(((triple2) -> rule5))] @2: The cow is red.[(((((triple2) -> rule5)) -> rule3))] @3: The cow needs the cow.[(((((((triple2) -> rule5)) -> rule3)) -> rule1))]