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