「あの国内改革は可愛らしくて加えて合計欄だ」ということは偽だ
fact1: あのクルージングはばあかしい fact2: もしあのクルージングは氏子達でないなら「合計欄であるしその上機能維持である」ということは確かでない fact3: あの国内改革はばあかしい fact4: あのクルージングは合計欄だ fact5: 「あのクルージングが寒いならあのクルージングはストゥーパである」ということは事実である fact6: 「機能維持は過ごし易い」ということは確かである fact7: あの国内改革は可愛らしいということはないならば「氏子達であるしかつばあかしかない」ということは成り立つということはない fact8: そのＨ因子は合計欄である fact9: 「あの国内改革は社会保険料控除だ一方でそれは給わない」ということは確かでない fact10: 「あの国内改革は寒くておまけに人間っぽい」ということは事実と異なる fact11: あのクルージングは機能維持であるしばあかしい fact12: もし「あの国内改革は寒いけれど人間っぽくない」ということは誤りだとすれば合計欄だ fact13: もしも何かはばあかしかないならば「人間っぽくて氏子達である」ということは間違いだ fact14: あの国内改革は氏子達である一方で出向かない fact15: とある物は出向かないとしたら「寒いが人間っぽいということはない」ということは成り立たない fact16: 「あの筋肉内注射は合計欄でない」ということは誤っている fact17: あの国内改革は出向かないならば「寒いし人間っぽい」ということは成り立つということはない fact18: もし仮にあのクルージングは機能維持でないとすると「あの国内改革は可愛らしいし加えて合計欄である」ということは偽だ fact19: 何らかのものが出向けばそれはばあかしい fact20: 仮にあのクルージングが過ごし易いとしたらあの国内改革は可愛らしい fact21: もしもあの国内改革が人間っぽいとすればそれは合計欄だ
fact11 -> int1: あのクルージングは機能維持である; fact6 -> int2: 仮に「あのクルージングは機能維持である」ということは確かであるなら過ごし易い; int1 & int2 -> int3: あのクルージングは過ごし易い; int3 & fact20 -> int4: あの国内改革は可愛らしい; fact15 -> int5: もしもあの国内改革は出向かないとすると「それは寒いがしかし人間っぽくない」ということは嘘だ; fact14 -> int6: あの国内改革は出向かない; int5 & int6 -> int7: 「あの国内改革は寒いけれどそれは人間っぽくない」ということは成り立たない; fact12 & int7 -> int8: あの国内改革は合計欄だ; int4 & int8 -> hypothesis;
「あの国内改革は可愛らしいしさらに合計欄だ」ということは成り立たない
$facts$ = fact1: あのクルージングはばあかしい fact2: もしあのクルージングは氏子達でないなら「合計欄であるしその上機能維持である」ということは確かでない fact3: あの国内改革はばあかしい fact4: あのクルージングは合計欄だ fact5: 「あのクルージングが寒いならあのクルージングはストゥーパである」ということは事実である fact6: 「機能維持は過ごし易い」ということは確かである fact7: あの国内改革は可愛らしいということはないならば「氏子達であるしかつばあかしかない」ということは成り立つということはない fact8: そのＨ因子は合計欄である fact9: 「あの国内改革は社会保険料控除だ一方でそれは給わない」ということは確かでない fact10: 「あの国内改革は寒くておまけに人間っぽい」ということは事実と異なる fact11: あのクルージングは機能維持であるしばあかしい fact12: もし「あの国内改革は寒いけれど人間っぽくない」ということは誤りだとすれば合計欄だ fact13: もしも何かはばあかしかないならば「人間っぽくて氏子達である」ということは間違いだ fact14: あの国内改革は氏子達である一方で出向かない fact15: とある物は出向かないとしたら「寒いが人間っぽいということはない」ということは成り立たない fact16: 「あの筋肉内注射は合計欄でない」ということは誤っている fact17: あの国内改革は出向かないならば「寒いし人間っぽい」ということは成り立つということはない fact18: もし仮にあのクルージングは機能維持でないとすると「あの国内改革は可愛らしいし加えて合計欄である」ということは偽だ fact19: 何らかのものが出向けばそれはばあかしい fact20: 仮にあのクルージングが過ごし易いとしたらあの国内改革は可愛らしい fact21: もしもあの国内改革が人間っぽいとすればそれは合計欄だ ; $hypothesis$ = 「あの国内改革は可愛らしくて加えて合計欄だ」ということは偽だ ; $proof$ = 
fact11 -> int1: あのクルージングは機能維持である; fact6 -> int2: 仮に「あのクルージングは機能維持である」ということは確かであるなら過ごし易い; int1 & int2 -> int3: あのクルージングは過ごし易い; int3 & fact20 -> int4: あの国内改革は可愛らしい; fact15 -> int5: もしもあの国内改革は出向かないとすると「それは寒いがしかし人間っぽくない」ということは嘘だ; fact14 -> int6: あの国内改革は出向かない; int5 & int6 -> int7: 「あの国内改革は寒いけれどそれは人間っぽくない」ということは成り立たない; fact12 & int7 -> int8: あの国内改革は合計欄だ; int4 & int8 -> hypothesis; __DISPROVED__
事実1: あのクルージングはばあかしい
事実2: もしあのクルージングは氏子達でないなら「合計欄であるしその上機能維持である」ということは確かでない
事実3: あの国内改革はばあかしい
事実4: あのクルージングは合計欄だ
事実5: 「あのクルージングが寒いならあのクルージングはストゥーパである」ということは事実である
事実6: 「機能維持は過ごし易い」ということは確かである
事実7: あの国内改革は可愛らしいということはないならば「氏子達であるしかつばあかしかない」ということは成り立つということはない
事実8: そのＨ因子は合計欄である
事実9: 「あの国内改革は社会保険料控除だ一方でそれは給わない」ということは確かでない
事実10: 「あの国内改革は寒くておまけに人間っぽい」ということは事実と異なる
事実11: あのクルージングは機能維持であるしばあかしい
事実12: もし「あの国内改革は寒いけれど人間っぽくない」ということは誤りだとすれば合計欄だ
事実13: もしも何かはばあかしかないならば「人間っぽくて氏子達である」ということは間違いだ
事実14: あの国内改革は氏子達である一方で出向かない
事実15: とある物は出向かないとしたら「寒いが人間っぽいということはない」ということは成り立たない
事実16: 「あの筋肉内注射は合計欄でない」ということは誤っている
事実17: あの国内改革は出向かないならば「寒いし人間っぽい」ということは成り立つということはない
事実18: もし仮にあのクルージングは機能維持でないとすると「あの国内改革は可愛らしいし加えて合計欄である」ということは偽だ
事実19: 何らかのものが出向けばそれはばあかしい
事実20: 仮にあのクルージングが過ごし易いとしたらあの国内改革は可愛らしい
事実21: もしもあの国内改革が人間っぽいとすればそれは合計欄だ

仮説: 「あの国内改革は可愛らしくて加えて合計欄だ」ということは偽だ
1. 事実11から、推論1: "あのクルージングは機能維持である"が導かれる
2. 事実6から、推論2: "仮に「あのクルージングは機能維持である」ということは確かであるなら過ごし易い"が導かれる
3. 推論1と推論2から、推論3: "あのクルージングは過ごし易い"が導かれる
4. 推論3と事実20から、推論4: "あの国内改革は可愛らしい"が導かれる
5. 事実15から、推論5: "もしもあの国内改革は出向かないとすると「それは寒いがしかし人間っぽくない」ということは嘘だ"が導かれる
6. 事実14から、推論6: "あの国内改革は出向かない"が導かれる
7. 推論5と推論6から、推論7: "「あの国内改革は寒いけれどそれは人間っぽくない」ということは成り立たない"が導かれる
8. 事実12と推論7から、推論8: "あの国内改革は合計欄だ"が導かれる
9. 推論4と推論8から、仮説が否定される

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