Anne is furry. Dave is young. Erin is not rough. Harry is young. If someone is furry then they are rough. All rough people are not young.
Anne is not young.
@0: Anne is furry.[(triple1)] Dave is young.[(triple2)] Erin is not rough.[(triple3)] Harry is young.[(triple4)] @1: Anne is rough.[(((triple1) -> rule1))] @2: Anne is not young.[(((((triple1) -> rule1)) -> rule2))]