The bear chases the squirrel. The bear sees the squirrel. The rabbit chases the squirrel. The rabbit is green. The rabbit is kind. The rabbit is nice. The rabbit needs the squirrel. The rabbit sees the squirrel. The squirrel chases the bear. The squirrel is blue. The squirrel needs the rabbit. The squirrel sees the rabbit. If someone is nice then they see the rabbit. If someone needs the rabbit and the rabbit chases the squirrel then the rabbit needs the squirrel.
The rabbit chases the squirrel.
@0: The bear chases the squirrel.[(triple1)] The bear sees the squirrel.[(triple2)] The rabbit chases the squirrel.[(triple3)] The rabbit is green.[(triple4)] The rabbit is kind.[(triple5)] The rabbit is nice.[(triple6)] The rabbit needs the squirrel.[(triple7 OR ((triple11 triple3) -> rule2))] The rabbit sees the squirrel.[(triple8)] The squirrel chases the bear.[(triple9)] The squirrel is blue.[(triple10)] The squirrel needs the rabbit.[(triple11)] The squirrel sees the rabbit.[(triple12)] @1: The rabbit sees the rabbit.[(((triple6) -> rule1))]