Charlie is smart. Gary is rough. Harry is big. All cold, big things are red. If Harry is round then Harry is big. If Harry is big and Harry is smart then Harry is rough. If something is cold then it is round. If Harry is nice and Harry is smart then Harry is cold. If something is rough then it is cold. If Gary is red and Gary is cold then Gary is smart. If Charlie is nice and Charlie is rough then Charlie is red.
Harry is nice.