あのソースファイルはアクセス出来ないかもしくは犯し難くないかあるいはどちらもだ
fact1: この関西人はアクセス出来るか所らしくない fact2: 「この関西人は縮こまるしイレギュラーである」ということは事実でない fact3: 「この関西人は止む無くてまた思想・信条である」ということは成り立つ fact4: もし仮にあの製本は米国流でないとすると歯冠修復だけど共しない fact5: あの製本はＺＺ一因子受容体アンタゴニストで歯冠修復だ fact6: この関西人は近付き難くないかもしくはイレギュラーであるかまたはどちらもである fact7: 「この関西人は共する一方でそれはイレギュラーでない」ということは事実と異なる fact8: 仮にこの関西人がイレギュラーでないとするとあのソースファイルはアクセス出来ないか犯し難くないか両方だ fact9: あのソースファイルはアクセス出来る一方で近付き難いということはない fact10: この関西人がＺＺ一因子受容体アンタゴニストであるししかもイレギュラーであるならばあの御仏は近付き難くない fact11: 「止む無しものはＺＺ一因子受容体アンタゴニストである」ということは確かだ fact12: 仮にその御仏は近付き難くないとすると「あの製本は歯冠修復であるけどそれは共しない」ということは成り立たない fact13: 仮にあるものがＺＺ一因子受容体アンタゴニストだとすれば犯し難い fact14: あの製本は歯冠修復だ fact15: この関西人は共しない fact16: あの製本は米国流でない fact17: あの民間資格はイレギュラーでない fact18: もしこの関西人が米国流でないとすればあの製本はＺＺ一因子受容体アンタゴニストでないかイレギュラーでないかもしくは両方である fact19: 仮にあの製本は一次案であるとするとそれはマッチする fact20: もし仮にあの製本が思想・信条でないとしたらこの関西人はイレギュラーでないかもしくは歯冠修復でない
fact3 -> int1: この関西人は止む無し; fact11 -> int2: 仮にこの関西人が止む無しならＺＺ一因子受容体アンタゴニストである; int1 & int2 -> int3: 「この関西人はＺＺ一因子受容体アンタゴニストである」ということは真実である; void -> assump1: 以下のように仮定する。この関西人はイレギュラーだ; int3 & assump1 -> int4: この関西人はＺＺ一因子受容体アンタゴニストであるしイレギュラーである; int4 & fact10 -> int5: 「その御仏は近付き難くない」ということは成り立つ; int5 & fact12 -> int6: 「あの製本が歯冠修復だけど共しない」ということは正しくない; fact4 & fact16 -> int7: あの製本は歯冠修復であるが共しない; int6 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: この関西人はイレギュラーであるということはない; int9 & fact8 -> hypothesis;
$facts$ = fact1: この関西人はアクセス出来るか所らしくない fact2: 「この関西人は縮こまるしイレギュラーである」ということは事実でない fact3: 「この関西人は止む無くてまた思想・信条である」ということは成り立つ fact4: もし仮にあの製本は米国流でないとすると歯冠修復だけど共しない fact5: あの製本はＺＺ一因子受容体アンタゴニストで歯冠修復だ fact6: この関西人は近付き難くないかもしくはイレギュラーであるかまたはどちらもである fact7: 「この関西人は共する一方でそれはイレギュラーでない」ということは事実と異なる fact8: 仮にこの関西人がイレギュラーでないとするとあのソースファイルはアクセス出来ないか犯し難くないか両方だ fact9: あのソースファイルはアクセス出来る一方で近付き難いということはない fact10: この関西人がＺＺ一因子受容体アンタゴニストであるししかもイレギュラーであるならばあの御仏は近付き難くない fact11: 「止む無しものはＺＺ一因子受容体アンタゴニストである」ということは確かだ fact12: 仮にその御仏は近付き難くないとすると「あの製本は歯冠修復であるけどそれは共しない」ということは成り立たない fact13: 仮にあるものがＺＺ一因子受容体アンタゴニストだとすれば犯し難い fact14: あの製本は歯冠修復だ fact15: この関西人は共しない fact16: あの製本は米国流でない fact17: あの民間資格はイレギュラーでない fact18: もしこの関西人が米国流でないとすればあの製本はＺＺ一因子受容体アンタゴニストでないかイレギュラーでないかもしくは両方である fact19: 仮にあの製本は一次案であるとするとそれはマッチする fact20: もし仮にあの製本が思想・信条でないとしたらこの関西人はイレギュラーでないかもしくは歯冠修復でない ; $hypothesis$ = あのソースファイルはアクセス出来ないかもしくは犯し難くないかあるいはどちらもだ ; $proof$ = 
fact3 -> int1: この関西人は止む無し; fact11 -> int2: 仮にこの関西人が止む無しならＺＺ一因子受容体アンタゴニストである; int1 & int2 -> int3: 「この関西人はＺＺ一因子受容体アンタゴニストである」ということは真実である; void -> assump1: 以下のように仮定する。この関西人はイレギュラーだ; int3 & assump1 -> int4: この関西人はＺＺ一因子受容体アンタゴニストであるしイレギュラーである; int4 & fact10 -> int5: 「その御仏は近付き難くない」ということは成り立つ; int5 & fact12 -> int6: 「あの製本が歯冠修復だけど共しない」ということは正しくない; fact4 & fact16 -> int7: あの製本は歯冠修復であるが共しない; int6 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: この関西人はイレギュラーであるということはない; int9 & fact8 -> hypothesis; __PROVED__
事実1: この関西人はアクセス出来るか所らしくない
事実2: 「この関西人は縮こまるしイレギュラーである」ということは事実でない
事実3: 「この関西人は止む無くてまた思想・信条である」ということは成り立つ
事実4: もし仮にあの製本は米国流でないとすると歯冠修復だけど共しない
事実5: あの製本はＺＺ一因子受容体アンタゴニストで歯冠修復だ
事実6: この関西人は近付き難くないかもしくはイレギュラーであるかまたはどちらもである
事実7: 「この関西人は共する一方でそれはイレギュラーでない」ということは事実と異なる
事実8: 仮にこの関西人がイレギュラーでないとするとあのソースファイルはアクセス出来ないか犯し難くないか両方だ
事実9: あのソースファイルはアクセス出来る一方で近付き難いということはない
事実10: この関西人がＺＺ一因子受容体アンタゴニストであるししかもイレギュラーであるならばあの御仏は近付き難くない
事実11: 「止む無しものはＺＺ一因子受容体アンタゴニストである」ということは確かだ
事実12: 仮にその御仏は近付き難くないとすると「あの製本は歯冠修復であるけどそれは共しない」ということは成り立たない
事実13: 仮にあるものがＺＺ一因子受容体アンタゴニストだとすれば犯し難い
事実14: あの製本は歯冠修復だ
事実15: この関西人は共しない
事実16: あの製本は米国流でない
事実17: あの民間資格はイレギュラーでない
事実18: もしこの関西人が米国流でないとすればあの製本はＺＺ一因子受容体アンタゴニストでないかイレギュラーでないかもしくは両方である
事実19: 仮にあの製本は一次案であるとするとそれはマッチする
事実20: もし仮にあの製本が思想・信条でないとしたらこの関西人はイレギュラーでないかもしくは歯冠修復でない

仮説: あのソースファイルはアクセス出来ないかもしくは犯し難くないかあるいはどちらもだ
1. 事実3から、推論1: "この関西人は止む無し"が導かれる
2. 事実11から、推論2: "仮にこの関西人が止む無しならＺＺ一因子受容体アンタゴニストである"が導かれる
3. 推論1と推論2から、推論3: "「この関西人はＺＺ一因子受容体アンタゴニストである」ということは真実である"が導かれる
4. 仮定1: 以下のように仮定する。この関西人はイレギュラーだ
5. 推論3と仮定1から、推論4: "この関西人はＺＺ一因子受容体アンタゴニストであるしイレギュラーである"が導かれる
6. 推論4と事実10から、推論5: "「その御仏は近付き難くない」ということは成り立つ"が導かれる
7. 推論5と事実12から、推論6: "「あの製本が歯冠修復だけど共しない」ということは正しくない"が導かれる
8. 事実4と事実16から、推論7: "あの製本は歯冠修復であるが共しない"が導かれる
9. 推論6と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "この関西人はイレギュラーであるということはない"が導かれる
11. 推論9と事実8から、仮説が導かれる

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