Erin is cold. Erin is kind. Gary is round. Harry is big. Harry is kind. Harry is rough. Harry is round. If Harry is kind and Harry is round then Harry is cold.
Harry is cold.
@0: Erin is cold.[(triple1)] Erin is kind.[(triple2)] Gary is round.[(triple3)] Harry is big.[(triple4)] Harry is kind.[(triple5)] Harry is rough.[(triple6)] Harry is round.[(triple7)] @1: Harry is cold.[(((triple5 triple7) -> rule1))]