Anne is green. Bob is green. Erin is green. Gary is not white. Nice, white things are smart. If something is rough and nice then it is red. If Gary is white then Gary is not nice. All green things are smart. If Anne is smart and Anne is not nice then Anne is red. If something is not green then it is rough. If Anne is green and Anne is not smart then Anne is furry. If something is not rough then it is not furry.
Gary is smart.