Gary is big. Gary is rough. Gary is white. If someone is rough then they are cold.
Gary is white.
@0: Gary is big.[(triple1)] Gary is rough.[(triple2)] Gary is white.[(triple3)] @1: Gary is cold.[(((triple2) -> rule1))]