Charlie is big. Fiona is kind. Gary is green. Green things are red. Big things are green.
Charlie is green.
@0: Charlie is big.[(triple1)] Fiona is kind.[(triple2)] Gary is green.[(triple3)] @1: Charlie is green.[(((triple1) -> rule2))] Gary is red.[(((triple3) -> rule1))] @2: Charlie is red.[(((((triple1) -> rule2)) -> rule1))]