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