The squirrel does not chase the tiger. The squirrel is not big. The squirrel is not cold. The squirrel is green. The squirrel is kind. The squirrel is rough. The squirrel likes the tiger. The squirrel needs the tiger. The tiger chases the squirrel. The tiger is not big. The tiger is cold. The tiger is green. The tiger is kind. The tiger is rough. The tiger likes the squirrel. The tiger needs the squirrel. If something likes the tiger then it likes the squirrel. If something is cold then it needs the squirrel.
The tiger is not rough.
@0: The squirrel does not chase the tiger.[(triple1)] The squirrel is green.[(triple4)] The squirrel is kind.[(triple5)] The squirrel is not big.[(triple2)] The squirrel is not cold.[(triple3)] The squirrel is rough.[(triple6)] The squirrel likes the tiger.[(triple7)] The squirrel needs the tiger.[(triple8)] The tiger chases the squirrel.[(triple9)] The tiger is cold.[(triple11)] The tiger is green.[(triple12)] The tiger is kind.[(triple13)] The tiger is not big.[(triple10)] The tiger is rough.[(triple14)] The tiger likes the squirrel.[(triple15)] The tiger needs the squirrel.[(triple16 OR ((triple11) -> rule2))] @1: The squirrel likes the squirrel.[(((triple7) -> rule1))]