Anne is blue. Anne is cold. Anne is not furry. Anne is green. Anne is nice. Anne is quiet. Anne is white. Quiet things are blue. If something is furry then it is quiet. If something is quiet then it is cold. If something is furry and not blue then it is nice. If Anne is furry and Anne is nice then Anne is not green. Nice things are white. If Anne is furry and Anne is not nice then Anne is not cold. If something is quiet and not cold then it is not green.
Anne is not white.
@0: Anne is blue.[(triple1 OR ((triple6) -> rule1))] Anne is cold.[(triple2 OR ((triple6) -> rule3))] Anne is green.[(triple4)] Anne is nice.[(triple5)] Anne is not furry.[(triple3)] Anne is quiet.[(triple6)] Anne is white.[(triple7 OR ((triple5) -> rule6))]