Anne is furry. Anne is white. Bob is red. Bob is smart. Erin is furry. Erin is red. Gary is furry. Gary is round. Gary is smart. Gary is white. If Gary is round then Gary is smart. If something is green and white then it is round. All green, round things are white. Furry things are round. If something is green and white then it is round. Red, white things are green. Red things are green. White things are furry.
Bob is not smart.