The cat chases the squirrel. The cat eats the squirrel. The cat is not cold. The cat is red. The cat is young. The cat needs the squirrel. The squirrel chases the cat. The squirrel eats the cat. The squirrel is red. The squirrel is round. The squirrel is not young. The squirrel needs the cat. If the squirrel chases the cat then the cat is red. If something needs the squirrel then the squirrel eats the cat. If something needs the cat and the cat is green then it does not chase the cat.
The cat does not need the cat.
@0: The cat chases the squirrel.[(triple1)] The cat eats the squirrel.[(triple2)] The cat is not cold.[(triple3)] The cat is red.[(triple4 OR ((triple7) -> rule1))] The cat is young.[(triple5)] The cat needs the squirrel.[(triple6)] The squirrel chases the cat.[(triple7)] The squirrel eats the cat.[(triple8 OR ((triple6) -> rule2))] The squirrel is not young.[(triple11)] The squirrel is red.[(triple9)] The squirrel is round.[(triple10)] The squirrel needs the cat.[(triple12)]