Anne is big. Anne is cold. Erin is not big. Erin is cold. Erin is white. Gary is big. Gary is round. If something is round then it is cold. Nice things are cold.
Gary is cold.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Erin is cold.[(triple4)] Erin is not big.[(triple3)] Erin is white.[(triple5)] Gary is big.[(triple6)] Gary is round.[(triple7)] @1: Gary is cold.[(((triple7) -> rule1))]