Anne is furry. Anne is nice. Anne is not smart. Charlie is not cold. Charlie is nice. Charlie is smart. Erin is furry. Erin is nice. Erin is red. Erin is round. If someone is furry and not rough then they are cold. All red people are nice. If Erin is round and Erin is rough then Erin is nice. If someone is rough then they are red. If Anne is nice and Anne is not cold then Anne is not rough. If Charlie is nice and Charlie is not cold then Charlie is smart.
Charlie is rough.