The bear chases the squirrel. The bear visits the squirrel. The cat is young. The cat needs the bear. The cat visits the squirrel. The squirrel is red. The squirrel needs the cat. If something is kind and young then it needs the cat. If something needs the cat and it chases the squirrel then the squirrel is young. If something needs the bear then the bear is kind.
The bear visits the squirrel.
@0: The bear chases the squirrel.[(triple1)] The bear visits the squirrel.[(triple2)] The cat is young.[(triple3)] The cat needs the bear.[(triple4)] The cat visits the squirrel.[(triple5)] The squirrel is red.[(triple6)] The squirrel needs the cat.[(triple7)] @1: The bear is kind.[(((triple4) -> rule3))]