The cat eats the tiger. The cat is blue. The cat visits the squirrel. The cat visits the tiger. The squirrel chases the cat. The squirrel eats the cat. The squirrel eats the tiger. The squirrel is blue. The squirrel is cold. The squirrel is green. The squirrel is rough. The squirrel visits the cat. The tiger chases the cat. The tiger eats the cat. The tiger eats the squirrel. The tiger is green. If something eats the squirrel and it is blue then the squirrel chases the tiger. If something chases the cat and it is rough then the cat eats the tiger. If something chases the tiger and the tiger eats the cat then it is cold.
The squirrel is not rough.
@0: The cat eats the tiger.[(triple1 OR ((triple5 triple11) -> rule2))] The cat is blue.[(triple2)] The cat visits the squirrel.[(triple3)] The cat visits the tiger.[(triple4)] The squirrel chases the cat.[(triple5)] The squirrel eats the cat.[(triple6)] The squirrel eats the tiger.[(triple7)] The squirrel is blue.[(triple8)] The squirrel is cold.[(triple9)] The squirrel is green.[(triple10)] The squirrel is rough.[(triple11)] The squirrel visits the cat.[(triple12)] The tiger chases the cat.[(triple13)] The tiger eats the cat.[(triple14)] The tiger eats the squirrel.[(triple15)] The tiger is green.[(triple16)]