Bob is big. Bob is green. Bob is nice. Bob is quiet. Bob is red. Charlie is big. Charlie is blue. Charlie is green. Charlie is nice. Charlie is quiet. Charlie is white. Harry is big. Harry is green. Harry is quiet. Harry is red. All nice, red people are blue. If someone is red then they are big. White people are nice. If someone is quiet then they are blue. All blue, big people are white. Blue people are big.
Harry is not nice.