The squirrel is green. All rough things are green. If the squirrel is green then the squirrel is big. Cold things are big. All big things are red. All cold things are rough. If the squirrel is green then the squirrel is rough.
The squirrel is not green.