Charlie is not cold. Charlie is furry. Charlie is green. Charlie is not kind. Charlie is not nice. Charlie is quiet. Charlie is not white. White things are cold. All cold, kind things are green. All furry things are green. If Charlie is nice then Charlie is not furry. If something is white and not cold then it is quiet. If something is kind then it is quiet. All cold things are quiet. Cold things are not quiet.
Charlie is not kind.
@0: Charlie is furry.[(triple2)] Charlie is green.[(triple3 OR ((triple2) -> rule3))] Charlie is not cold.[(triple1)] Charlie is not kind.[(triple4)] Charlie is not nice.[(triple5)] Charlie is not white.[(triple7)] Charlie is quiet.[(triple6)]