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