The bear needs the dog. The dog sees the bear. The squirrel sees the dog. If someone sees the bear and they are red then they need the bear. If the bear needs the dog and the dog chases the squirrel then the bear needs the squirrel. If someone chases the squirrel then the squirrel is rough. If someone needs the squirrel then they chase the squirrel. If someone sees the dog then the dog chases the squirrel. All red people are young. If someone needs the bear and they are not red then the bear sees the dog. If someone chases the bear then the bear is not round.
The bear is not blue.
@0: The bear needs the dog.[(triple1)] The dog sees the bear.[(triple2)] The squirrel sees the dog.[(triple3)] @1: The dog chases the squirrel.[(((triple3) -> rule5))] @2: The bear needs the squirrel.[(((triple1 ((triple3) -> rule5)) -> rule2))] The squirrel is rough.[(((((triple3) -> rule5)) -> rule3) OR ((((((triple1 ((triple3) -> rule5)) -> rule2)) -> rule4)) -> rule3))] @3: The bear chases the squirrel.[(((((triple1 ((triple3) -> rule5)) -> rule2)) -> rule4))]