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