あの申請権は本業務だ
fact1: この患者数は動き難い fact2: もし仮にこの周辺光束は御見せするしかつ本業務であるならばそれはすばしこくない fact3: この周辺光束は伏せるし更にそれは砂泥だ fact4: もしこの周辺光束は動き難くて加えて軍馬だとしたらそれは元帥帽でない fact5: あの申請権は軍馬である fact6: 「この患者数は語形でそれは本業務だ」ということは嘘でない fact7: この藪椿は元帥帽でない fact8: あのスコーピオ号はすばしこい fact9: もしも軍馬が御見せすればこの患者数は入り易い fact10: もしも「御見せするしまた動き難い」物があればこの患者数は軍馬である fact11: 仮にこの周辺光束が本業務だとすればあの申請権は本業務だ fact12: 何らかの物は共鳴し易い fact13: もし仮にこの患者数は入り易いし元帥帽だとすればそれはすばしこくない fact14: なにがしかの物は住所地だ fact15: この患者数は元帥帽だし語形だ fact16: この周辺光束は軍馬だ fact17: もしもあの申請権が本業務であるとするとこの周辺光束は御見せする fact18: 「希釈するし泣き出す」ものがあるとすればあの周辺光束は商品である fact19: もしこの患者数が動き難いとするとそれはすばしこい fact20: この周辺光束は元帥帽でない
void -> assump1: 以下のように仮定する。あの申請権は本業務だ; fact17 & assump1 -> int1: この周辺光束は御見せする; int1 & fact16 -> int2: この周辺光束が軍馬だししかもそれは御見せする; int2 -> int3: 「軍馬だし加えて御見せする」ものはある; int3 & fact9 -> int4: この患者数は入り易い; fact15 -> int5: この患者数は元帥帽だ; int4 & int5 -> int6: この患者数は入り易いしその上元帥帽である; int6 & fact13 -> int7: この患者数はすばしこくない; fact1 & fact19 -> int8: この患者数はすばしこい; int7 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis;
あの申請権は本業務である
$facts$ = fact1: この患者数は動き難い fact2: もし仮にこの周辺光束は御見せするしかつ本業務であるならばそれはすばしこくない fact3: この周辺光束は伏せるし更にそれは砂泥だ fact4: もしこの周辺光束は動き難くて加えて軍馬だとしたらそれは元帥帽でない fact5: あの申請権は軍馬である fact6: 「この患者数は語形でそれは本業務だ」ということは嘘でない fact7: この藪椿は元帥帽でない fact8: あのスコーピオ号はすばしこい fact9: もしも軍馬が御見せすればこの患者数は入り易い fact10: もしも「御見せするしまた動き難い」物があればこの患者数は軍馬である fact11: 仮にこの周辺光束が本業務だとすればあの申請権は本業務だ fact12: 何らかの物は共鳴し易い fact13: もし仮にこの患者数は入り易いし元帥帽だとすればそれはすばしこくない fact14: なにがしかの物は住所地だ fact15: この患者数は元帥帽だし語形だ fact16: この周辺光束は軍馬だ fact17: もしもあの申請権が本業務であるとするとこの周辺光束は御見せする fact18: 「希釈するし泣き出す」ものがあるとすればあの周辺光束は商品である fact19: もしこの患者数が動き難いとするとそれはすばしこい fact20: この周辺光束は元帥帽でない ; $hypothesis$ = あの申請権は本業務だ ; $proof$ = 
void -> assump1: 以下のように仮定する。あの申請権は本業務だ; fact17 & assump1 -> int1: この周辺光束は御見せする; int1 & fact16 -> int2: この周辺光束が軍馬だししかもそれは御見せする; int2 -> int3: 「軍馬だし加えて御見せする」ものはある; int3 & fact9 -> int4: この患者数は入り易い; fact15 -> int5: この患者数は元帥帽だ; int4 & int5 -> int6: この患者数は入り易いしその上元帥帽である; int6 & fact13 -> int7: この患者数はすばしこくない; fact1 & fact19 -> int8: この患者数はすばしこい; int7 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis; __DISPROVED__
事実1: この患者数は動き難い
事実2: もし仮にこの周辺光束は御見せするしかつ本業務であるならばそれはすばしこくない
事実3: この周辺光束は伏せるし更にそれは砂泥だ
事実4: もしこの周辺光束は動き難くて加えて軍馬だとしたらそれは元帥帽でない
事実5: あの申請権は軍馬である
事実6: 「この患者数は語形でそれは本業務だ」ということは嘘でない
事実7: この藪椿は元帥帽でない
事実8: あのスコーピオ号はすばしこい
事実9: もしも軍馬が御見せすればこの患者数は入り易い
事実10: もしも「御見せするしまた動き難い」物があればこの患者数は軍馬である
事実11: 仮にこの周辺光束が本業務だとすればあの申請権は本業務だ
事実12: 何らかの物は共鳴し易い
事実13: もし仮にこの患者数は入り易いし元帥帽だとすればそれはすばしこくない
事実14: なにがしかの物は住所地だ
事実15: この患者数は元帥帽だし語形だ
事実16: この周辺光束は軍馬だ
事実17: もしもあの申請権が本業務であるとするとこの周辺光束は御見せする
事実18: 「希釈するし泣き出す」ものがあるとすればあの周辺光束は商品である
事実19: もしこの患者数が動き難いとするとそれはすばしこい
事実20: この周辺光束は元帥帽でない

仮説: あの申請権は本業務だ
1. 仮定1: 以下のように仮定する。あの申請権は本業務だ
2. 事実17と仮定1から、推論1: "この周辺光束は御見せする"が導かれる
3. 推論1と事実16から、推論2: "この周辺光束が軍馬だししかもそれは御見せする"が導かれる
4. 推論2から、推論3: "「軍馬だし加えて御見せする」ものはある"が導かれる
5. 推論3と事実9から、推論4: "この患者数は入り易い"が導かれる
6. 事実15から、推論5: "この患者数は元帥帽だ"が導かれる
7. 推論4と推論5から、推論6: "この患者数は入り易いしその上元帥帽である"が導かれる
8. 推論6と事実13から、推論7: "この患者数はすばしこくない"が導かれる
9. 事実1と事実19から、推論8: "この患者数はすばしこい"が導かれる
10. 推論7と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、仮説が否定される

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