Charlie is blue. Charlie is kind. Charlie is nice. Charlie is not quiet. Charlie is red. Charlie is round. Charlie is not white. All white, round people are blue. Blue people are nice. All round people are nice. If someone is white then they are red. Nice people are kind. If Charlie is not red then Charlie is nice.
Charlie is not nice.
@0: Charlie is blue.[(triple1)] Charlie is kind.[(triple2 OR ((triple3) -> rule5) OR ((((triple1) -> rule2)) -> rule5) OR ((((triple6) -> rule3)) -> rule5))] Charlie is nice.[(triple3 OR ((triple1) -> rule2) OR ((triple6) -> rule3))] Charlie is not quiet.[(triple4)] Charlie is not white.[(triple7)] Charlie is red.[(triple5)] Charlie is round.[(triple6)]