The bear is round. The cat likes the squirrel. The squirrel is not nice. If someone is red and they see the cat then they do not see the squirrel. If someone likes the squirrel then they do not see the squirrel. If someone needs the bear and they like the squirrel then the bear needs the cat. If the cat needs the squirrel and the squirrel sees the bear then the bear does not see the cat. If someone is young and they do not like the bear then the bear is round. If someone is round then they are young.
The bear sees the bear.
@0: The bear is round.[(triple1)] The cat likes the squirrel.[(triple2)] The squirrel is not nice.[(triple3)] @1: The bear is young.[(((triple1) -> rule6))] The cat does not see the squirrel.[(((triple2) -> rule2))]