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