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