The bear is big. The bear needs the rabbit. The rabbit is blue. The rabbit is kind. The squirrel eats the bear. The squirrel is kind. The squirrel is red. The squirrel likes the bear. The squirrel likes the rabbit. The squirrel needs the bear. If something is blue then it needs the bear. If something is nice then it likes the squirrel. If something needs the bear then it is nice.
The bear does not like the rabbit.
@0: The bear is big.[(triple1)] The bear needs the rabbit.[(triple2)] The rabbit is blue.[(triple3)] The rabbit is kind.[(triple4)] The squirrel eats the bear.[(triple5)] The squirrel is kind.[(triple6)] The squirrel is red.[(triple7)] The squirrel likes the bear.[(triple8)] The squirrel likes the rabbit.[(triple9)] The squirrel needs the bear.[(triple10)] @1: The rabbit needs the bear.[(((triple3) -> rule1))] The squirrel is nice.[(((triple10) -> rule3))] @2: The rabbit is nice.[(((((triple3) -> rule1)) -> rule3))] The squirrel likes the squirrel.[(((((triple10) -> rule3)) -> rule2))] @3: The rabbit likes the squirrel.[(((((((triple3) -> rule1)) -> rule3)) -> rule2))]