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