Bob is big. Charlie is red. Charlie is smart. Dave is big. Dave is red. Gary is quiet. Gary is round. Kind, red things are round. All big, cold things are round. All big, quiet things are kind. If Bob is cold and Bob is kind then Bob is smart. Big things are quiet. Kind things are cold.
Dave is red.