Bob is big. Bob is cold. Bob is green. Bob is quiet. Bob is red. Bob is rough. Bob is smart. Charlie is big. Charlie is quiet. Charlie is smart. Fiona is cold. Fiona is green. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is smart. All smart, quiet people are green. If Bob is rough and Bob is red then Bob is big. Red, rough people are quiet.
Charlie is not rough.