Anne is not smart. Charlie is not smart. Harry is green. Rough people are white. If someone is nice then they are not big. If someone is smart then they are not big. If someone is green and not big then they are nice. If someone is not nice then they are red. If Charlie is red and Charlie is not white then Charlie is not rough. If someone is smart and not nice then they are rough. If Harry is green and Harry is not red then Harry is white.
Harry is rough.