Charlie is big. Charlie is cold. Charlie is green. Charlie is red. Charlie is rough. Charlie is smart. Charlie is young. All smart things are big. All cold, red things are young. If Charlie is young then Charlie is green. If Charlie is smart then Charlie is young. Red things are smart. If Charlie is big and Charlie is green then Charlie is rough. Young things are smart. All cold things are smart.
Charlie is not rough.