Anne is furry. Anne is nice. Anne is red. Anne is smart. Bob is green. Bob is nice. Charlie is furry. Charlie is quiet. Charlie is red. Dave is cold. Dave is red. Dave is smart. If Anne is red and Anne is quiet then Anne is nice. Cold things are quiet.
Charlie is red.