「もしもこの御兄ちゃんが二国論だとするとこの旦那場は近付く」ということは誤っている
fact1: そのレジャー施設は真っ白い fact2: この御兄ちゃんは冷め難い fact3: もし仮にこの御兄ちゃんは真っ白くて開始出来るとすればそれは土着しない fact4: その七十パーセントエタノールは償却する fact5: この御兄ちゃんは膿盆だ fact6: 仮にこの御兄ちゃんが真っ白いとしたらこの旦那場は近付く fact7: この御兄ちゃんは大小切でない fact8: この旦那場は冷め難くない fact9: 何かは二国論だがしかしそれが編曲しないとすればそれは真っ白い fact10: 仮に冷め難いものは二国論でないとしたら償却する fact11: この御兄ちゃんは償却するしまた冷め難い fact12: この旦那場は聞き取り易いしおまけに藻塩だ fact13: この御兄ちゃんは近付く fact14: この旦那場は償却する一方で近付かない fact15: もしこの御兄ちゃんが償却するし加えて冷め難いとするとそれは編曲しない fact16: この旦那場が編曲するならこの御兄ちゃんは近付く fact17: この旦那場は形容し難い fact18: この旦那場は二国論である
fact15 & fact11 -> int1: この御兄ちゃんは編曲しない; void -> assump1: 以下のように仮定する。この御兄ちゃんは二国論だ; int1 & assump1 -> int2: この御兄ちゃんは二国論であるけど編曲するということはない; fact9 -> int3: この御兄ちゃんは二国論であるが編曲しないとしたら真っ白い; int2 & int3 -> int4: この御兄ちゃんは真っ白い; int4 & fact6 -> int5: この旦那場は近付く; [assump1] & int5 -> hypothesis;
$facts$ = fact1: そのレジャー施設は真っ白い fact2: この御兄ちゃんは冷め難い fact3: もし仮にこの御兄ちゃんは真っ白くて開始出来るとすればそれは土着しない fact4: その七十パーセントエタノールは償却する fact5: この御兄ちゃんは膿盆だ fact6: 仮にこの御兄ちゃんが真っ白いとしたらこの旦那場は近付く fact7: この御兄ちゃんは大小切でない fact8: この旦那場は冷め難くない fact9: 何かは二国論だがしかしそれが編曲しないとすればそれは真っ白い fact10: 仮に冷め難いものは二国論でないとしたら償却する fact11: この御兄ちゃんは償却するしまた冷め難い fact12: この旦那場は聞き取り易いしおまけに藻塩だ fact13: この御兄ちゃんは近付く fact14: この旦那場は償却する一方で近付かない fact15: もしこの御兄ちゃんが償却するし加えて冷め難いとするとそれは編曲しない fact16: この旦那場が編曲するならこの御兄ちゃんは近付く fact17: この旦那場は形容し難い fact18: この旦那場は二国論である ; $hypothesis$ = 「もしもこの御兄ちゃんが二国論だとするとこの旦那場は近付く」ということは誤っている ; $proof$ = 
fact15 & fact11 -> int1: この御兄ちゃんは編曲しない; void -> assump1: 以下のように仮定する。この御兄ちゃんは二国論だ; int1 & assump1 -> int2: この御兄ちゃんは二国論であるけど編曲するということはない; fact9 -> int3: この御兄ちゃんは二国論であるが編曲しないとしたら真っ白い; int2 & int3 -> int4: この御兄ちゃんは真っ白い; int4 & fact6 -> int5: この旦那場は近付く; [assump1] & int5 -> hypothesis; __DISPROVED__
事実1: そのレジャー施設は真っ白い
事実2: この御兄ちゃんは冷め難い
事実3: もし仮にこの御兄ちゃんは真っ白くて開始出来るとすればそれは土着しない
事実4: その七十パーセントエタノールは償却する
事実5: この御兄ちゃんは膿盆だ
事実6: 仮にこの御兄ちゃんが真っ白いとしたらこの旦那場は近付く
事実7: この御兄ちゃんは大小切でない
事実8: この旦那場は冷め難くない
事実9: 何かは二国論だがしかしそれが編曲しないとすればそれは真っ白い
事実10: 仮に冷め難いものは二国論でないとしたら償却する
事実11: この御兄ちゃんは償却するしまた冷め難い
事実12: この旦那場は聞き取り易いしおまけに藻塩だ
事実13: この御兄ちゃんは近付く
事実14: この旦那場は償却する一方で近付かない
事実15: もしこの御兄ちゃんが償却するし加えて冷め難いとするとそれは編曲しない
事実16: この旦那場が編曲するならこの御兄ちゃんは近付く
事実17: この旦那場は形容し難い
事実18: この旦那場は二国論である

仮説: 「もしもこの御兄ちゃんが二国論だとするとこの旦那場は近付く」ということは誤っている
1. 事実15と事実11から、推論1: "この御兄ちゃんは編曲しない"が導かれる
2. 仮定1: 以下のように仮定する。この御兄ちゃんは二国論だ
3. 推論1と仮定1から、推論2: "この御兄ちゃんは二国論であるけど編曲するということはない"が導かれる
4. 事実9から、推論3: "この御兄ちゃんは二国論であるが編曲しないとしたら真っ白い"が導かれる
5. 推論2と推論3から、推論4: "この御兄ちゃんは真っ白い"が導かれる
6. 推論4と事実6から、推論5: "この旦那場は近付く"が導かれる
7. [仮定1]と推論5から、仮説が否定される

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