Charlie is big. Charlie is blue. Charlie is quiet. Charlie is round. Charlie is smart. Dave is blue. Dave is quiet. Dave is round. Harry is big. Harry is green. Harry is round. Harry is white. If Dave is blue then Dave is quiet. If Harry is white then Harry is quiet. If something is big then it is round.
Charlie is blue.