Gary is big. Gary is green. Gary is kind. Gary is nice. Gary is round. Gary is smart. Gary is white. Round people are kind. If Gary is nice then Gary is white.
Gary is not kind.
@0: Gary is big.[(triple1)] Gary is green.[(triple2)] Gary is kind.[(triple3 OR ((triple5) -> rule1))] Gary is nice.[(triple4)] Gary is round.[(triple5)] Gary is smart.[(triple6)] Gary is white.[(triple7 OR ((triple4) -> rule2))]