The cat chases the squirrel. The cat is big. The cat is blue. The cat is green. The cat is red. The cat is young. The cat needs the squirrel. The cat visits the squirrel. The squirrel chases the cat. The squirrel is big. The squirrel is green. The squirrel is not red. The squirrel is not young. The squirrel needs the cat. The squirrel visits the cat. If something visits the squirrel then it needs the squirrel. If something chases the squirrel then it needs the squirrel. If something visits the squirrel and it does not visit the cat then it is green. If the cat is not young then the cat visits the squirrel. If the squirrel visits the cat and the cat chases the squirrel then the squirrel chases the cat. If something visits the cat and it is not big then the cat does not need the squirrel.
The squirrel does not need the squirrel.
@0: The cat chases the squirrel.[(triple1)] The cat is big.[(triple2)] The cat is blue.[(triple3)] The cat is green.[(triple4)] The cat is red.[(triple5)] The cat is young.[(triple6)] The cat needs the squirrel.[(triple7 OR ((triple1) -> rule2) OR ((triple8) -> rule1))] The cat visits the squirrel.[(triple8)] The squirrel chases the cat.[(triple9 OR ((triple15 triple1) -> rule5))] The squirrel is big.[(triple10)] The squirrel is green.[(triple11)] The squirrel is not red.[(triple12)] The squirrel is not young.[(triple13)] The squirrel needs the cat.[(triple14)] The squirrel visits the cat.[(triple15)]