Bob is cold. Bob is nice. Bob is red. Bob is round. Bob is white. Charlie is cold. Charlie is nice. Charlie is red. Charlie is rough. Charlie is round. Charlie is smart. Charlie is white. Harry is cold. Harry is round. Harry is smart. Harry is white. If Charlie is smart then Charlie is nice. All cold, round things are rough. If Bob is round and Bob is rough then Bob is smart. If something is white and round then it is nice. All smart, round things are cold. If something is rough then it is round. All red things are smart. Smart things are rough.
Bob is rough.