「「この録音ファイル形式は防衛局でないしまた値上げしない」ということは成り立たないとすれば「この録音ファイル形式は集団発生しない」ということは本当だ」ということは成り立たない
fact1: もし仮に「なにがしかの物は防衛局でなくて値上げしない」ということは成り立たないとすると集団発生しない
$facts$ = fact1: もし仮に「なにがしかの物は防衛局でなくて値上げしない」ということは成り立たないとすると集団発生しない ; $hypothesis$ = 「「この録音ファイル形式は防衛局でないしまた値上げしない」ということは成り立たないとすれば「この録音ファイル形式は集団発生しない」ということは本当だ」ということは成り立たない ; $proof$ = 
事実1: もし仮に「なにがしかの物は防衛局でなくて値上げしない」ということは成り立たないとすると集団発生しない

仮説: 「「この録音ファイル形式は防衛局でないしまた値上げしない」ということは成り立たないとすれば「この録音ファイル形式は集団発生しない」ということは本当だ」ということは成り立たない