Anne is cold. Anne is furry. Anne is green. Anne is nice. Anne is quiet. Anne is red. Anne is white. If Anne is nice then Anne is cold. If Anne is furry and Anne is cold then Anne is quiet.
Anne is not white.
@0: Anne is cold.[(triple1 OR ((triple4) -> rule1))] Anne is furry.[(triple2)] Anne is green.[(triple3)] Anne is nice.[(triple4)] Anne is quiet.[(triple5 OR ((triple2 triple1) -> rule2) OR ((triple2 ((triple4) -> rule1)) -> rule2))] Anne is red.[(triple6)] Anne is white.[(triple7)]