Charlie is blue. Charlie is green. Charlie is kind. Charlie is nice. Charlie is red. Charlie is rough. Charlie is young. If something is young and rough then it is kind.
Charlie is blue.
@0: Charlie is blue.[(triple1)] Charlie is green.[(triple2)] Charlie is kind.[(triple3 OR ((triple7 triple6) -> rule1))] Charlie is nice.[(triple4)] Charlie is red.[(triple5)] Charlie is rough.[(triple6)] Charlie is young.[(triple7)]