Charlie is blue. Charlie is green. Charlie is kind. Charlie is not rough. Charlie is round. Charlie is not white. Charlie is young. Green things are round. White, young things are kind. All young things are not white.
Charlie is round.
@0: Charlie is blue.[(triple1)] Charlie is green.[(triple2)] Charlie is kind.[(triple3)] Charlie is not rough.[(triple4)] Charlie is not white.[(triple6 OR ((triple7) -> rule3))] Charlie is round.[(triple5 OR ((triple2) -> rule1))] Charlie is young.[(triple7)]