Anne is nice. Erin is white. Gary is quiet. Harry is green. All nice things are cold.
Harry is not cold.
@0: Anne is nice.[(triple1)] Erin is white.[(triple2)] Gary is quiet.[(triple3)] Harry is green.[(triple4)] @1: Anne is cold.[(((triple1) -> rule1))]