The cat chases the squirrel. The cat is not young. The cat sees the squirrel. The squirrel chases the cat. The squirrel is young. The squirrel needs the cat. The squirrel sees the cat. If something is young and it does not see the cat then the cat chases the squirrel. If something chases the squirrel then the squirrel is not rough. If something is young and it chases the squirrel then the squirrel is blue. If something is rough and it sees the squirrel then the squirrel needs the cat. If something sees the cat then the cat is kind. If something is rough then it does not see the squirrel. If something sees the cat and the cat needs the squirrel then it is red. If something is blue then it does not need the cat.
The squirrel does not chase the cat.
@0: The cat chases the squirrel.[(triple1)] The cat is not young.[(triple2)] The cat sees the squirrel.[(triple3)] The squirrel chases the cat.[(triple4)] The squirrel is young.[(triple5)] The squirrel needs the cat.[(triple6)] The squirrel sees the cat.[(triple7)] @1: The cat is kind.[(((triple7) -> rule5))] The squirrel is not rough.[(((triple1) -> rule2))]