Anne is nice. Anne is round. Bob is blue. Erin is blue. Erin is green. Erin is nice. Erin is round. Erin is smart. Gary is blue. Gary is green. If something is green then it is round.
Gary is not round.