Anne is cold. Anne is furry. Anne is green. Anne is quiet. Anne is not rough. Anne is white. Anne is young. Dave is cold. Dave is furry. Dave is white. If Dave is quiet then Dave is rough. If Dave is white then Dave is quiet. If something is cold and green then it is white.
Dave is not quiet.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is green.[(triple3)] Anne is not rough.[(triple5)] Anne is quiet.[(triple4)] Anne is white.[(triple6 OR ((triple1 triple3) -> rule3))] Anne is young.[(triple7)] Dave is cold.[(triple8)] Dave is furry.[(triple9)] Dave is white.[(triple10)] @1: Dave is quiet.[(((triple10) -> rule2))] @2: Dave is rough.[(((((triple10) -> rule2)) -> rule1))]