The cat chases the squirrel. The cat eats the squirrel. The cat is blue. The cat is cold. The cat is green. The cat is nice. The cat does not visit the squirrel. The squirrel chases the cat. The squirrel eats the cat. The squirrel is blue. The squirrel is rough. The squirrel does not visit the cat. If someone visits the squirrel then they chase the squirrel. If someone is cold then they are green. If someone chases the squirrel and they are not cold then they visit the squirrel.
The cat does not visit the squirrel.
@0: The cat chases the squirrel.[(triple1)] The cat does not visit the squirrel.[(triple7)] The cat eats the squirrel.[(triple2)] The cat is blue.[(triple3)] The cat is cold.[(triple4)] The cat is green.[(triple5 OR ((triple4) -> rule2))] The cat is nice.[(triple6)] The squirrel chases the cat.[(triple8)] The squirrel does not visit the cat.[(triple12)] The squirrel eats the cat.[(triple9)] The squirrel is blue.[(triple10)] The squirrel is rough.[(triple11)]