Anne is white. Fiona is not cold. Gary is quiet. If Gary is quiet then Gary is white. All white people are big.
Anne is not big.
@0: Anne is white.[(triple1)] Fiona is not cold.[(triple2)] Gary is quiet.[(triple3)] @1: Anne is big.[(((triple1) -> rule2))] Gary is white.[(((triple3) -> rule1))] @2: Gary is big.[(((((triple3) -> rule1)) -> rule2))]