Erin is smart. Fiona is white. Gary is kind. If something is kind then it is young. All nice things are young.
Erin is smart.
@0: Erin is smart.[(triple1)] Fiona is white.[(triple2)] Gary is kind.[(triple3)] @1: Gary is young.[(((triple3) -> rule1))]