The bear likes the squirrel. The squirrel is green. The squirrel is nice. If someone is kind then they chase the squirrel. If the squirrel sees the bear and the squirrel chases the bear then the squirrel is green. If someone is blue then they chase the squirrel. If someone chases the bear then they are blue. If the bear likes the squirrel then the bear is nice. If someone sees the bear and they chase the squirrel then the squirrel chases the bear.
The squirrel is not blue.
@0: The bear likes the squirrel.[(triple1)] The squirrel is green.[(triple2)] The squirrel is nice.[(triple3)] @1: The bear is nice.[(((triple1) -> rule5))]