Bob is big. Bob is blue. Bob is nice. Bob is quiet. Bob is red. Bob is rough. Charlie is big. Charlie is green. Charlie is nice. Charlie is quiet. Charlie is red. Dave is green. Dave is nice. Harry is red. If someone is green and red then they are rough. If Dave is nice then Dave is green. Quiet people are red. All rough, blue people are big. All blue, big people are red. All green people are blue. If someone is blue and nice then they are quiet.
Harry is not big.