Anne is not young. Bob is young. Dave is quiet. All quiet people are green. Red people are furry.
Bob is green.
@0: Anne is not young.[(triple1)] Bob is young.[(triple2)] Dave is quiet.[(triple3)] @1: Dave is green.[(((triple3) -> rule1))]