Bob is green. Bob is nice. Bob is round. Bob is smart. Charlie is cold. Charlie is green. Charlie is nice. Charlie is red. Charlie is rough. Charlie is round. Charlie is smart. Fiona is cold. Fiona is green. Fiona is red. Fiona is rough. Fiona is smart. All smart things are nice. Cold, smart things are green. If something is rough then it is red. If something is green then it is round. If Charlie is red and Charlie is green then Charlie is cold. If Charlie is nice and Charlie is cold then Charlie is red. If something is round and nice then it is cold. If Bob is cold then Bob is rough.
Bob is not rough.