Dave is big. Dave is cold. Dave is furry. Dave is quiet. Dave is round. Fiona is big. Fiona is cold. Fiona is furry. Fiona is quiet. Fiona is round. Gary is cold. Gary is smart. All furry things are blue. If something is round then it is cold. Smart things are cold. All quiet, cold things are round. All round things are big. If Gary is cold then Gary is big.
Dave is not smart.