Bob is not big. Bob is blue. Bob is not green. Bob is nice. Bob is smart. Erin is big. Erin is green. Erin is kind. Erin is nice. Gary is big. Gary is not blue. Gary is nice. Harry is blue. Harry is not green. Harry is not nice. Harry is not red. All nice, big people are not smart. If someone is green and not kind then they are not smart. If someone is big then they are red. If Bob is not smart then Bob is red. If Erin is kind and Erin is not nice then Erin is not blue. If someone is green then they are blue. If someone is red and not big then they are green. If someone is not blue then they are red.
Harry is big.