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.
Gary is not 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))]