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