The cat chases the tiger. The cat eats the squirrel. The cat is green. The cat is kind. The cat is young. The cat needs the squirrel. The cat needs the tiger. The squirrel chases the tiger. The squirrel is blue. The tiger eats the cat. The tiger eats the squirrel. The tiger does not need the squirrel. If the cat chases the squirrel then the cat is kind. If something eats the tiger then it does not chase the tiger. If something needs the cat then the cat needs the squirrel. If something needs the squirrel and the squirrel chases the cat then the cat needs the squirrel. If something needs the cat and it is not rough then the cat needs the squirrel. If something is kind and it does not need the cat then the cat needs the squirrel. If something chases the squirrel then it is not young. If something is blue then it chases the squirrel.
The cat does not chase the tiger.
@0: The cat chases the tiger.[(triple1)] The cat eats the squirrel.[(triple2)] The cat is green.[(triple3)] The cat is kind.[(triple4)] The cat is young.[(triple5)] The cat needs the squirrel.[(triple6)] The cat needs the tiger.[(triple7)] The squirrel chases the tiger.[(triple8)] The squirrel is blue.[(triple9)] The tiger does not need the squirrel.[(triple12)] The tiger eats the cat.[(triple10)] The tiger eats the squirrel.[(triple11)] @1: The squirrel chases the squirrel.[(((triple9) -> rule8))] @2: The squirrel is not young.[(((((triple9) -> rule8)) -> rule7))]