The cat chases the squirrel. The cat is blue. The cat is not red. The cat is rough. The cat is young. The cat likes the squirrel. The cat needs the squirrel. The squirrel does not chase the cat. The squirrel is blue. The squirrel is not green. The squirrel is red. The squirrel is rough. The squirrel is not young. The squirrel likes the cat. The squirrel needs the cat. If the cat is young then the cat chases the squirrel.
The cat is young.
@0: The cat chases the squirrel.[(triple1 OR ((triple5) -> rule1))] The cat is blue.[(triple2)] The cat is not red.[(triple3)] The cat is rough.[(triple4)] The cat is young.[(triple5)] The cat likes the squirrel.[(triple6)] The cat needs the squirrel.[(triple7)] The squirrel does not chase the cat.[(triple8)] The squirrel is blue.[(triple9)] The squirrel is not green.[(triple10)] The squirrel is not young.[(triple13)] The squirrel is red.[(triple11)] The squirrel is rough.[(triple12)] The squirrel likes the cat.[(triple14)] The squirrel needs the cat.[(triple15)]