Dave is cold. Dave is green. Dave is round. Dave is white. Fiona is not big. Fiona is not cold. Fiona is furry. Fiona is not green. Fiona is not round. Fiona is smart. Fiona is white. Gary is cold. Gary is not furry. Gary is smart. Gary is white. Smart, round things are not furry. Round things are smart. If Fiona is cold then Fiona is round.
Dave is not smart.