Anne is not blue. Anne is nice. Gary is big. Gary is blue. Gary is nice. Gary is not quiet. Gary is white. If something is white and blue then it is cold.
Gary is not white.
@0: Anne is nice.[(triple2)] Anne is not blue.[(triple1)] Gary is big.[(triple3)] Gary is blue.[(triple4)] Gary is nice.[(triple5)] Gary is not quiet.[(triple6)] Gary is white.[(triple7)] @1: Gary is cold.[(((triple7 triple4) -> rule1))]