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