The cat chases the squirrel. The cat is blue. The cat is cold. The cat is green. The cat is round. The cat is not young. The cat needs the squirrel. The cat does not see the squirrel. The squirrel does not chase the cat. The squirrel is blue. The squirrel is cold. The squirrel is green. The squirrel is round. The squirrel is not young. The squirrel needs the cat. The squirrel sees the cat. If something sees the squirrel then it chases the squirrel. If something needs the cat then it is green.
The cat sees the cat.
@0: The cat chases the squirrel.[(triple1)] The cat does not see the squirrel.[(triple8)] The cat is blue.[(triple2)] The cat is cold.[(triple3)] The cat is green.[(triple4)] The cat is not young.[(triple6)] The cat is round.[(triple5)] The cat needs the squirrel.[(triple7)] The squirrel does not chase the cat.[(triple9)] The squirrel is blue.[(triple10)] The squirrel is cold.[(triple11)] The squirrel is green.[(triple12 OR ((triple15) -> rule2))] The squirrel is not young.[(triple14)] The squirrel is round.[(triple13)] The squirrel needs the cat.[(triple15)] The squirrel sees the cat.[(triple16)]