「この収支内訳書はベンチャー立ち上げでない」ということは成り立つ
fact1: もし仮に何かは善男でないとすると日暮れ硯でない fact2: 「この待ち受けは氏子各町でないしおまけにそれは馴染み易くない」ということは成り立つ fact3: 「この体温は痛感するけれどそれは馴染み易くない」ということは成り立たない fact4: 「「氏子各町でないしおまけにウェブコンパニオンだ」ということは成り立つということはない」ものはある fact5: 「「五年生まれでないし更に活用し易くない」ということは偽な」物はある fact6: この待ち受けは善男でない fact7: なにがしかの物は痛感するということはないし馴染み易くない fact8: もしもその土木事務所は善男でないとすると「背腰筋でない」ということは誤っていない fact9: もしもなにかは日暮れ硯ならばその土木事務所は日暮れ硯であるかまたはそれは活用し易いかまたは両方だ fact10: この待ち受けは背腰筋でない fact11: 仮にこの待ち受けは背腰筋でないとすると「その土木事務所は日暮れ硯でそれに五年生まれだ」ということは偽であるということはない fact12: もし「「痛感しなくてその上馴染み易くない」ということは偽な」ものがあるならその土木事務所は善男でない fact13: 「「背腰筋でベンチャー立ち上げでない」ということは成り立つということはない」物はある fact14: もしもこの待ち受けは背腰筋でないとしたら「それは日暮れ硯でない」ということは成り立つ fact15: もし何かは痛感するということはないとすると活用し易い fact16: もし仮にその土木事務所がベンチャー立ち上げであるしおまけに善男だとしたらこの収支内訳書はベンチャー立ち上げでない fact17: 仮にこの体温が活用し易いとしたらこの収支内訳書はベンチャー立ち上げだ
void -> assump1: 以下のように仮定する。「この体温は痛感しなくて加えて馴染み易くない」ということは誤りだ; assump1 -> int1: 「「痛感しないし加えて馴染み易くない」ということは事実でない」物はある; int1 & fact12 -> int2: その土木事務所は善男でない; fact1 -> int3: もしその土木事務所は善男でないとしたら「日暮れ硯でない」ということは成り立つ; int2 & int3 -> int4: その土木事務所は日暮れ硯でない; fact11 & fact10 -> int5: その土木事務所は日暮れ硯で五年生まれである; int5 -> int6: その土木事務所は日暮れ硯だ; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: この体温は痛感しなくてまた馴染み易くない; int8 -> int9: この体温は痛感しない; fact15 -> int10: もし仮に「この体温は痛感しない」ということは本当だとすればそれは活用し易い; int9 & int10 -> int11: この体温は活用し易い; int11 & fact17 -> hypothesis;
この収支内訳書はベンチャー立ち上げだということはない
$facts$ = fact1: もし仮に何かは善男でないとすると日暮れ硯でない fact2: 「この待ち受けは氏子各町でないしおまけにそれは馴染み易くない」ということは成り立つ fact3: 「この体温は痛感するけれどそれは馴染み易くない」ということは成り立たない fact4: 「「氏子各町でないしおまけにウェブコンパニオンだ」ということは成り立つということはない」ものはある fact5: 「「五年生まれでないし更に活用し易くない」ということは偽な」物はある fact6: この待ち受けは善男でない fact7: なにがしかの物は痛感するということはないし馴染み易くない fact8: もしもその土木事務所は善男でないとすると「背腰筋でない」ということは誤っていない fact9: もしもなにかは日暮れ硯ならばその土木事務所は日暮れ硯であるかまたはそれは活用し易いかまたは両方だ fact10: この待ち受けは背腰筋でない fact11: 仮にこの待ち受けは背腰筋でないとすると「その土木事務所は日暮れ硯でそれに五年生まれだ」ということは偽であるということはない fact12: もし「「痛感しなくてその上馴染み易くない」ということは偽な」ものがあるならその土木事務所は善男でない fact13: 「「背腰筋でベンチャー立ち上げでない」ということは成り立つということはない」物はある fact14: もしもこの待ち受けは背腰筋でないとしたら「それは日暮れ硯でない」ということは成り立つ fact15: もし何かは痛感するということはないとすると活用し易い fact16: もし仮にその土木事務所がベンチャー立ち上げであるしおまけに善男だとしたらこの収支内訳書はベンチャー立ち上げでない fact17: 仮にこの体温が活用し易いとしたらこの収支内訳書はベンチャー立ち上げだ ; $hypothesis$ = 「この収支内訳書はベンチャー立ち上げでない」ということは成り立つ ; $proof$ = 
void -> assump1: 以下のように仮定する。「この体温は痛感しなくて加えて馴染み易くない」ということは誤りだ; assump1 -> int1: 「「痛感しないし加えて馴染み易くない」ということは事実でない」物はある; int1 & fact12 -> int2: その土木事務所は善男でない; fact1 -> int3: もしその土木事務所は善男でないとしたら「日暮れ硯でない」ということは成り立つ; int2 & int3 -> int4: その土木事務所は日暮れ硯でない; fact11 & fact10 -> int5: その土木事務所は日暮れ硯で五年生まれである; int5 -> int6: その土木事務所は日暮れ硯だ; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: この体温は痛感しなくてまた馴染み易くない; int8 -> int9: この体温は痛感しない; fact15 -> int10: もし仮に「この体温は痛感しない」ということは本当だとすればそれは活用し易い; int9 & int10 -> int11: この体温は活用し易い; int11 & fact17 -> hypothesis; __DISPROVED__
事実1: もし仮に何かは善男でないとすると日暮れ硯でない
事実2: 「この待ち受けは氏子各町でないしおまけにそれは馴染み易くない」ということは成り立つ
事実3: 「この体温は痛感するけれどそれは馴染み易くない」ということは成り立たない
事実4: 「「氏子各町でないしおまけにウェブコンパニオンだ」ということは成り立つということはない」ものはある
事実5: 「「五年生まれでないし更に活用し易くない」ということは偽な」物はある
事実6: この待ち受けは善男でない
事実7: なにがしかの物は痛感するということはないし馴染み易くない
事実8: もしもその土木事務所は善男でないとすると「背腰筋でない」ということは誤っていない
事実9: もしもなにかは日暮れ硯ならばその土木事務所は日暮れ硯であるかまたはそれは活用し易いかまたは両方だ
事実10: この待ち受けは背腰筋でない
事実11: 仮にこの待ち受けは背腰筋でないとすると「その土木事務所は日暮れ硯でそれに五年生まれだ」ということは偽であるということはない
事実12: もし「「痛感しなくてその上馴染み易くない」ということは偽な」ものがあるならその土木事務所は善男でない
事実13: 「「背腰筋でベンチャー立ち上げでない」ということは成り立つということはない」物はある
事実14: もしもこの待ち受けは背腰筋でないとしたら「それは日暮れ硯でない」ということは成り立つ
事実15: もし何かは痛感するということはないとすると活用し易い
事実16: もし仮にその土木事務所がベンチャー立ち上げであるしおまけに善男だとしたらこの収支内訳書はベンチャー立ち上げでない
事実17: 仮にこの体温が活用し易いとしたらこの収支内訳書はベンチャー立ち上げだ

仮説: 「この収支内訳書はベンチャー立ち上げでない」ということは成り立つ
1. 仮定1: 以下のように仮定する。「この体温は痛感しなくて加えて馴染み易くない」ということは誤りだ
2. 仮定1から、推論1: "「「痛感しないし加えて馴染み易くない」ということは事実でない」物はある"が導かれる
3. 推論1と事実12から、推論2: "その土木事務所は善男でない"が導かれる
4. 事実1から、推論3: "もしその土木事務所は善男でないとしたら「日暮れ硯でない」ということは成り立つ"が導かれる
5. 推論2と推論3から、推論4: "その土木事務所は日暮れ硯でない"が導かれる
6. 事実11と事実10から、推論5: "その土木事務所は日暮れ硯で五年生まれである"が導かれる
7. 推論5から、推論6: "その土木事務所は日暮れ硯だ"が導かれる
8. 推論4と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "この体温は痛感しなくてまた馴染み易くない"が導かれる
10. 推論8から、推論9: "この体温は痛感しない"が導かれる
11. 事実15から、推論10: "もし仮に「この体温は痛感しない」ということは本当だとすればそれは活用し易い"が導かれる
12. 推論9と推論10から、推論11: "この体温は活用し易い"が導かれる
13. 推論11と事実17から、仮説が否定される

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