Anne is big. Anne is cold. Anne is round. Anne is young. Bob is smart. Dave is blue. Dave is cold. Gary is cold. Gary is quiet. Gary is smart. All blue, young things are smart. All blue things are young. If something is smart then it is blue. If Bob is quiet and Bob is blue then Bob is round. If something is big then it is quiet. Smart things are round. If Dave is big then Dave is cold. All cold, round things are big.
Dave is round.