Anne is red. Anne is not young. Bob is quiet. Bob is rough. Dave is furry. Dave is quiet. Dave is rough. All quiet things are furry. All furry things are young.
Bob is young.
@0: Anne is not young.[(triple2)] Anne is red.[(triple1)] Bob is quiet.[(triple3)] Bob is rough.[(triple4)] Dave is furry.[(triple5 OR ((triple6) -> rule1))] Dave is quiet.[(triple6)] Dave is rough.[(triple7)] @1: Bob is furry.[(((triple3) -> rule1))] Dave is young.[(((triple5) -> rule2) OR ((((triple6) -> rule1)) -> rule2))] @2: Bob is young.[(((((triple3) -> rule1)) -> rule2))]