Charlie is big. Charlie is furry. Charlie is red. Charlie is white. Gary is cold. Gary is green. Gary is red. Cold things are big.
Charlie is not red.
@0: Charlie is big.[(triple1)] Charlie is furry.[(triple2)] Charlie is red.[(triple3)] Charlie is white.[(triple4)] Gary is cold.[(triple5)] Gary is green.[(triple6)] Gary is red.[(triple7)] @1: Gary is big.[(((triple5) -> rule1))]