The squirrel is big. The squirrel is blue. The squirrel is cold. The squirrel is not green. The squirrel is not red. If something is red and not blue then it is cold. All green things are big. If something is green and not cold then it is big.
The squirrel is not green.
@0: The squirrel is big.[(triple1)] The squirrel is blue.[(triple2)] The squirrel is cold.[(triple3)] The squirrel is not green.[(triple4)] The squirrel is not red.[(triple5)]