Charlie is big. Charlie is blue. Charlie is green. Charlie is kind. Charlie is nice. Charlie is red. Charlie is white. Blue people are nice. Kind, green people are big.
Charlie is big.
@0: Charlie is big.[(triple1 OR ((triple4 triple3) -> rule2))] Charlie is blue.[(triple2)] Charlie is green.[(triple3)] Charlie is kind.[(triple4)] Charlie is nice.[(triple5 OR ((triple2) -> rule1))] Charlie is red.[(triple6)] Charlie is white.[(triple7)]