Dave is quiet. Gary is cold. Harry is smart. If something is smart and green then it is big. All smart things are round. Big things are cold. If something is green then it is nice. Quiet things are big. If Dave is quiet and Dave is cold then Dave is nice. Smart things are round. If something is green then it is smart.
Dave is smart.