Anne is not nice. Charlie is white. Fiona is not rough. Gary is nice. Blue, green things are not cold. White things are cold. If Gary is green then Gary is big. If Gary is nice and Gary is green then Gary is white. Rough things are nice. If something is rough and blue then it is big.
Charlie is not white.
@0: Anne is not nice.[(triple1)] Charlie is white.[(triple2)] Fiona is not rough.[(triple3)] Gary is nice.[(triple4)] @1: Charlie is cold.[(((triple2) -> rule2))]