Charlie is green. Charlie is not white. Charlie is young. Harry is big. Harry is blue. Harry is nice. Harry is young. If something is round then it is blue. Round things are blue. White things are round. If Charlie is not white and Charlie is not green then Charlie is blue. If something is blue then it is big. All white, nice things are young.
Harry is not big.
@0: Charlie is green.[(triple1)] Charlie is not white.[(triple2)] Charlie is young.[(triple3)] Harry is big.[(triple4 OR ((triple5) -> rule5))] Harry is blue.[(triple5)] Harry is nice.[(triple6)] Harry is young.[(triple7)]