Bob is blue. Dave is round. Gary is red. Harry is red. Blue things are cold. All round things are cold. All nice, blue things are green. Cold, big things are round. Red, green things are round. If Dave is green and Dave is blue then Dave is round.
Dave is big.