Bob is cold. Bob is red. Bob is smart. Bob is white. Charlie is big. Charlie is green. Charlie is red. Charlie is rough. Charlie is smart. Charlie is white. Erin is not smart. Harry is cold. Harry is red. Harry is white. If something is rough and cold then it is green. If something is red and not smart then it is rough. If something is not smart then it is white. If something is big and smart then it is white. All green things are big. If something is white then it is green. If something is big and not smart then it is red. If Bob is red and Bob is not big then Bob is white.
Erin is white.