Anne is blue. Anne is furry. Anne is red. Anne is white. Charlie is furry. Charlie is red. Charlie is white. Erin is not rough. Erin is not smart. Erin is white. Gary is red. Gary is white. If something is not smart then it is red. If something is red and not smart then it is furry. Furry, white things are not smart.
Gary is not furry.