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