Charlie is blue. Charlie is green. Charlie is kind. Charlie is nice. Charlie is red. Charlie is white. Charlie is young. If someone is kind then they are young. Young people are kind.
Charlie is not young.
@0: Charlie is blue.[(triple1)] Charlie is green.[(triple2)] Charlie is kind.[(triple3 OR ((triple7) -> rule2))] Charlie is nice.[(triple4)] Charlie is red.[(triple5)] Charlie is white.[(triple6)] Charlie is young.[(triple7 OR ((triple3) -> rule1))]