The bear is green. The squirrel is kind. If someone is green and they need the bear then they see the bear. If someone needs the squirrel and they see the squirrel then the squirrel needs the bear. If someone sees the squirrel and they are blue then the squirrel likes the bear. If someone is blue then they are red. If the bear likes the squirrel and the bear needs the squirrel then the bear sees the squirrel. If someone is red and they see the bear then they like the squirrel. Green people are kind. If someone is blue and they see the squirrel then they see the bear.
The bear is not green.
@0: The bear is green.[(triple1)] The squirrel is kind.[(triple2)] @1: The bear is kind.[(((triple1) -> rule7))]