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