The bear is not green. The bear is young. The bear does not like the squirrel. The bear needs the squirrel. The bear visits the rabbit. The rabbit is blue. The rabbit likes the bear. The squirrel is blue. The squirrel is green. The squirrel likes the bear. The squirrel likes the rabbit. The squirrel needs the bear. If something needs the rabbit then the rabbit does not need the squirrel. If something needs the rabbit and it is not blue then it is young. If something is blue then it needs the rabbit.
The squirrel needs the rabbit.
@0: The bear does not like the squirrel.[(triple3)] The bear is not green.[(triple1)] The bear is young.[(triple2)] The bear needs the squirrel.[(triple4)] The bear visits the rabbit.[(triple5)] The rabbit is blue.[(triple6)] The rabbit likes the bear.[(triple7)] The squirrel is blue.[(triple8)] The squirrel is green.[(triple9)] The squirrel likes the bear.[(triple10)] The squirrel likes the rabbit.[(triple11)] The squirrel needs the bear.[(triple12)] @1: The rabbit needs the rabbit.[(((triple6) -> rule3))] The squirrel needs the rabbit.[(((triple8) -> rule3))] @2: The rabbit does not need the squirrel.[(((((triple6) -> rule3)) -> rule1) OR ((((triple8) -> rule3)) -> rule1))]