Charlie is not furry. Charlie is green. Charlie is nice. Charlie is not red. Charlie is rough. Charlie is round. Charlie is white. All nice, rough things are round. If Charlie is furry and Charlie is not rough then Charlie is not white.
Charlie is not red.
@0: Charlie is green.[(triple2)] Charlie is nice.[(triple3)] Charlie is not furry.[(triple1)] Charlie is not red.[(triple4)] Charlie is rough.[(triple5)] Charlie is round.[(triple6 OR ((triple3 triple5) -> rule1))] Charlie is white.[(triple7)]