Charlie is not big. Erin is rough. Harry is red. All big things are not rough. If something is not smart then it is cold. If something is big and not red then it is cold. If something is cold and red then it is rough. If something is rough then it is not smart. All smart things are green.
Harry is not rough.