The squirrel is not nice. All green things are not kind. All rough, red things are kind. If something is green then it is not red. All green things are red. All green things are red. Nice, red things are not rough. If something is rough then it is green. If the squirrel is green then the squirrel is red.
The squirrel is not red.
@0: The squirrel is not nice.[(triple1)]