Anne is cold. Anne is furry. Anne is green. Anne is nice. Charlie is cold. Charlie is green. Dave is cold. Dave is nice. Dave is quiet. Dave is round. If Anne is round then Anne is green. If something is furry and nice then it is red. If something is round then it is cold. If something is round then it is quiet. All furry, cold things are red. Cold things are nice. Round things are nice. All furry, red things are round.
Anne is quiet.