The cow does not need the rabbit. The mouse is nice. The mouse needs the rabbit. The rabbit is red. The rabbit likes the cow. The rabbit does not need the cow. The rabbit needs the mouse. If the mouse likes the cow then the mouse is young. If the mouse needs the rabbit then the mouse likes the cow.
The mouse likes the cow.
@0: The cow does not need the rabbit.[(triple1)] The mouse is nice.[(triple2)] The mouse needs the rabbit.[(triple3)] The rabbit does not need the cow.[(triple6)] The rabbit is red.[(triple4)] The rabbit likes the cow.[(triple5)] The rabbit needs the mouse.[(triple7)] @1: The mouse likes the cow.[(((triple3) -> rule2))] @2: The mouse is young.[(((((triple3) -> rule2)) -> rule1))]