Gary is big. Gary is kind. Gary is nice. Gary is quiet. Gary is rough. Gary is smart. Gary is white. If someone is big then they are rough. If someone is rough and kind then they are smart.
Gary is kind.
@0: Gary is big.[(triple1)] Gary is kind.[(triple2)] Gary is nice.[(triple3)] Gary is quiet.[(triple4)] Gary is rough.[(triple5 OR ((triple1) -> rule1))] Gary is smart.[(triple6 OR ((triple5 triple2) -> rule2) OR ((((triple1) -> rule1) triple2) -> rule2))] Gary is white.[(triple7)]