Charlie is cold. Charlie is red. Charlie is not smart. Erin is not big. Erin is blue. Erin is cold. Erin is furry. Erin is quiet. Erin is red. Erin is not smart. If Charlie is red and Charlie is not blue then Charlie is furry.
Erin is not quiet.