Charlie is nice. Fiona is young. Gary is young. All young things are kind. If Gary is kind then Gary is nice.
Fiona is not nice.
@0: Charlie is nice.[(triple1)] Fiona is young.[(triple2)] Gary is young.[(triple3)] @1: Fiona is kind.[(((triple2) -> rule1))] Gary is kind.[(((triple3) -> rule1))] @2: Gary is nice.[(((((triple3) -> rule1)) -> rule2))]