Gary is big. Gary is blue. Gary is not cold. Gary is kind. Gary is nice. Gary is quiet. Gary is rough. All kind things are big. Kind things are blue. If Gary is quiet and Gary is big then Gary is blue. All cold, rough things are nice. If Gary is not blue then Gary is rough. If something is cold and not blue then it is rough.
Gary is not nice.
@0: Gary is big.[(triple1 OR ((triple4) -> rule1))] Gary is blue.[(triple2 OR ((triple4) -> rule2) OR ((triple6 triple1) -> rule3) OR ((triple6 ((triple4) -> rule1)) -> rule3))] Gary is kind.[(triple4)] Gary is nice.[(triple5)] Gary is not cold.[(triple3)] Gary is quiet.[(triple6)] Gary is rough.[(triple7)]