The cat eats the squirrel. The cat is big. The cat is cold. The cat is green. 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 nice. The squirrel is rough. The squirrel sees the cat. The squirrel visits the cat. If someone sees the squirrel and they are cold then the squirrel visits the cat. If someone eats the cat then the cat eats the squirrel. If the squirrel eats the cat and the squirrel visits the cat then the cat is big.
The squirrel eats the cat.
@0: The cat eats the squirrel.[(triple1 OR ((triple8) -> rule2))] The cat is big.[(triple2 OR ((triple8 triple15) -> rule3) OR ((triple8 ((triple6 triple3) -> rule1)) -> rule3))] The cat is cold.[(triple3)] The cat is green.[(triple4)] The cat is rough.[(triple5)] The cat sees the squirrel.[(triple6)] The cat visits the squirrel.[(triple7)] The squirrel eats the cat.[(triple8)] The squirrel is big.[(triple9)] The squirrel is cold.[(triple10)] The squirrel is green.[(triple11)] The squirrel is nice.[(triple12)] The squirrel is rough.[(triple13)] The squirrel sees the cat.[(triple14)] The squirrel visits the cat.[(triple15 OR ((triple6 triple3) -> rule1))]