Charlie is big. Charlie is blue. Charlie is cold. Charlie is green. Charlie is rough. Charlie is white. Charlie is young. Big, young people are cold.
Charlie is not big.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is cold.[(triple3 OR ((triple1 triple7) -> rule1))] Charlie is green.[(triple4)] Charlie is rough.[(triple5)] Charlie is white.[(triple6)] Charlie is young.[(triple7)]