Bob is quiet. Dave is kind. Fiona is cold. All quiet things are green. If something is rough then it is smart. All green things are rough.
Dave is not smart.
@0: Bob is quiet.[(triple1)] Dave is kind.[(triple2)] Fiona is cold.[(triple3)] @1: Bob is green.[(((triple1) -> rule1))] @2: Bob is rough.[(((((triple1) -> rule1)) -> rule3))] @3: Bob is smart.[(((((((triple1) -> rule1)) -> rule3)) -> rule2))]