Anne is green. Bob is furry. Charlie is furry. Harry is white. All white things are furry. If something is young and furry then it is green. All green things are quiet.
Harry is not white.
@0: Anne is green.[(triple1)] Bob is furry.[(triple2)] Charlie is furry.[(triple3)] Harry is white.[(triple4)] @1: Anne is quiet.[(((triple1) -> rule3))] Harry is furry.[(((triple4) -> rule1))]