このタイプツーは錯綜しなくて荒々しくない
fact1: 「出現する」ものはある fact2: 仮に「出現する」ものはあれば「このタイプツーは錯綜しなくてかつそれは荒々しいということはない」ということは間違いである
$facts$ = fact1: 「出現する」ものはある fact2: 仮に「出現する」ものはあれば「このタイプツーは錯綜しなくてかつそれは荒々しいということはない」ということは間違いである ; $hypothesis$ = このタイプツーは錯綜しなくて荒々しくない ; $proof$ = 
事実1: 「出現する」ものはある
事実2: 仮に「出現する」ものはあれば「このタイプツーは錯綜しなくてかつそれは荒々しいということはない」ということは間違いである

仮説: このタイプツーは錯綜しなくて荒々しくない