The bear likes the mouse. The cat is young. The mouse does not like the cat. The rabbit needs the cat. If someone likes the mouse then they do not need the mouse. If someone eats the bear then they like the mouse. If someone needs the mouse and the mouse is nice then the mouse eats the bear. If the cat needs the bear then the bear does not need the mouse. If someone needs the cat then they eat the bear. If someone eats the bear and they do not like the mouse then they need the rabbit.
The cat is not young.
@0: The bear likes the mouse.[(triple1)] The cat is young.[(triple2)] The mouse does not like the cat.[(triple3)] The rabbit needs the cat.[(triple4)] @1: The bear does not need the mouse.[(((triple1) -> rule1))] The rabbit eats the bear.[(((triple4) -> rule5))] @2: The rabbit likes the mouse.[(((((triple4) -> rule5)) -> rule2))] @3: The rabbit does not need the mouse.[(((((((triple4) -> rule5)) -> rule2)) -> rule1))]