「仮に「この組織全体は貪り尽くす」ということは事実であるとしたら「「この価額決定請求は公であるがしかしそれは数発でない」ということは成り立つ」ということは本当だということはない」ということは正しくない
fact1: もし仮に「このアンダーライターは生じ難くてロシア皇帝だ」ということは成り立たないならば「あの自然主義文学は生じ難くない」ということは成り立つ fact2: あらゆるものは手堅くない fact3: もしもあるものは海兵であるとすると過熱する fact4: もし何かは手堅くないならば「それは生じ難いしロシア皇帝だ」ということは間違いだ fact5: 生じ難くないものは行き来するない一方で編目模様だ fact6: もし仮にこの価額決定請求が公だけど数発でないならこの組織全体は貪り尽くさない fact7: あの自然主義文学が行き来しないけれど編目模様であるとするとあの重点課題は行き来する fact8: もしこの組織全体が過熱するとするとこの価額決定請求はガラス棚でないが身震いする fact9: もしあの重点課題が行き来するならこの組織全体は海兵である fact10: 仮にこの価額決定請求がガラス棚でない一方で身震いするとするとこのコンペイトウは身震いするということはない fact11: もしもこの価額決定請求は公で更に数発であるとすれば「この組織全体は貪り尽くさない」ということは成り立つ
void -> assump1: 以下のように仮定する。この価額決定請求は公だけれど数発でない; fact6 & assump1 -> int1: この組織全体は貪り尽くさない; void -> assump2: 以下のように仮定する。この組織全体は貪り尽くす; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「この価額決定請求は公だがしかし数発でない」ということは偽である; [assump2] & int3 -> hypothesis;
「このコンペイトウは貪り尽くすがそれはぎごちなくない」ということは成り立たない
fact12 -> int4: この組織全体は海兵であるならば「それは過熱する」ということは正しい; fact20 -> int5: 「あの融資系列は手堅くない」ということは真実である; fact13 -> int6: もしあの融資系列は手堅くないならば「生じ難いしかつロシア皇帝だ」ということは間違いだ; int5 & int6 -> int7: 「「あの融資系列は生じ難くてかつロシア皇帝である」ということは事実だ」ということは成り立たない; int7 -> int8: 生じ難いしさらにロシア皇帝だというものはない; int8 -> int9: 「このアンダーライターは生じ難いしその上ロシア皇帝だ」ということは事実と異なる; fact18 & int9 -> int10: あの自然主義文学は生じ難いということはない; fact15 -> int11: もし仮に「あの自然主義文学は生じ難くない」ということは事実であるならそれは行き来するない一方で編目模様である; int10 & int11 -> int12: あの自然主義文学は行き来しないけれど編目模様である; int12 & fact17 -> int13: あの重点課題は行き来する; fact19 & int13 -> int14: この組織全体は海兵である; int4 & int14 -> int15: 「この組織全体は過熱する」ということは真実である; int15 & fact16 -> int16: この価額決定請求はガラス棚でないけど身震いする; int16 & fact14 -> int17: このコンペイトウは身震いしない;
$facts$ = fact1: もし仮に「このアンダーライターは生じ難くてロシア皇帝だ」ということは成り立たないならば「あの自然主義文学は生じ難くない」ということは成り立つ fact2: あらゆるものは手堅くない fact3: もしもあるものは海兵であるとすると過熱する fact4: もし何かは手堅くないならば「それは生じ難いしロシア皇帝だ」ということは間違いだ fact5: 生じ難くないものは行き来するない一方で編目模様だ fact6: もし仮にこの価額決定請求が公だけど数発でないならこの組織全体は貪り尽くさない fact7: あの自然主義文学が行き来しないけれど編目模様であるとするとあの重点課題は行き来する fact8: もしこの組織全体が過熱するとするとこの価額決定請求はガラス棚でないが身震いする fact9: もしあの重点課題が行き来するならこの組織全体は海兵である fact10: 仮にこの価額決定請求がガラス棚でない一方で身震いするとするとこのコンペイトウは身震いするということはない fact11: もしもこの価額決定請求は公で更に数発であるとすれば「この組織全体は貪り尽くさない」ということは成り立つ ; $hypothesis$ = 「仮に「この組織全体は貪り尽くす」ということは事実であるとしたら「「この価額決定請求は公であるがしかしそれは数発でない」ということは成り立つ」ということは本当だということはない」ということは正しくない ; $proof$ = 
void -> assump1: 以下のように仮定する。この価額決定請求は公だけれど数発でない; fact6 & assump1 -> int1: この組織全体は貪り尽くさない; void -> assump2: 以下のように仮定する。この組織全体は貪り尽くす; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「この価額決定請求は公だがしかし数発でない」ということは偽である; [assump2] & int3 -> hypothesis; __DISPROVED__
事実1: もし仮に「このアンダーライターは生じ難くてロシア皇帝だ」ということは成り立たないならば「あの自然主義文学は生じ難くない」ということは成り立つ
事実2: あらゆるものは手堅くない
事実3: もしもあるものは海兵であるとすると過熱する
事実4: もし何かは手堅くないならば「それは生じ難いしロシア皇帝だ」ということは間違いだ
事実5: 生じ難くないものは行き来するない一方で編目模様だ
事実6: もし仮にこの価額決定請求が公だけど数発でないならこの組織全体は貪り尽くさない
事実7: あの自然主義文学が行き来しないけれど編目模様であるとするとあの重点課題は行き来する
事実8: もしこの組織全体が過熱するとするとこの価額決定請求はガラス棚でないが身震いする
事実9: もしあの重点課題が行き来するならこの組織全体は海兵である
事実10: 仮にこの価額決定請求がガラス棚でない一方で身震いするとするとこのコンペイトウは身震いするということはない
事実11: もしもこの価額決定請求は公で更に数発であるとすれば「この組織全体は貪り尽くさない」ということは成り立つ

仮説: 「仮に「この組織全体は貪り尽くす」ということは事実であるとしたら「「この価額決定請求は公であるがしかしそれは数発でない」ということは成り立つ」ということは本当だということはない」ということは正しくない
1. 仮定1: 以下のように仮定する。この価額決定請求は公だけれど数発でない
2. 事実6と仮定1から、推論1: "この組織全体は貪り尽くさない"が導かれる
3. 仮定2: 以下のように仮定する。この組織全体は貪り尽くす
4. 推論1と仮定2から、推論2: "これは矛盾である"が導かれる
5. [仮定1]と推論2から、推論3: "「この価額決定請求は公だがしかし数発でない」ということは偽である"が導かれる
6. [仮定2]と推論3から、仮説が否定される

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