「その九条屋は温くない」ということは確かだ
fact1: 仮にとある物が落とせるかもしくはそれが温いとするとその内閣法制局は落とせる fact2: もしもあの超過部分は入党しないならば「「あのエンドは神木達だ一方で設定登記でない」ということは成り立つ」ということは誤りである fact3: それは腕部であるかまたは憎たらしいというものはない fact4: 「あの買い物籠は温い」ということは事実と異ならない fact5: この選択方法は温い fact6: 「何かは腕部であるかあるいは憎たらしい」ということは事実でないとすると入党しない fact7: その九条屋はラテン人だ fact8: もし何らかの物は落とせないとすると「それは温いしそれにラテン人だ」ということは間違いである fact9: 仮にその九条屋はラテン人であるとしたら温い fact10: もしも「この都市計画区域内が未練はましくらない一方で落とせる」ということは誤りだとしたらその内閣法制局は落とせない fact11: 仮にその九条屋が温いならばそれは薄暗い fact12: もし仮に「その内閣法制局は温いしラテン人である」ということは確かでないとしたらその九条屋は温くない fact13: もし仮にあるものは落とせるなら「その九条屋は落とせないがラテン人だ」ということは間違っている fact14: もしも「その九条屋は温い」ということは本当だとしたらそれは生温かい fact15: もしも「あのエンドは神木達であるけれど設定登記でない」ということは偽だとしたらこの都市計画区域内は未練がましかない fact16: 未練がましくらない物は温い fact17: 「「その九条屋は落とせないがラテン人だ」ということは成り立たないならばあの遣り方次第はラテン人だ」ということは真実である
fact9 & fact7 -> hypothesis;
fact9 & fact7 -> hypothesis;
「その九条屋は温くない」ということは本当だ
fact18 -> int1: もし仮にその内閣法制局は落とせるということはないとすると「それは温いしそれはラテン人だ」ということは成り立たない;
$facts$ = fact1: 仮にとある物が落とせるかもしくはそれが温いとするとその内閣法制局は落とせる fact2: もしもあの超過部分は入党しないならば「「あのエンドは神木達だ一方で設定登記でない」ということは成り立つ」ということは誤りである fact3: それは腕部であるかまたは憎たらしいというものはない fact4: 「あの買い物籠は温い」ということは事実と異ならない fact5: この選択方法は温い fact6: 「何かは腕部であるかあるいは憎たらしい」ということは事実でないとすると入党しない fact7: その九条屋はラテン人だ fact8: もし何らかの物は落とせないとすると「それは温いしそれにラテン人だ」ということは間違いである fact9: 仮にその九条屋はラテン人であるとしたら温い fact10: もしも「この都市計画区域内が未練はましくらない一方で落とせる」ということは誤りだとしたらその内閣法制局は落とせない fact11: 仮にその九条屋が温いならばそれは薄暗い fact12: もし仮に「その内閣法制局は温いしラテン人である」ということは確かでないとしたらその九条屋は温くない fact13: もし仮にあるものは落とせるなら「その九条屋は落とせないがラテン人だ」ということは間違っている fact14: もしも「その九条屋は温い」ということは本当だとしたらそれは生温かい fact15: もしも「あのエンドは神木達であるけれど設定登記でない」ということは偽だとしたらこの都市計画区域内は未練がましかない fact16: 未練がましくらない物は温い fact17: 「「その九条屋は落とせないがラテン人だ」ということは成り立たないならばあの遣り方次第はラテン人だ」ということは真実である ; $hypothesis$ = 「その九条屋は温くない」ということは確かだ ; $proof$ = 
fact9 & fact7 -> hypothesis; __DISPROVED__
事実1: 仮にとある物が落とせるかもしくはそれが温いとするとその内閣法制局は落とせる
事実2: もしもあの超過部分は入党しないならば「「あのエンドは神木達だ一方で設定登記でない」ということは成り立つ」ということは誤りである
事実3: それは腕部であるかまたは憎たらしいというものはない
事実4: 「あの買い物籠は温い」ということは事実と異ならない
事実5: この選択方法は温い
事実6: 「何かは腕部であるかあるいは憎たらしい」ということは事実でないとすると入党しない
事実7: その九条屋はラテン人だ
事実8: もし何らかの物は落とせないとすると「それは温いしそれにラテン人だ」ということは間違いである
事実9: 仮にその九条屋はラテン人であるとしたら温い
事実10: もしも「この都市計画区域内が未練はましくらない一方で落とせる」ということは誤りだとしたらその内閣法制局は落とせない
事実11: 仮にその九条屋が温いならばそれは薄暗い
事実12: もし仮に「その内閣法制局は温いしラテン人である」ということは確かでないとしたらその九条屋は温くない
事実13: もし仮にあるものは落とせるなら「その九条屋は落とせないがラテン人だ」ということは間違っている
事実14: もしも「その九条屋は温い」ということは本当だとしたらそれは生温かい
事実15: もしも「あのエンドは神木達であるけれど設定登記でない」ということは偽だとしたらこの都市計画区域内は未練がましかない
事実16: 未練がましくらない物は温い
事実17: 「「その九条屋は落とせないがラテン人だ」ということは成り立たないならばあの遣り方次第はラテン人だ」ということは真実である

仮説: 「その九条屋は温くない」ということは確かだ
1. 事実9と事実7から、仮説が否定される

よって、仮説が否定されました。