この取り消し後は堪え難い
fact1: 仮にこのパウンドは起き難くないかもしくは家内安全だということはないかまたはどちらもだとすれば「そのパーセルデータは漢字入力でない」ということは成り立つ fact2: もしもどでかくない物が訝しいならそれは立て難いということはない fact3: もし仮にそのパーセルデータが訝しくないとすればあの重心位置は起き難いかまたはそれは家内安全であるかまたは両方ともである fact4: 仮にこのパウンドがどでかくないとするとこの所蔵先は漢字入力でない fact5: もし仮にそのパーセルデータはヒルナミンだとすると「それは立て難い」ということは確かだ fact6: そのパーセルデータが訝しいしおまけに立て難いとしたらこのパウンドはどでかくない fact7: そのパーセルデータはヒルナミンだ fact8: もし仮にそのファイル形式が進み易くないとしたらこの所蔵先は漢字入力で狡っ辛い fact9: その社会党左派は危険性・蓋然性である一方で進み易いということはない fact10: もし仮にあの重心位置が家内安全であるとすればあの取り消し後は堪え難い fact11: もし仮に「あの重心位置は起き難い」ということは成り立つとすれば「この取り消し後は堪え難い」ということは成り立つ fact12: もしもそのパーセルデータが漢字入力でないとするとあの自然光はどでかくないけれど訝しい fact13: その社会党左派が危険性・蓋然性だ一方でそれが進み易くないとすればあのファイル形式は進み易くない
fact5 & fact7 -> int1: そのパーセルデータは立て難い; void -> assump1: 以下のように仮定する。そのパーセルデータは訝しい; int1 & assump1 -> int2: そのパーセルデータは訝しくて立て難い; int2 & fact6 -> int3: このパウンドはどでかくない; int3 & fact4 -> int4: この所蔵先は漢字入力でない; fact13 & fact9 -> int5: そのファイル形式は進み易くない; int5 & fact8 -> int6: この所蔵先は漢字入力だしさらに狡っ辛い; int6 -> int7: この所蔵先は漢字入力だ; int4 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: そのパーセルデータは訝しくない; int9 & fact3 -> int10: あの重心位置は起き難いか家内安全であるかまたは両方ともだ; int10 & fact11 & fact10 -> hypothesis;
あの自然光は堪え難い
fact15 -> int11: 仮にあの自然光はどでかくないがしかし訝しいならば「それは立て難くない」ということは確かだ;
$facts$ = fact1: 仮にこのパウンドは起き難くないかもしくは家内安全だということはないかまたはどちらもだとすれば「そのパーセルデータは漢字入力でない」ということは成り立つ fact2: もしもどでかくない物が訝しいならそれは立て難いということはない fact3: もし仮にそのパーセルデータが訝しくないとすればあの重心位置は起き難いかまたはそれは家内安全であるかまたは両方ともである fact4: 仮にこのパウンドがどでかくないとするとこの所蔵先は漢字入力でない fact5: もし仮にそのパーセルデータはヒルナミンだとすると「それは立て難い」ということは確かだ fact6: そのパーセルデータが訝しいしおまけに立て難いとしたらこのパウンドはどでかくない fact7: そのパーセルデータはヒルナミンだ fact8: もし仮にそのファイル形式が進み易くないとしたらこの所蔵先は漢字入力で狡っ辛い fact9: その社会党左派は危険性・蓋然性である一方で進み易いということはない fact10: もし仮にあの重心位置が家内安全であるとすればあの取り消し後は堪え難い fact11: もし仮に「あの重心位置は起き難い」ということは成り立つとすれば「この取り消し後は堪え難い」ということは成り立つ fact12: もしもそのパーセルデータが漢字入力でないとするとあの自然光はどでかくないけれど訝しい fact13: その社会党左派が危険性・蓋然性だ一方でそれが進み易くないとすればあのファイル形式は進み易くない ; $hypothesis$ = この取り消し後は堪え難い ; $proof$ = 
fact5 & fact7 -> int1: そのパーセルデータは立て難い; void -> assump1: 以下のように仮定する。そのパーセルデータは訝しい; int1 & assump1 -> int2: そのパーセルデータは訝しくて立て難い; int2 & fact6 -> int3: このパウンドはどでかくない; int3 & fact4 -> int4: この所蔵先は漢字入力でない; fact13 & fact9 -> int5: そのファイル形式は進み易くない; int5 & fact8 -> int6: この所蔵先は漢字入力だしさらに狡っ辛い; int6 -> int7: この所蔵先は漢字入力だ; int4 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: そのパーセルデータは訝しくない; int9 & fact3 -> int10: あの重心位置は起き難いか家内安全であるかまたは両方ともだ; int10 & fact11 & fact10 -> hypothesis; __PROVED__
事実1: 仮にこのパウンドは起き難くないかもしくは家内安全だということはないかまたはどちらもだとすれば「そのパーセルデータは漢字入力でない」ということは成り立つ
事実2: もしもどでかくない物が訝しいならそれは立て難いということはない
事実3: もし仮にそのパーセルデータが訝しくないとすればあの重心位置は起き難いかまたはそれは家内安全であるかまたは両方ともである
事実4: 仮にこのパウンドがどでかくないとするとこの所蔵先は漢字入力でない
事実5: もし仮にそのパーセルデータはヒルナミンだとすると「それは立て難い」ということは確かだ
事実6: そのパーセルデータが訝しいしおまけに立て難いとしたらこのパウンドはどでかくない
事実7: そのパーセルデータはヒルナミンだ
事実8: もし仮にそのファイル形式が進み易くないとしたらこの所蔵先は漢字入力で狡っ辛い
事実9: その社会党左派は危険性・蓋然性である一方で進み易いということはない
事実10: もし仮にあの重心位置が家内安全であるとすればあの取り消し後は堪え難い
事実11: もし仮に「あの重心位置は起き難い」ということは成り立つとすれば「この取り消し後は堪え難い」ということは成り立つ
事実12: もしもそのパーセルデータが漢字入力でないとするとあの自然光はどでかくないけれど訝しい
事実13: その社会党左派が危険性・蓋然性だ一方でそれが進み易くないとすればあのファイル形式は進み易くない

仮説: この取り消し後は堪え難い
1. 事実5と事実7から、推論1: "そのパーセルデータは立て難い"が導かれる
2. 仮定1: 以下のように仮定する。そのパーセルデータは訝しい
3. 推論1と仮定1から、推論2: "そのパーセルデータは訝しくて立て難い"が導かれる
4. 推論2と事実6から、推論3: "このパウンドはどでかくない"が導かれる
5. 推論3と事実4から、推論4: "この所蔵先は漢字入力でない"が導かれる
6. 事実13と事実9から、推論5: "そのファイル形式は進み易くない"が導かれる
7. 推論5と事実8から、推論6: "この所蔵先は漢字入力だしさらに狡っ辛い"が導かれる
8. 推論6から、推論7: "この所蔵先は漢字入力だ"が導かれる
9. 推論4と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "そのパーセルデータは訝しくない"が導かれる
11. 推論9と事実3から、推論10: "あの重心位置は起き難いか家内安全であるかまたは両方ともだ"が導かれる
12. 推論10と事実11と事実10から、仮説が導かれる

よって、仮説が証明されました。