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