Anne is smart. Anne is white. Bob is cold. Bob is not rough. Bob is smart. Gary is cold. Gary is green. Gary is red. Gary is rough. Gary is round. Gary is not smart. Gary is white. If something is not round then it is green. If something is smart and green then it is not round.
Gary is not smart.