Anne is red. Dave is furry. If someone is furry and not blue then they are white. If someone is red and not white then they are quiet.
Anne is not red.
@0: Anne is red.[(triple1)] Dave is furry.[(triple2)]