Anne is cold. Anne is nice. Anne is smart. Charlie is cold. Charlie is not furry. Charlie is not nice. Charlie is quiet. Charlie is red. Charlie is round. Charlie is smart. Erin is not cold. Erin is furry. Erin is nice. Erin is round. Erin is smart. If Anne is nice and Anne is smart then Anne is quiet. All quiet, nice things are red.
Anne is furry.