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