Anne is green. Bob is rough. Dave is smart. Fiona is green. Green things are smart. If Bob is quiet then Bob is smart.
Anne is not smart.
@0: Anne is green.[(triple1)] Bob is rough.[(triple2)] Dave is smart.[(triple3)] Fiona is green.[(triple4)] @1: Anne is smart.[(((triple1) -> rule1))] Fiona is smart.[(((triple4) -> rule1))]