The squirrel is rough. If the squirrel is big and the squirrel is green then the squirrel is rough. Blue, green things are big. All green things are blue.
The squirrel is not blue.
@0: The squirrel is rough.[(triple1)]