Charlie is cold. Charlie is smart. Fiona is green. If something is rough then it is green. Green things are rough. All smart things are green.
Charlie is furry.
@0: Charlie is cold.[(triple1)] Charlie is smart.[(triple2)] Fiona is green.[(triple3)] @1: Charlie is green.[(((triple2) -> rule3))] Fiona is rough.[(((triple3) -> rule2))] @2: Charlie is rough.[(((((triple2) -> rule3)) -> rule2))]