Anne is cold. Anne is not furry. Anne is kind. Anne is rough. Anne is young. Dave is not cold. Dave is not rough. If Anne is young and Anne is not furry then Anne is white. All young, cold things are rough.
Dave is young.
@0: Anne is cold.[(triple1)] Anne is kind.[(triple3)] Anne is not furry.[(triple2)] Anne is rough.[(triple4 OR ((triple5 triple1) -> rule2))] Anne is young.[(triple5)] Dave is not cold.[(triple6)] Dave is not rough.[(triple7)] @1: Anne is white.[(((triple5 triple2) -> rule1))]