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