「もしもあの住宅街が給仕するとしたらその確率βは自宅付近だ」ということは間違いである
fact1: あの指呼は給仕する fact2: もし仮にあの指呼は自宅付近であるとすれば「その確率βは隠蔽する」ということは事実と異ならない fact3: 備長炭はシーズンだ fact4: 「その確率βは給仕する」ということは成り立つ fact5: もし仮になにかは隠蔽するとすればそれは給仕する fact6: もし仮にあの住宅街が組織球であるならばあの確率βは給仕する fact7: もし仮にあの住宅街が給仕するとしたらあの指呼は隠蔽する fact8: 組織球は自宅付近である fact9: 仮に「あの指呼は隠蔽するということはない」ということは誤りであるならばその確率βは組織球だ fact10: 仮にその確率βが給仕するならあの住宅街は自宅付近だ fact11: もしも何かは自宅付近だとすれば「給仕しない」ということは成り立たない fact12: もし仮にあの住宅街が自宅付近であるとするとその確率βは給仕する fact13: その確率βは隠蔽する
void -> assump1: 以下のように仮定する。あの住宅街は給仕する; fact7 & assump1 -> int1: あの指呼は隠蔽する; int1 & fact9 -> int2: 「その確率βは組織球だ」ということは成り立つ; fact8 -> int3: その確率βは組織球なら「それは自宅付近でない」ということは誤りである; int2 & int3 -> int4: その確率βは自宅付近だ; [assump1] & int4 -> hypothesis;
$facts$ = fact1: あの指呼は給仕する fact2: もし仮にあの指呼は自宅付近であるとすれば「その確率βは隠蔽する」ということは事実と異ならない fact3: 備長炭はシーズンだ fact4: 「その確率βは給仕する」ということは成り立つ fact5: もし仮になにかは隠蔽するとすればそれは給仕する fact6: もし仮にあの住宅街が組織球であるならばあの確率βは給仕する fact7: もし仮にあの住宅街が給仕するとしたらあの指呼は隠蔽する fact8: 組織球は自宅付近である fact9: 仮に「あの指呼は隠蔽するということはない」ということは誤りであるならばその確率βは組織球だ fact10: 仮にその確率βが給仕するならあの住宅街は自宅付近だ fact11: もしも何かは自宅付近だとすれば「給仕しない」ということは成り立たない fact12: もし仮にあの住宅街が自宅付近であるとするとその確率βは給仕する fact13: その確率βは隠蔽する ; $hypothesis$ = 「もしもあの住宅街が給仕するとしたらその確率βは自宅付近だ」ということは間違いである ; $proof$ = 
void -> assump1: 以下のように仮定する。あの住宅街は給仕する; fact7 & assump1 -> int1: あの指呼は隠蔽する; int1 & fact9 -> int2: 「その確率βは組織球だ」ということは成り立つ; fact8 -> int3: その確率βは組織球なら「それは自宅付近でない」ということは誤りである; int2 & int3 -> int4: その確率βは自宅付近だ; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: あの指呼は給仕する
事実2: もし仮にあの指呼は自宅付近であるとすれば「その確率βは隠蔽する」ということは事実と異ならない
事実3: 備長炭はシーズンだ
事実4: 「その確率βは給仕する」ということは成り立つ
事実5: もし仮になにかは隠蔽するとすればそれは給仕する
事実6: もし仮にあの住宅街が組織球であるならばあの確率βは給仕する
事実7: もし仮にあの住宅街が給仕するとしたらあの指呼は隠蔽する
事実8: 組織球は自宅付近である
事実9: 仮に「あの指呼は隠蔽するということはない」ということは誤りであるならばその確率βは組織球だ
事実10: 仮にその確率βが給仕するならあの住宅街は自宅付近だ
事実11: もしも何かは自宅付近だとすれば「給仕しない」ということは成り立たない
事実12: もし仮にあの住宅街が自宅付近であるとするとその確率βは給仕する
事実13: その確率βは隠蔽する

仮説: 「もしもあの住宅街が給仕するとしたらその確率βは自宅付近だ」ということは間違いである
1. 仮定1: 以下のように仮定する。あの住宅街は給仕する
2. 事実7と仮定1から、推論1: "あの指呼は隠蔽する"が導かれる
3. 推論1と事実9から、推論2: "「その確率βは組織球だ」ということは成り立つ"が導かれる
4. 事実8から、推論3: "その確率βは組織球なら「それは自宅付近でない」ということは誤りである"が導かれる
5. 推論2と推論3から、推論4: "その確率βは自宅付近だ"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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