Anne is furry. Bob is green. Dave is kind. Gary is kind. If someone is furry and young then they are green. All kind people are young.
Dave is kind.
@0: Anne is furry.[(triple1)] Bob is green.[(triple2)] Dave is kind.[(triple3)] Gary is kind.[(triple4)] @1: Dave is young.[(((triple3) -> rule2))] Gary is young.[(((triple4) -> rule2))]