The bear is young. The cat visits the squirrel. The squirrel is big. If something needs the squirrel and it needs the bear then the bear does not visit the cat. If something chases the squirrel and it does not visit the squirrel then the squirrel chases the bear. If something is nice and it needs the bear then the bear needs the squirrel. If something chases the squirrel then it is not kind. If something needs the cat and it does not visit the bear then the cat is green. If something is young then it chases the squirrel.
The squirrel is not kind.
@0: The bear is young.[(triple1)] The cat visits the squirrel.[(triple2)] The squirrel is big.[(triple3)] @1: The bear chases the squirrel.[(((triple1) -> rule6))] @2: The bear is not kind.[(((((triple1) -> rule6)) -> rule4))]