The bear is big. The bear is green. The bear is kind. The bear needs the rabbit. The bear visits the squirrel. The rabbit is cold. The rabbit is young. The squirrel chases the rabbit. The squirrel needs the rabbit. The squirrel visits the bear. All big things are young. If something visits the squirrel then it needs the bear. If something needs the bear and it chases the rabbit then the bear is kind. If something visits the rabbit and it visits the bear then the rabbit chases the bear. If the rabbit visits the bear and the bear is big then the rabbit chases the squirrel. If the squirrel is cold then the squirrel needs the bear. If something is cold and it chases the squirrel then it visits the bear. If something needs the bear then the bear chases the squirrel.
The bear does not need the squirrel.
@0: The bear is big.[(triple1)] The bear is green.[(triple2)] The bear is kind.[(triple3)] The bear needs the rabbit.[(triple4)] The bear visits the squirrel.[(triple5)] The rabbit is cold.[(triple6)] The rabbit is young.[(triple7)] The squirrel chases the rabbit.[(triple8)] The squirrel needs the rabbit.[(triple9)] The squirrel visits the bear.[(triple10)] @1: The bear is young.[(((triple1) -> rule1))] The bear needs the bear.[(((triple5) -> rule2))] @2: The bear chases the squirrel.[(((((triple5) -> rule2)) -> rule8))]