The bear is blue. The bear likes the squirrel. The bear visits the squirrel. The squirrel chases the bear. The squirrel is red. The squirrel is round. The squirrel likes the bear. If something visits the bear and the bear chases the squirrel then it likes the squirrel. If something chases the squirrel and it likes the squirrel then the squirrel chases the bear. If something chases the bear and it likes the bear then it is kind.
The squirrel is not kind.
@0: The bear is blue.[(triple1)] The bear likes the squirrel.[(triple2)] The bear visits the squirrel.[(triple3)] The squirrel chases the bear.[(triple4)] The squirrel is red.[(triple5)] The squirrel is round.[(triple6)] The squirrel likes the bear.[(triple7)] @1: The squirrel is kind.[(((triple4 triple7) -> rule3))]