Erin is not nice. Gary is round. Harry is cold. If something is round then it is cold. If Gary is quiet and Gary is round then Gary is nice. If something is nice and quiet then it is round.
Harry is cold.
@0: Erin is not nice.[(triple1)] Gary is round.[(triple2)] Harry is cold.[(triple3)] @1: Gary is cold.[(((triple2) -> rule1))]