そのゴリラは萎むということはない
fact1: 仮に「この湊遺跡はいじらしくない」ということは間違いだということはないとすれば見付け易いかあるいはそれはピッタでない fact2: この御仲間が発育しないかまたはそれが天日干しでないかあるいはどちらもだとするとこのシバ像は鷲掴まない fact3: 「このシバ像は出し難いということはない」ということは真実であるならこの御仲間は出し難くない fact4: もしあの間欠跛行が出し難いとするとそのゴリラは萎む fact5: 仮にこのハワード・ダンスタンが所らしくないとしたらその度肝はウエディングであるかもしくは軟申す fact6: あの間欠跛行が免れ難くないとしたらそのゴリラは萎む fact7: すべては鷲掴む fact8: もし仮に「あのＣオブは免れ難くない」ということは本当であるとするとあの間欠跛行は出し難いか免れ難くないか両方ともだ fact9: もし「なにがしかの物は鷲掴むし免れ難い」ということは成り立たないならばそれは汚れ難くない fact10: この湊遺跡はいじらしくない fact11: この御仲間は出し難くないとすれば「この図書館訪問は鷲掴むししかもそれは免れ難い」ということは誤っている fact12: もし仮にあのＣオブが惚れ直さないとすればこのシバ像は出し難くてそれは石油エネルギーだ fact13: もしあの間欠跛行は惨禍だということはないならば「あのＣオブは崩し易くないけれどそれは検出器だ」ということは成り立たない fact14: もし仮にこの湊遺跡が見付け易いかまたはピッタでないかあるいはどちらもならばこのハワード・ダンスタンは所らしくない fact15: もしもある物が軟申さないとすると惨禍でなくてまたそれは経常費用でない fact16: 「なにがしかのものは崩し易くないけど検出器だ」ということは成り立たないならば清し fact17: もし仮にその度肝が軟申すとしたらあの間欠跛行は軟申すということはない fact18: 清し物は惚れ直さないけど日本軍人だ fact19: もし「この御仲間は発育しないかまたはそれは天日干しでないか両方である」ということは真実でないとするとあのＣオブは免れ難くない fact20: もしその度肝がウエディングだとすればあの間欠跛行は軟申さない fact21: このシバ像は出し難いなら「この御仲間は鷲掴む一方でそれは免れ難くない」ということは間違っている
void -> assump1: 以下のように仮定する。この御仲間は発育しないかまたはそれは天日干しでないかまたは両方ともだ; fact2 & assump1 -> int1: このシバ像は鷲掴まない; fact7 -> int2: このシバ像は鷲掴む; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「この御仲間は発育しないかもしくは天日干しでないかあるいは両方だ」ということは誤りだ; int4 & fact19 -> int5: あのＣオブは免れ難くない; int5 & fact8 -> int6: あの間欠跛行は出し難いかまたはそれは免れ難くない; int6 & fact4 & fact6 -> hypothesis;
この図書館訪問は萎まないか汚れ難いということはないかまたは両方である
fact22 -> int7: もし「この図書館訪問は鷲掴むし免れ難い」ということは事実と異なるとすると「それは汚れ難くない」ということは真実だ;
$facts$ = fact1: 仮に「この湊遺跡はいじらしくない」ということは間違いだということはないとすれば見付け易いかあるいはそれはピッタでない fact2: この御仲間が発育しないかまたはそれが天日干しでないかあるいはどちらもだとするとこのシバ像は鷲掴まない fact3: 「このシバ像は出し難いということはない」ということは真実であるならこの御仲間は出し難くない fact4: もしあの間欠跛行が出し難いとするとそのゴリラは萎む fact5: 仮にこのハワード・ダンスタンが所らしくないとしたらその度肝はウエディングであるかもしくは軟申す fact6: あの間欠跛行が免れ難くないとしたらそのゴリラは萎む fact7: すべては鷲掴む fact8: もし仮に「あのＣオブは免れ難くない」ということは本当であるとするとあの間欠跛行は出し難いか免れ難くないか両方ともだ fact9: もし「なにがしかの物は鷲掴むし免れ難い」ということは成り立たないならばそれは汚れ難くない fact10: この湊遺跡はいじらしくない fact11: この御仲間は出し難くないとすれば「この図書館訪問は鷲掴むししかもそれは免れ難い」ということは誤っている fact12: もし仮にあのＣオブが惚れ直さないとすればこのシバ像は出し難くてそれは石油エネルギーだ fact13: もしあの間欠跛行は惨禍だということはないならば「あのＣオブは崩し易くないけれどそれは検出器だ」ということは成り立たない fact14: もし仮にこの湊遺跡が見付け易いかまたはピッタでないかあるいはどちらもならばこのハワード・ダンスタンは所らしくない fact15: もしもある物が軟申さないとすると惨禍でなくてまたそれは経常費用でない fact16: 「なにがしかのものは崩し易くないけど検出器だ」ということは成り立たないならば清し fact17: もし仮にその度肝が軟申すとしたらあの間欠跛行は軟申すということはない fact18: 清し物は惚れ直さないけど日本軍人だ fact19: もし「この御仲間は発育しないかまたはそれは天日干しでないか両方である」ということは真実でないとするとあのＣオブは免れ難くない fact20: もしその度肝がウエディングだとすればあの間欠跛行は軟申さない fact21: このシバ像は出し難いなら「この御仲間は鷲掴む一方でそれは免れ難くない」ということは間違っている ; $hypothesis$ = そのゴリラは萎むということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。この御仲間は発育しないかまたはそれは天日干しでないかまたは両方ともだ; fact2 & assump1 -> int1: このシバ像は鷲掴まない; fact7 -> int2: このシバ像は鷲掴む; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「この御仲間は発育しないかもしくは天日干しでないかあるいは両方だ」ということは誤りだ; int4 & fact19 -> int5: あのＣオブは免れ難くない; int5 & fact8 -> int6: あの間欠跛行は出し難いかまたはそれは免れ難くない; int6 & fact4 & fact6 -> hypothesis; __DISPROVED__
事実1: 仮に「この湊遺跡はいじらしくない」ということは間違いだということはないとすれば見付け易いかあるいはそれはピッタでない
事実2: この御仲間が発育しないかまたはそれが天日干しでないかあるいはどちらもだとするとこのシバ像は鷲掴まない
事実3: 「このシバ像は出し難いということはない」ということは真実であるならこの御仲間は出し難くない
事実4: もしあの間欠跛行が出し難いとするとそのゴリラは萎む
事実5: 仮にこのハワード・ダンスタンが所らしくないとしたらその度肝はウエディングであるかもしくは軟申す
事実6: あの間欠跛行が免れ難くないとしたらそのゴリラは萎む
事実7: すべては鷲掴む
事実8: もし仮に「あのＣオブは免れ難くない」ということは本当であるとするとあの間欠跛行は出し難いか免れ難くないか両方ともだ
事実9: もし「なにがしかの物は鷲掴むし免れ難い」ということは成り立たないならばそれは汚れ難くない
事実10: この湊遺跡はいじらしくない
事実11: この御仲間は出し難くないとすれば「この図書館訪問は鷲掴むししかもそれは免れ難い」ということは誤っている
事実12: もし仮にあのＣオブが惚れ直さないとすればこのシバ像は出し難くてそれは石油エネルギーだ
事実13: もしあの間欠跛行は惨禍だということはないならば「あのＣオブは崩し易くないけれどそれは検出器だ」ということは成り立たない
事実14: もし仮にこの湊遺跡が見付け易いかまたはピッタでないかあるいはどちらもならばこのハワード・ダンスタンは所らしくない
事実15: もしもある物が軟申さないとすると惨禍でなくてまたそれは経常費用でない
事実16: 「なにがしかのものは崩し易くないけど検出器だ」ということは成り立たないならば清し
事実17: もし仮にその度肝が軟申すとしたらあの間欠跛行は軟申すということはない
事実18: 清し物は惚れ直さないけど日本軍人だ
事実19: もし「この御仲間は発育しないかまたはそれは天日干しでないか両方である」ということは真実でないとするとあのＣオブは免れ難くない
事実20: もしその度肝がウエディングだとすればあの間欠跛行は軟申さない
事実21: このシバ像は出し難いなら「この御仲間は鷲掴む一方でそれは免れ難くない」ということは間違っている

仮説: そのゴリラは萎むということはない
1. 仮定1: 以下のように仮定する。この御仲間は発育しないかまたはそれは天日干しでないかまたは両方ともだ
2. 事実2と仮定1から、推論1: "このシバ像は鷲掴まない"が導かれる
3. 事実7から、推論2: "このシバ像は鷲掴む"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「この御仲間は発育しないかもしくは天日干しでないかあるいは両方だ」ということは誤りだ"が導かれる
6. 推論4と事実19から、推論5: "あのＣオブは免れ難くない"が導かれる
7. 推論5と事実8から、推論6: "あの間欠跛行は出し難いかまたはそれは免れ難くない"が導かれる
8. 推論6と事実4と事実6から、仮説が否定される

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