Charlie is blue. Charlie is cold. Charlie is green. Charlie is quiet. Charlie is red. Charlie is white. Dave is blue. Dave is cold. Dave is green. Dave is quiet. Dave is red. Dave is round. Dave is white. Erin is green. Erin is quiet. If Erin is quiet then Erin is blue. If something is green and blue then it is quiet. If something is round and cold then it is green.
Erin is round.