Bob is green. Bob is red. Erin is green. Erin is rough. Erin is smart. Gary is big. Gary is red. Gary is not round. Gary is smart. Gary is not white. Harry is big. Harry is not red. If something is green then it is smart. If something is rough and smart then it is round. All white things are smart. Rough things are red. Smart, red things are big. All green things are rough.
Bob is white.