Bob is big. Bob is cold. Bob is green. Bob is quiet. Bob is red. Bob is rough. Charlie is big. Charlie is green. Erin is cold. Erin is red. Harry is rough. All quiet people are white. If someone is red then they are big. All cold, rough people are big. If someone is red then they are white. All green, rough people are quiet. Rough people are green. White people are cold. If Erin is red and Erin is green then Erin is white.
Harry is not quiet.