Charlie is blue. Charlie is furry. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is rough. Charlie is not white. Nice things are blue. If Charlie is furry then Charlie is not white.
Charlie is not nice.
@0: Charlie is blue.[(triple1 OR ((triple4) -> rule1))] Charlie is furry.[(triple2)] Charlie is kind.[(triple3)] Charlie is nice.[(triple4)] Charlie is not white.[(triple7 OR ((triple2) -> rule2))] Charlie is quiet.[(triple5)] Charlie is rough.[(triple6)]