この漁獲物は大御心でない
fact1: この実施段階は選択し易い fact2: もしもあの超解像が審議しないとすればあの労働投下は大人し過ぎる fact3: もしあの超解像が攻守両面であるとするとこの四千字は選択し易い fact4: 何らかのものが審議するとすると攻守両面である fact5: もしもあの労働投下が選択し易いがしかしヒステリーであるということはないならばあの超解像は選択し易くない fact6: もし「何らかの物は齎し易くないかまたは忘れっぽくないかもしくは両方である」ということは成り立たないとしたらそれは月神だ fact7: この四千字が選択し易いとすればこの実施段階はヒステリーだ fact8: もし「あの労働投下はヒステリーでない」ということは成り立つとするとこの実施段階は十一月初旬であるしかつそれは大人し過ぎる fact9: この実施段階は態とらしくない fact10: もし仮にこの漁獲物が十一月初旬であるとするとあの労働投下は大御心だ fact11: この実施段階は大御心である fact12: 仮に「この実施段階は二十人余りだということはない」ということは成り立つとしたら「この四千字は齎し易くないか忘れっぽくないかあるいは両方である」ということは間違いである fact13: 仮にこの漁獲物が大人し過ぎないならばあの労働投下は大御心だ fact14: あの証明力は大御心である fact15: もしある物が選択し易くないとしたらそれは審議するしさらに攻守両面である fact16: 「もしもこの実施段階は態とらしくないならば「この実施段階は二十人余りでない」ということは本当だ」ということは真実である fact17: この四千字は再考するし大御心である fact18: 仮にあの超解像が審議しないとすればあの労働投下は十一月初旬だしそれに大人し過ぎる fact19: この四千字は十一月初旬である fact20: あの労働投下は大人し過ぎる fact21: もし「この実施段階はヒステリーだ」ということは誤っていないとすると「この漁獲物は大御心である」ということは真実である fact22: 「この四千字は審議する」ということは確かだとすればあの超解像は選択し易い fact23: あの労働投下は十一月初旬でない fact24: もしこの漁獲物が大人し過ぎるとするとあの労働投下は大御心だ fact25: 「この漁獲物は十一月初旬だ」ということは確かである
void -> assump1: 以下のように仮定する。あの超解像は審議するということはない; fact18 & assump1 -> int1: あの労働投下は十一月初旬であるしさらに大人し過ぎる; int1 -> int2: あの労働投下は十一月初旬だ; int2 & fact23 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの超解像は審議する; fact4 -> int5: もしあの超解像が審議するなら攻守両面である; int4 & int5 -> int6: あの超解像は攻守両面だ; int6 & fact3 -> int7: この四千字は選択し易い; int7 & fact7 -> int8: この実施段階はヒステリーだ; int8 & fact21 -> hypothesis;
この漁獲物は大御心でない
fact31 -> int9: あの超解像が選択し易くないならそれは審議するしさらにそれは攻守両面だ; fact28 -> int10: 「もしも「この四千字は齎し易くないか忘れっぽくないかまたはどちらもだ」ということは偽だとしたらこの四千字は月神である」ということは正しい; fact30 & fact26 -> int11: この実施段階は二十人余りであるということはない; fact27 & int11 -> int12: 「この四千字は齎し易いということはないかまたは忘れっぽくないかまたはどちらもである」ということは間違っている; int10 & int12 -> int13: この四千字は月神だ; int13 -> int14: 「月神な」ものはある;
$facts$ = fact1: この実施段階は選択し易い fact2: もしもあの超解像が審議しないとすればあの労働投下は大人し過ぎる fact3: もしあの超解像が攻守両面であるとするとこの四千字は選択し易い fact4: 何らかのものが審議するとすると攻守両面である fact5: もしもあの労働投下が選択し易いがしかしヒステリーであるということはないならばあの超解像は選択し易くない fact6: もし「何らかの物は齎し易くないかまたは忘れっぽくないかもしくは両方である」ということは成り立たないとしたらそれは月神だ fact7: この四千字が選択し易いとすればこの実施段階はヒステリーだ fact8: もし「あの労働投下はヒステリーでない」ということは成り立つとするとこの実施段階は十一月初旬であるしかつそれは大人し過ぎる fact9: この実施段階は態とらしくない fact10: もし仮にこの漁獲物が十一月初旬であるとするとあの労働投下は大御心だ fact11: この実施段階は大御心である fact12: 仮に「この実施段階は二十人余りだということはない」ということは成り立つとしたら「この四千字は齎し易くないか忘れっぽくないかあるいは両方である」ということは間違いである fact13: 仮にこの漁獲物が大人し過ぎないならばあの労働投下は大御心だ fact14: あの証明力は大御心である fact15: もしある物が選択し易くないとしたらそれは審議するしさらに攻守両面である fact16: 「もしもこの実施段階は態とらしくないならば「この実施段階は二十人余りでない」ということは本当だ」ということは真実である fact17: この四千字は再考するし大御心である fact18: 仮にあの超解像が審議しないとすればあの労働投下は十一月初旬だしそれに大人し過ぎる fact19: この四千字は十一月初旬である fact20: あの労働投下は大人し過ぎる fact21: もし「この実施段階はヒステリーだ」ということは誤っていないとすると「この漁獲物は大御心である」ということは真実である fact22: 「この四千字は審議する」ということは確かだとすればあの超解像は選択し易い fact23: あの労働投下は十一月初旬でない fact24: もしこの漁獲物が大人し過ぎるとするとあの労働投下は大御心だ fact25: 「この漁獲物は十一月初旬だ」ということは確かである ; $hypothesis$ = この漁獲物は大御心でない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの超解像は審議するということはない; fact18 & assump1 -> int1: あの労働投下は十一月初旬であるしさらに大人し過ぎる; int1 -> int2: あの労働投下は十一月初旬だ; int2 & fact23 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの超解像は審議する; fact4 -> int5: もしあの超解像が審議するなら攻守両面である; int4 & int5 -> int6: あの超解像は攻守両面だ; int6 & fact3 -> int7: この四千字は選択し易い; int7 & fact7 -> int8: この実施段階はヒステリーだ; int8 & fact21 -> hypothesis; __DISPROVED__
事実1: この実施段階は選択し易い
事実2: もしもあの超解像が審議しないとすればあの労働投下は大人し過ぎる
事実3: もしあの超解像が攻守両面であるとするとこの四千字は選択し易い
事実4: 何らかのものが審議するとすると攻守両面である
事実5: もしもあの労働投下が選択し易いがしかしヒステリーであるということはないならばあの超解像は選択し易くない
事実6: もし「何らかの物は齎し易くないかまたは忘れっぽくないかもしくは両方である」ということは成り立たないとしたらそれは月神だ
事実7: この四千字が選択し易いとすればこの実施段階はヒステリーだ
事実8: もし「あの労働投下はヒステリーでない」ということは成り立つとするとこの実施段階は十一月初旬であるしかつそれは大人し過ぎる
事実9: この実施段階は態とらしくない
事実10: もし仮にこの漁獲物が十一月初旬であるとするとあの労働投下は大御心だ
事実11: この実施段階は大御心である
事実12: 仮に「この実施段階は二十人余りだということはない」ということは成り立つとしたら「この四千字は齎し易くないか忘れっぽくないかあるいは両方である」ということは間違いである
事実13: 仮にこの漁獲物が大人し過ぎないならばあの労働投下は大御心だ
事実14: あの証明力は大御心である
事実15: もしある物が選択し易くないとしたらそれは審議するしさらに攻守両面である
事実16: 「もしもこの実施段階は態とらしくないならば「この実施段階は二十人余りでない」ということは本当だ」ということは真実である
事実17: この四千字は再考するし大御心である
事実18: 仮にあの超解像が審議しないとすればあの労働投下は十一月初旬だしそれに大人し過ぎる
事実19: この四千字は十一月初旬である
事実20: あの労働投下は大人し過ぎる
事実21: もし「この実施段階はヒステリーだ」ということは誤っていないとすると「この漁獲物は大御心である」ということは真実である
事実22: 「この四千字は審議する」ということは確かだとすればあの超解像は選択し易い
事実23: あの労働投下は十一月初旬でない
事実24: もしこの漁獲物が大人し過ぎるとするとあの労働投下は大御心だ
事実25: 「この漁獲物は十一月初旬だ」ということは確かである

仮説: この漁獲物は大御心でない
1. 仮定1: 以下のように仮定する。あの超解像は審議するということはない
2. 事実18と仮定1から、推論1: "あの労働投下は十一月初旬であるしさらに大人し過ぎる"が導かれる
3. 推論1から、推論2: "あの労働投下は十一月初旬だ"が導かれる
4. 推論2と事実23から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの超解像は審議する"が導かれる
6. 事実4から、推論5: "もしあの超解像が審議するなら攻守両面である"が導かれる
7. 推論4と推論5から、推論6: "あの超解像は攻守両面だ"が導かれる
8. 推論6と事実3から、推論7: "この四千字は選択し易い"が導かれる
9. 推論7と事実7から、推論8: "この実施段階はヒステリーだ"が導かれる
10. 推論8と事実21から、仮説が否定される

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