Charlie is cold. Charlie is furry. Charlie is green. Charlie is kind. Charlie is not quiet. Charlie is round. Charlie is not white. If someone is white and not kind then they are green. If someone is cold and not kind then they are not furry. If someone is round then they are cold.
Charlie is green.
@0: Charlie is cold.[(triple1 OR ((triple6) -> rule3))] Charlie is furry.[(triple2)] Charlie is green.[(triple3)] Charlie is kind.[(triple4)] Charlie is not quiet.[(triple5)] Charlie is not white.[(triple7)] Charlie is round.[(triple6)]