Dave is big. Dave is cold. Dave is kind. Dave is quiet. Dave is rough. Dave is round. Dave is smart. Gary is cold. Gary is quiet. Gary is rough. Cold things are smart. All rough, big things are kind. Quiet things are rough. All rough, smart things are big. If something is cold and round then it is kind. If Dave is big then Dave is kind.
Gary is not big.