Anne is green. Bob is young. Dave is smart. If someone is rough then they are not quiet. All green people are rough.
Bob is young.
@0: Anne is green.[(triple1)] Bob is young.[(triple2)] Dave is smart.[(triple3)] @1: Anne is rough.[(((triple1) -> rule2))] @2: Anne is not quiet.[(((((triple1) -> rule2)) -> rule1))]