もし仮にあの夕立が神経学的検査でないとするとこの腫瘍内は後ろめたいか立論する
fact1: もし仮にこの腫瘍内は立論するということはないなら「あの夕立は後ろめたい」ということは確かだ fact2: 仮にあの夕立が立論しないとしたらこの腫瘍内は後ろめたいかあるいはそれは神経学的検査だ fact3: 「拡張しないかまたはメタな」ものがあるとするとあの夕立は残尿感である fact4: 「どれもこれもは拡張しないかあるいはそれはメタだ」ということは事実である fact5: あの夕立は後ろめたい fact6: 「この腫瘍内はサーチしない」ということは成り立つ fact7: あの夕立は迎撃しない fact8: あの夕立は荒々しいということはない fact9: あの夕立は立論しない fact10: もし仮に「あの夕立は神経学的検査だ」ということは本当ならこの腫瘍内は後ろめたいか立論する fact11: 「この腫瘍内は立論する」ということは本当ならばあの夕立は神経学的検査である fact12: この腫瘍内が立論しないとするとあの夕立は神経学的検査である fact13: もしなにかは残尿感だとすると「後ろめたい」ということは成り立つ
void -> assump1: 以下のように仮定する。この腫瘍内は立論しない; fact12 & assump1 -> int1: あの夕立は神経学的検査だ; void -> assump2: 以下のように仮定する。あの夕立は神経学的検査でない; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: この腫瘍内は立論する; int3 -> int4: この腫瘍内は後ろめたいかもしくは立論する; [assump2] & int4 -> hypothesis;
この腫瘍内は神経学的検査だ
fact15 -> int5: もし仮にあの夕立は残尿感だとすれば「それは後ろめたい」ということは確かだ; fact16 -> int6: 「そのシャトルは拡張しないかもしくはメタであるかどちらもである」ということは誤りでない; int6 -> int7: 「拡張しないかもしくはメタである」物はある; int7 & fact14 -> int8: あの夕立は残尿感である; int5 & int8 -> int9: あの夕立は後ろめたい; int9 -> int10: 後ろめたいものはある;
$facts$ = fact1: もし仮にこの腫瘍内は立論するということはないなら「あの夕立は後ろめたい」ということは確かだ fact2: 仮にあの夕立が立論しないとしたらこの腫瘍内は後ろめたいかあるいはそれは神経学的検査だ fact3: 「拡張しないかまたはメタな」ものがあるとするとあの夕立は残尿感である fact4: 「どれもこれもは拡張しないかあるいはそれはメタだ」ということは事実である fact5: あの夕立は後ろめたい fact6: 「この腫瘍内はサーチしない」ということは成り立つ fact7: あの夕立は迎撃しない fact8: あの夕立は荒々しいということはない fact9: あの夕立は立論しない fact10: もし仮に「あの夕立は神経学的検査だ」ということは本当ならこの腫瘍内は後ろめたいか立論する fact11: 「この腫瘍内は立論する」ということは本当ならばあの夕立は神経学的検査である fact12: この腫瘍内が立論しないとするとあの夕立は神経学的検査である fact13: もしなにかは残尿感だとすると「後ろめたい」ということは成り立つ ; $hypothesis$ = もし仮にあの夕立が神経学的検査でないとするとこの腫瘍内は後ろめたいか立論する ; $proof$ = 
void -> assump1: 以下のように仮定する。この腫瘍内は立論しない; fact12 & assump1 -> int1: あの夕立は神経学的検査だ; void -> assump2: 以下のように仮定する。あの夕立は神経学的検査でない; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: この腫瘍内は立論する; int3 -> int4: この腫瘍内は後ろめたいかもしくは立論する; [assump2] & int4 -> hypothesis; __PROVED__
事実1: もし仮にこの腫瘍内は立論するということはないなら「あの夕立は後ろめたい」ということは確かだ
事実2: 仮にあの夕立が立論しないとしたらこの腫瘍内は後ろめたいかあるいはそれは神経学的検査だ
事実3: 「拡張しないかまたはメタな」ものがあるとするとあの夕立は残尿感である
事実4: 「どれもこれもは拡張しないかあるいはそれはメタだ」ということは事実である
事実5: あの夕立は後ろめたい
事実6: 「この腫瘍内はサーチしない」ということは成り立つ
事実7: あの夕立は迎撃しない
事実8: あの夕立は荒々しいということはない
事実9: あの夕立は立論しない
事実10: もし仮に「あの夕立は神経学的検査だ」ということは本当ならこの腫瘍内は後ろめたいか立論する
事実11: 「この腫瘍内は立論する」ということは本当ならばあの夕立は神経学的検査である
事実12: この腫瘍内が立論しないとするとあの夕立は神経学的検査である
事実13: もしなにかは残尿感だとすると「後ろめたい」ということは成り立つ

仮説: もし仮にあの夕立が神経学的検査でないとするとこの腫瘍内は後ろめたいか立論する
1. 仮定1: 以下のように仮定する。この腫瘍内は立論しない
2. 事実12と仮定1から、推論1: "あの夕立は神経学的検査だ"が導かれる
3. 仮定2: 以下のように仮定する。あの夕立は神経学的検査でない
4. 推論1と仮定2から、推論2: "これは矛盾である"が導かれる
5. [仮定1]と推論2から、推論3: "この腫瘍内は立論する"が導かれる
6. 推論3から、推論4: "この腫瘍内は後ろめたいかもしくは立論する"が導かれる
7. [仮定2]と推論4から、仮説が導かれる

よって、仮説が証明されました。