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.
Fiona is 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))]