Anne is cold. Erin is young. Fiona is young. Harry is rough. All young people are kind.
Anne is not kind.
@0: Anne is cold.[(triple1)] Erin is young.[(triple2)] Fiona is young.[(triple3)] Harry is rough.[(triple4)] @1: Erin is kind.[(((triple2) -> rule1))] Fiona is kind.[(((triple3) -> rule1))]