The bear chases the rabbit. The bear is big. The bear needs the rabbit. The rabbit is nice. The rabbit likes the bear. The squirrel chases the bear. The squirrel does not chase the rabbit. The squirrel is round. The squirrel does not like the rabbit. The squirrel needs the bear. If something chases the bear then the bear does not like the rabbit. If something likes the squirrel then the squirrel is not kind. If the rabbit is kind and the rabbit needs the bear then the rabbit is round. If something likes the bear then it does not chase the bear. If something is nice then it likes the squirrel. If something is nice and it needs the squirrel then it is kind.
The bear does not like the squirrel.
@0: The bear chases the rabbit.[(triple1)] The bear is big.[(triple2)] The bear needs the rabbit.[(triple3)] The rabbit is nice.[(triple4)] The rabbit likes the bear.[(triple5)] The squirrel chases the bear.[(triple6)] The squirrel does not chase the rabbit.[(triple7)] The squirrel does not like the rabbit.[(triple9)] The squirrel is round.[(triple8)] The squirrel needs the bear.[(triple10)] @1: The bear does not like the rabbit.[(((triple6) -> rule1))] The rabbit does not chase the bear.[(((triple5) -> rule4))] The rabbit likes the squirrel.[(((triple4) -> rule5))] @2: The squirrel is not kind.[(((((triple4) -> rule5)) -> rule2))]