Anne is nice. Bob is quiet. Dave is white. Harry is smart. All white things are green. If Dave is white then Dave is green. All smart things are quiet.
Harry is green.
@0: Anne is nice.[(triple1)] Bob is quiet.[(triple2)] Dave is white.[(triple3)] Harry is smart.[(triple4)] @1: Dave is green.[(((triple3) -> rule1) OR ((triple3) -> rule2))] Harry is quiet.[(((triple4) -> rule3))]