Anne is big. Anne is cold. Anne is furry. Anne is kind. Anne is quiet. Anne is rough. Anne is white. Big things are white. Kind things are white. If Anne is quiet then Anne is rough.
Anne is not furry.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is furry.[(triple3)] Anne is kind.[(triple4)] Anne is quiet.[(triple5)] Anne is rough.[(triple6 OR ((triple5) -> rule3))] Anne is white.[(triple7 OR ((triple1) -> rule1) OR ((triple4) -> rule2))]