Charlie is not blue. Charlie is cold. Charlie is not furry. Charlie is kind. Charlie is not nice. Charlie is rough. Charlie is round. All nice, rough people are round. If someone is kind then they are round. All furry people are not round. Kind people are round. If Charlie is nice then Charlie is not rough. If someone is kind and nice then they are cold.
Charlie is round.
@0: Charlie is cold.[(triple2)] Charlie is kind.[(triple4)] Charlie is not blue.[(triple1)] Charlie is not furry.[(triple3)] Charlie is not nice.[(triple5)] Charlie is rough.[(triple6)] Charlie is round.[(triple7 OR ((triple4) -> rule2) OR ((triple4) -> rule4))]