Charlie is furry. Dave is furry. Erin is cold. Gary is round. If Charlie is smart and Charlie is green then Charlie is red. If something is furry then it is green. Green things are smart.
Dave is not furry.