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