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 furry.
@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))]