Charlie is green. Fiona is rough. Gary is green. All rough things are young. Rough things are not big.
Charlie is green.
@0: Charlie is green.[(triple1)] Fiona is rough.[(triple2)] Gary is green.[(triple3)] @1: Fiona is not big.[(((triple2) -> rule2))] Fiona is young.[(((triple2) -> rule1))]