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