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