Dave is not quiet. Fiona is smart. Harry is cold. All rough, cold people are green. All cold people are rough.
Harry is green.
@0: Dave is not quiet.[(triple1)] Fiona is smart.[(triple2)] Harry is cold.[(triple3)] @1: Harry is rough.[(((triple3) -> rule2))] @2: Harry is green.[(((((triple3) -> rule2) triple3) -> rule1))]