The cat eats the squirrel. The cat is big. The cat is cold. The cat is green. The cat is red. The cat is rough. The cat sees the squirrel. The cat visits the squirrel. The squirrel eats the cat. The squirrel is big. The squirrel is cold. The squirrel is green. The squirrel is red. The squirrel is rough. The squirrel sees the cat. The squirrel visits the cat. If the cat eats the squirrel and the cat is big then the squirrel eats the cat.
The squirrel is cold.
@0: The cat eats the squirrel.[(triple1)] The cat is big.[(triple2)] The cat is cold.[(triple3)] The cat is green.[(triple4)] The cat is red.[(triple5)] The cat is rough.[(triple6)] The cat sees the squirrel.[(triple7)] The cat visits the squirrel.[(triple8)] The squirrel eats the cat.[(triple9 OR ((triple1 triple2) -> rule1))] The squirrel is big.[(triple10)] The squirrel is cold.[(triple11)] The squirrel is green.[(triple12)] The squirrel is red.[(triple13)] The squirrel is rough.[(triple14)] The squirrel sees the cat.[(triple15)] The squirrel visits the cat.[(triple16)]