「もしもあのハーフコートは棲息地であるとすると「この電荷密度波は広ーくないしその上御手伝いしない」ということは成り立たない」ということは事実でない
fact1: 何らかのものは先祖様であるなら「あの福祉行政は不審がらないが装着する」ということは成り立たない fact2: 仮にこの鬱病が世知辛くないとするとこの主催旅行会社は重層化するしそれは多角化である fact3: もしもあのハーフコートは研ぎ澄まさないとすると「この電荷密度波は御手伝いしない」ということは成り立つ fact4: この主催旅行会社は多角化であるとすれば先祖様だ fact5: 「「世知辛くておまけに良い」ということは間違いである」ものはある fact6: 仮に「「「不審がらないし装着する」ということは正しい」ということは成り立たない」物があるとすればあのハーフコートは研ぎ澄まさない fact7: もしも「「世知辛くて更に良い」ということは事実と異なる」物があるとしたらこの鬱病は世知辛くない fact8: 仮にあのハーフコートは基礎疾患でないとしたら「御手伝いしなくて棲息地でない」ということは誤りだ fact9: この電荷密度波はほっつけである fact10: 仮に何かは御手伝いしないとしたら「「それが棲息地だし基礎疾患でない」ということは真実である」ということは偽だ fact11: もし仮にとあるものは基礎疾患だということはないとすると「広ーくないし加えて御手伝いしない」ということは事実でない fact12: あのハーフコートは棲息地だとすると「この電荷密度波は広ーくない一方でそれは御手伝いする」ということは成り立たない fact13: もし仮にあのハーフコートは広ーいなら「この電荷密度波は棲息地だということはない」ということは成り立つ fact14: もしこの電荷密度波が基礎疾患ならあのハーフコートは棲息地でない fact15: もし仮にあのハーフコートは基礎疾患でないとすると「棲息地でないしさらに広ーい」ということは嘘だ
void -> assump2: 以下のように仮定する。この電荷密度波は基礎疾患だ; fact14 & assump2 -> int1: あのハーフコートは棲息地でない; void -> assump1: 以下のように仮定する。あのハーフコートは棲息地である; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: 「この電荷密度波は基礎疾患でない」ということは正しい; fact11 -> int4: この電荷密度波は基礎疾患だということはないなら「広ーくないしさらに御手伝いしない」ということは偽だ; int3 & int4 -> int5: 「この電荷密度波は広ーくないし御手伝いしない」ということは成り立たない; [assump1] & int5 -> hypothesis;
あのビバークは広ーい
fact21 -> int6: この電荷密度波は御手伝いするということはないとすると「棲息地だがしかし基礎疾患でない」ということは誤っている; fact20 & fact17 -> int7: この鬱病は世知辛くない; fact18 & int7 -> int8: この主催旅行会社は重層化するしおまけに多角化だ; int8 -> int9: 「この主催旅行会社は多角化だ」ということは本当だ; fact19 & int9 -> int10: この主催旅行会社は先祖様だ; int10 -> int11: 「先祖様な」ものはある; int11 & fact23 -> int12: 「あの福祉行政は不審がらないけれどそれは装着する」ということは成り立たない; int12 -> int13: 「「不審がるということはないが装着する」ということは誤りな」物はある; int13 & fact16 -> int14: あのハーフコートは研ぎ澄まさない; fact22 & int14 -> int15: 「この電荷密度波は御手伝いしない」ということは嘘でない; int6 & int15 -> int16: 「この電荷密度波は棲息地であるがしかしそれは基礎疾患でない」ということは間違っている; int16 -> int17: 「「棲息地だけど基礎疾患でない」ということは成り立たない」ものはある;
$facts$ = fact1: 何らかのものは先祖様であるなら「あの福祉行政は不審がらないが装着する」ということは成り立たない fact2: 仮にこの鬱病が世知辛くないとするとこの主催旅行会社は重層化するしそれは多角化である fact3: もしもあのハーフコートは研ぎ澄まさないとすると「この電荷密度波は御手伝いしない」ということは成り立つ fact4: この主催旅行会社は多角化であるとすれば先祖様だ fact5: 「「世知辛くておまけに良い」ということは間違いである」ものはある fact6: 仮に「「「不審がらないし装着する」ということは正しい」ということは成り立たない」物があるとすればあのハーフコートは研ぎ澄まさない fact7: もしも「「世知辛くて更に良い」ということは事実と異なる」物があるとしたらこの鬱病は世知辛くない fact8: 仮にあのハーフコートは基礎疾患でないとしたら「御手伝いしなくて棲息地でない」ということは誤りだ fact9: この電荷密度波はほっつけである fact10: 仮に何かは御手伝いしないとしたら「「それが棲息地だし基礎疾患でない」ということは真実である」ということは偽だ fact11: もし仮にとあるものは基礎疾患だということはないとすると「広ーくないし加えて御手伝いしない」ということは事実でない fact12: あのハーフコートは棲息地だとすると「この電荷密度波は広ーくない一方でそれは御手伝いする」ということは成り立たない fact13: もし仮にあのハーフコートは広ーいなら「この電荷密度波は棲息地だということはない」ということは成り立つ fact14: もしこの電荷密度波が基礎疾患ならあのハーフコートは棲息地でない fact15: もし仮にあのハーフコートは基礎疾患でないとすると「棲息地でないしさらに広ーい」ということは嘘だ ; $hypothesis$ = 「もしもあのハーフコートは棲息地であるとすると「この電荷密度波は広ーくないしその上御手伝いしない」ということは成り立たない」ということは事実でない ; $proof$ = 
void -> assump2: 以下のように仮定する。この電荷密度波は基礎疾患だ; fact14 & assump2 -> int1: あのハーフコートは棲息地でない; void -> assump1: 以下のように仮定する。あのハーフコートは棲息地である; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: 「この電荷密度波は基礎疾患でない」ということは正しい; fact11 -> int4: この電荷密度波は基礎疾患だということはないなら「広ーくないしさらに御手伝いしない」ということは偽だ; int3 & int4 -> int5: 「この電荷密度波は広ーくないし御手伝いしない」ということは成り立たない; [assump1] & int5 -> hypothesis; __DISPROVED__
事実1: 何らかのものは先祖様であるなら「あの福祉行政は不審がらないが装着する」ということは成り立たない
事実2: 仮にこの鬱病が世知辛くないとするとこの主催旅行会社は重層化するしそれは多角化である
事実3: もしもあのハーフコートは研ぎ澄まさないとすると「この電荷密度波は御手伝いしない」ということは成り立つ
事実4: この主催旅行会社は多角化であるとすれば先祖様だ
事実5: 「「世知辛くておまけに良い」ということは間違いである」ものはある
事実6: 仮に「「「不審がらないし装着する」ということは正しい」ということは成り立たない」物があるとすればあのハーフコートは研ぎ澄まさない
事実7: もしも「「世知辛くて更に良い」ということは事実と異なる」物があるとしたらこの鬱病は世知辛くない
事実8: 仮にあのハーフコートは基礎疾患でないとしたら「御手伝いしなくて棲息地でない」ということは誤りだ
事実9: この電荷密度波はほっつけである
事実10: 仮に何かは御手伝いしないとしたら「「それが棲息地だし基礎疾患でない」ということは真実である」ということは偽だ
事実11: もし仮にとあるものは基礎疾患だということはないとすると「広ーくないし加えて御手伝いしない」ということは事実でない
事実12: あのハーフコートは棲息地だとすると「この電荷密度波は広ーくない一方でそれは御手伝いする」ということは成り立たない
事実13: もし仮にあのハーフコートは広ーいなら「この電荷密度波は棲息地だということはない」ということは成り立つ
事実14: もしこの電荷密度波が基礎疾患ならあのハーフコートは棲息地でない
事実15: もし仮にあのハーフコートは基礎疾患でないとすると「棲息地でないしさらに広ーい」ということは嘘だ

仮説: 「もしもあのハーフコートは棲息地であるとすると「この電荷密度波は広ーくないしその上御手伝いしない」ということは成り立たない」ということは事実でない
1. 仮定2: 以下のように仮定する。この電荷密度波は基礎疾患だ
2. 事実14と仮定2から、推論1: "あのハーフコートは棲息地でない"が導かれる
3. 仮定1: 以下のように仮定する。あのハーフコートは棲息地である
4. 推論1と仮定1から、推論2: "これは矛盾である"が導かれる
5. [仮定2]と推論2から、推論3: "「この電荷密度波は基礎疾患でない」ということは正しい"が導かれる
6. 事実11から、推論4: "この電荷密度波は基礎疾患だということはないなら「広ーくないしさらに御手伝いしない」ということは偽だ"が導かれる
7. 推論3と推論4から、推論5: "「この電荷密度波は広ーくないし御手伝いしない」ということは成り立たない"が導かれる
8. [仮定1]と推論5から、仮説が否定される

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