The bear is blue. The bear needs the rabbit. The cow is young. The cow visits the bear. The rabbit chases the bear. The rabbit is blue. The rabbit is nice. The rabbit needs the bear. The rabbit needs the cow. The rabbit visits the bear. If something chases the cow and the cow needs the rabbit then it needs the rabbit. If the bear needs the rabbit and the bear visits the cow then the cow does not need the rabbit. If something visits the cow then it does not need the cow. If something needs the rabbit then it visits the cow. If the rabbit chases the cow then the cow visits the bear. If the rabbit does not need the bear then the rabbit is big. If something needs the cow then the cow does not need the bear. If something is big and it does not need the cow then the cow needs the bear.
The rabbit does not need the bear.
@0: The bear is blue.[(triple1)] The bear needs the rabbit.[(triple2)] The cow is young.[(triple3)] The cow visits the bear.[(triple4)] The rabbit chases the bear.[(triple5)] The rabbit is blue.[(triple6)] The rabbit is nice.[(triple7)] The rabbit needs the bear.[(triple8)] The rabbit needs the cow.[(triple9)] The rabbit visits the bear.[(triple10)] @1: The bear visits the cow.[(((triple2) -> rule4))] The cow does not need the bear.[(((triple9) -> rule7))] @2: The bear does not need the cow.[(((((triple2) -> rule4)) -> rule3))] The cow does not need the rabbit.[(((triple2 ((triple2) -> rule4)) -> rule2))]