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.
Dave is not white.
@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))]