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