Charlie is blue. Charlie is kind. Charlie is nice. Charlie is round. Charlie is smart. Dave is blue. Dave is kind. Dave is nice. Dave is quiet. Dave is rough. Dave is round. Dave is smart. If Dave is smart and Dave is round then Dave is nice. All blue, round people are rough. Nice, blue people are smart. All round, rough people are quiet. All round people are rough. All quiet, round people are kind.
Charlie is not rough.