Gary is big. Gary is furry. Gary is not kind. Gary is quiet. Gary is rough. Gary is white. Gary is young. All big, rough things are quiet. If something is young and not white then it is not kind.
Gary is not white.
@0: Gary is big.[(triple1)] Gary is furry.[(triple2)] Gary is not kind.[(triple3)] Gary is quiet.[(triple4 OR ((triple1 triple5) -> rule1))] Gary is rough.[(triple5)] Gary is white.[(triple6)] Gary is young.[(triple7)]