Gary is big. Gary is blue. Gary is kind. Gary is not nice. Gary is not rough. Gary is round. Gary is smart. If Gary is big and Gary is nice then Gary is kind. If Gary is rough then Gary is not kind. If Gary is smart and Gary is not round then Gary is kind. All big things are kind. If Gary is smart then Gary is blue. If Gary is rough and Gary is kind then Gary is blue.
Gary is not kind.
@0: Gary is big.[(triple1)] Gary is blue.[(triple2 OR ((triple7) -> rule5))] Gary is kind.[(triple3 OR ((triple1) -> rule4))] Gary is not nice.[(triple4)] Gary is not rough.[(triple5)] Gary is round.[(triple6)] Gary is smart.[(triple7)]