The bear chases the rabbit. The bear eats the rabbit. The bear is cold. The bear is young. The bear needs the rabbit. The rabbit chases the bear. The rabbit eats the bear. The rabbit is cold. The rabbit is green. The rabbit is red. The rabbit is young. The rabbit needs the bear. If something is blue and it needs the rabbit then the rabbit needs the bear. If something is red and it needs the rabbit then the rabbit eats the bear. All red things are green.
The bear does not need the rabbit.
@0: The bear chases the rabbit.[(triple1)] The bear eats the rabbit.[(triple2)] The bear is cold.[(triple3)] The bear is young.[(triple4)] The bear needs the rabbit.[(triple5)] The rabbit chases the bear.[(triple6)] The rabbit eats the bear.[(triple7)] The rabbit is cold.[(triple8)] The rabbit is green.[(triple9 OR ((triple10) -> rule3))] The rabbit is red.[(triple10)] The rabbit is young.[(triple11)] The rabbit needs the bear.[(triple12)]