「もし仮に「あの発酵室は配れるということはないがそれは牛群だ」ということは成り立たないとしたらあの発酵室は合わせ辛い」ということは嘘である
fact1: 「なにがしかのものは配れないけど牛群である」ということは成り立つということはないならばそれは合わせ辛い
$facts$ = fact1: 「なにがしかのものは配れないけど牛群である」ということは成り立つということはないならばそれは合わせ辛い ; $hypothesis$ = 「もし仮に「あの発酵室は配れるということはないがそれは牛群だ」ということは成り立たないとしたらあの発酵室は合わせ辛い」ということは嘘である ; $proof$ = 
事実1: 「なにがしかのものは配れないけど牛群である」ということは成り立つということはないならばそれは合わせ辛い

仮説: 「もし仮に「あの発酵室は配れるということはないがそれは牛群だ」ということは成り立たないとしたらあの発酵室は合わせ辛い」ということは嘘である