仮にあの緩解者が巴半田であるとすればあの結核症は資金調達難だ
fact1: このリーチは分離し易いかもしくは浅くない fact2: 「あの結核症は構成し得るしおまけにそれは先取り出来る」ということは嘘だ fact3: もし巴半田は驚くということはないとしたら「それは構成し得る」ということは確かである fact4: 仮にこのリーチが構成し得るならあの結核症は浅いということはない fact5: あの緩解者は構成し得るなら「あの結核症は構成し得る一方で先取り出来ない」ということは間違っている fact6: もしもこのリーチは巴半田だけれど資金調達難でないならば分離し易い fact7: もし「このリーチは分離し易い」ということは事実だとするとあの緩解者は驚かない fact8: もしこのリーチが浅くないならあの緩解者は驚かない fact9: 仮に「何らかのものは構成し得るがしかし先取り出来ない」ということは間違いなら資金調達難だ
fact1 & fact7 & fact8 -> int1: あの緩解者は驚かない; void -> assump1: 以下のように仮定する。あの緩解者は巴半田である; int1 & assump1 -> int2: あの緩解者は巴半田であるけれど驚くということはない; fact3 -> int3: もし仮にあの緩解者が巴半田だがしかし驚かないならそれは構成し得る; int2 & int3 -> int4: あの緩解者は構成し得る; int4 & fact5 -> int5: 「あの結核症は構成し得るけれど先取り出来ない」ということは成り立たない; fact9 -> int6: 「「あの結核症は構成し得る一方で先取り出来ない」ということは確かだ」ということは成り立たないとすると「それは資金調達難だ」ということは事実である; int5 & int6 -> int7: あの結核症は資金調達難だ; [assump1] & int7 -> hypothesis;
$facts$ = fact1: このリーチは分離し易いかもしくは浅くない fact2: 「あの結核症は構成し得るしおまけにそれは先取り出来る」ということは嘘だ fact3: もし巴半田は驚くということはないとしたら「それは構成し得る」ということは確かである fact4: 仮にこのリーチが構成し得るならあの結核症は浅いということはない fact5: あの緩解者は構成し得るなら「あの結核症は構成し得る一方で先取り出来ない」ということは間違っている fact6: もしもこのリーチは巴半田だけれど資金調達難でないならば分離し易い fact7: もし「このリーチは分離し易い」ということは事実だとするとあの緩解者は驚かない fact8: もしこのリーチが浅くないならあの緩解者は驚かない fact9: 仮に「何らかのものは構成し得るがしかし先取り出来ない」ということは間違いなら資金調達難だ ; $hypothesis$ = 仮にあの緩解者が巴半田であるとすればあの結核症は資金調達難だ ; $proof$ = 
fact1 & fact7 & fact8 -> int1: あの緩解者は驚かない; void -> assump1: 以下のように仮定する。あの緩解者は巴半田である; int1 & assump1 -> int2: あの緩解者は巴半田であるけれど驚くということはない; fact3 -> int3: もし仮にあの緩解者が巴半田だがしかし驚かないならそれは構成し得る; int2 & int3 -> int4: あの緩解者は構成し得る; int4 & fact5 -> int5: 「あの結核症は構成し得るけれど先取り出来ない」ということは成り立たない; fact9 -> int6: 「「あの結核症は構成し得る一方で先取り出来ない」ということは確かだ」ということは成り立たないとすると「それは資金調達難だ」ということは事実である; int5 & int6 -> int7: あの結核症は資金調達難だ; [assump1] & int7 -> hypothesis; __PROVED__
事実1: このリーチは分離し易いかもしくは浅くない
事実2: 「あの結核症は構成し得るしおまけにそれは先取り出来る」ということは嘘だ
事実3: もし巴半田は驚くということはないとしたら「それは構成し得る」ということは確かである
事実4: 仮にこのリーチが構成し得るならあの結核症は浅いということはない
事実5: あの緩解者は構成し得るなら「あの結核症は構成し得る一方で先取り出来ない」ということは間違っている
事実6: もしもこのリーチは巴半田だけれど資金調達難でないならば分離し易い
事実7: もし「このリーチは分離し易い」ということは事実だとするとあの緩解者は驚かない
事実8: もしこのリーチが浅くないならあの緩解者は驚かない
事実9: 仮に「何らかのものは構成し得るがしかし先取り出来ない」ということは間違いなら資金調達難だ

仮説: 仮にあの緩解者が巴半田であるとすればあの結核症は資金調達難だ
1. 事実1と事実7と事実8から、推論1: "あの緩解者は驚かない"が導かれる
2. 仮定1: 以下のように仮定する。あの緩解者は巴半田である
3. 推論1と仮定1から、推論2: "あの緩解者は巴半田であるけれど驚くということはない"が導かれる
4. 事実3から、推論3: "もし仮にあの緩解者が巴半田だがしかし驚かないならそれは構成し得る"が導かれる
5. 推論2と推論3から、推論4: "あの緩解者は構成し得る"が導かれる
6. 推論4と事実5から、推論5: "「あの結核症は構成し得るけれど先取り出来ない」ということは成り立たない"が導かれる
7. 事実9から、推論6: "「「あの結核症は構成し得る一方で先取り出来ない」ということは確かだ」ということは成り立たないとすると「それは資金調達難だ」ということは事実である"が導かれる
8. 推論5と推論6から、推論7: "あの結核症は資金調達難だ"が導かれる
9. [仮定1]と推論7から、仮説が導かれる

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