Charlie is white. Erin is green. If Charlie is white then Charlie is blue. All kind things are blue. All rough things are quiet. If Charlie is white and Charlie is quiet then Charlie is green. Cold, quiet things are white. If Charlie is blue then Charlie is rough. All rough, white things are green. If Erin is blue then Erin is cold.
Erin is not quiet.