The bear eats the squirrel. The bear needs the squirrel. The squirrel does not eat the bear. If someone eats the squirrel and they need the squirrel then they need the bear. If someone eats the bear then the bear is kind. If someone needs the squirrel and they need the bear then they do not like the squirrel.
The squirrel is not green.
@0: The bear eats the squirrel.[(triple1)] The bear needs the squirrel.[(triple2)] The squirrel does not eat the bear.[(triple3)] @1: The bear needs the bear.[(((triple1 triple2) -> rule1))] @2: The bear does not like the squirrel.[(((triple2 ((triple1 triple2) -> rule1)) -> rule3))]