Charlie is big. Charlie is cold. Charlie is green. Charlie is kind. Charlie is red. Charlie is white. Charlie is young. Kind, cold things are big.
Charlie is not cold.
@0: Charlie is big.[(triple1 OR ((triple4 triple2) -> rule1))] Charlie is cold.[(triple2)] Charlie is green.[(triple3)] Charlie is kind.[(triple4)] Charlie is red.[(triple5)] Charlie is white.[(triple6)] Charlie is young.[(triple7)]