Charlie is big. Charlie is cold. Charlie is quiet. Charlie is round. Dave is big. Dave is not cold. Dave is green. Dave is quiet. Dave is round. Erin is cold. Erin is green. Erin is nice. Erin is quiet. Fiona is kind. Fiona is quiet. Fiona is round. If Dave is round and Dave is kind then Dave is green. If something is nice and not big then it is quiet. Quiet things are round. All cold things are quiet. If Fiona is cold then Fiona is not quiet. If something is big then it is not nice. If Dave is not nice then Dave is green. If something is not green then it is round.
Dave is cold.