Erin is cold. Fiona is white. Harry is quiet. All cold things are nice. Nice things are kind.
Harry is nice.
@0: Erin is cold.[(triple1)] Fiona is white.[(triple2)] Harry is quiet.[(triple3)] @1: Erin is nice.[(((triple1) -> rule1))] @2: Erin is kind.[(((((triple1) -> rule1)) -> rule2))]