このラバーマットは参考人だ
fact1: もしとある物は感慨深いなら「受け止め方でないがしかしチェック出来る」ということは成り立たない fact2: あの銅鐸形土製品はチェック出来る fact3: もし仮にこのラバーマットが狸奴であるしかつ図表化するならそれは受け止め方である fact4: あの投資簿価は感慨深い fact5: もしも「このラバーマットは狸奴でないが図表化する」ということは成り立つということはないとしたら「参考人でない」ということは正しい fact6: このラバーマットが受け止め方であるならばあの偏差値優等生はアメリカらしい fact7: アメリカらしいものは参考人である fact8: もし「ある物はアメリカらしい」ということは成り立つならそれは宿泊出来ない一方で図表化する fact9: 仮にこのラバーマットは狸奴でないけど図表化するとするとそれは受け止め方だ fact10: もしも「なにかは受け止め方でないがチェック出来る」ということは事実と異なるとしたらアメリカらしい fact11: あの銅鐸形土製品は感慨深くない fact12: 仮にあの銅鐸形土製品が感慨深いししかもそれがアメリカらしいとするとそれはチェック出来ない fact13: もしもあの銅鐸形土製品が感慨深くないけどそれがアメリカらしいとするとチェック出来るということはない fact14: 「このラバーマットは狸奴で加えて図表化する」ということは間違いである fact15: 仮にあの偏差値優等生がアメリカらしいとするとあの銅鐸形土製品は感慨深くない fact16: もしこのラバーマットが手踊りだが参考人でないならばあの人工網膜ＬＳＩは感慨深い fact17: このラバーマットは狸奴でない fact18: もし仮にこのラバーマットは狸奴なら「参考人でない」ということは事実だ fact19: 仮にあの偏差値優等生が信金でないとすればあのラバーマットは手踊りだが参考人だということはない fact20: あの偏差値優等生がアメリカらしいとするとあの銅鐸形土製品は感慨深くない一方でアメリカらしい fact21: もしもあの偏差値優等生がチェック出来るとすればあの銅鐸形土製品はアメリカらしくないがチェック出来る fact22: このオーストリア国民は感慨深い
void -> assump1: 以下のように仮定する。このラバーマットは狸奴でないけど図表化する; fact9 & assump1 -> int1: このラバーマットは受け止め方である; int1 & fact6 -> int2: あの偏差値優等生はアメリカらしい; int2 & fact20 -> int3: あの銅鐸形土製品は感慨深くないけどアメリカらしい; int3 & fact13 -> int4: あの銅鐸形土製品はチェック出来ない; int4 & fact2 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「このラバーマットは狸奴でないが図表化する」ということは事実と異なる; int6 & fact5 -> hypothesis;
このラバーマットは参考人だ
fact23 -> int7: もし仮にこのラバーマットがアメリカらしいなら参考人である;
$facts$ = fact1: もしとある物は感慨深いなら「受け止め方でないがしかしチェック出来る」ということは成り立たない fact2: あの銅鐸形土製品はチェック出来る fact3: もし仮にこのラバーマットが狸奴であるしかつ図表化するならそれは受け止め方である fact4: あの投資簿価は感慨深い fact5: もしも「このラバーマットは狸奴でないが図表化する」ということは成り立つということはないとしたら「参考人でない」ということは正しい fact6: このラバーマットが受け止め方であるならばあの偏差値優等生はアメリカらしい fact7: アメリカらしいものは参考人である fact8: もし「ある物はアメリカらしい」ということは成り立つならそれは宿泊出来ない一方で図表化する fact9: 仮にこのラバーマットは狸奴でないけど図表化するとするとそれは受け止め方だ fact10: もしも「なにかは受け止め方でないがチェック出来る」ということは事実と異なるとしたらアメリカらしい fact11: あの銅鐸形土製品は感慨深くない fact12: 仮にあの銅鐸形土製品が感慨深いししかもそれがアメリカらしいとするとそれはチェック出来ない fact13: もしもあの銅鐸形土製品が感慨深くないけどそれがアメリカらしいとするとチェック出来るということはない fact14: 「このラバーマットは狸奴で加えて図表化する」ということは間違いである fact15: 仮にあの偏差値優等生がアメリカらしいとするとあの銅鐸形土製品は感慨深くない fact16: もしこのラバーマットが手踊りだが参考人でないならばあの人工網膜ＬＳＩは感慨深い fact17: このラバーマットは狸奴でない fact18: もし仮にこのラバーマットは狸奴なら「参考人でない」ということは事実だ fact19: 仮にあの偏差値優等生が信金でないとすればあのラバーマットは手踊りだが参考人だということはない fact20: あの偏差値優等生がアメリカらしいとするとあの銅鐸形土製品は感慨深くない一方でアメリカらしい fact21: もしもあの偏差値優等生がチェック出来るとすればあの銅鐸形土製品はアメリカらしくないがチェック出来る fact22: このオーストリア国民は感慨深い ; $hypothesis$ = このラバーマットは参考人だ ; $proof$ = 
void -> assump1: 以下のように仮定する。このラバーマットは狸奴でないけど図表化する; fact9 & assump1 -> int1: このラバーマットは受け止め方である; int1 & fact6 -> int2: あの偏差値優等生はアメリカらしい; int2 & fact20 -> int3: あの銅鐸形土製品は感慨深くないけどアメリカらしい; int3 & fact13 -> int4: あの銅鐸形土製品はチェック出来ない; int4 & fact2 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「このラバーマットは狸奴でないが図表化する」ということは事実と異なる; int6 & fact5 -> hypothesis; __DISPROVED__
事実1: もしとある物は感慨深いなら「受け止め方でないがしかしチェック出来る」ということは成り立たない
事実2: あの銅鐸形土製品はチェック出来る
事実3: もし仮にこのラバーマットが狸奴であるしかつ図表化するならそれは受け止め方である
事実4: あの投資簿価は感慨深い
事実5: もしも「このラバーマットは狸奴でないが図表化する」ということは成り立つということはないとしたら「参考人でない」ということは正しい
事実6: このラバーマットが受け止め方であるならばあの偏差値優等生はアメリカらしい
事実7: アメリカらしいものは参考人である
事実8: もし「ある物はアメリカらしい」ということは成り立つならそれは宿泊出来ない一方で図表化する
事実9: 仮にこのラバーマットは狸奴でないけど図表化するとするとそれは受け止め方だ
事実10: もしも「なにかは受け止め方でないがチェック出来る」ということは事実と異なるとしたらアメリカらしい
事実11: あの銅鐸形土製品は感慨深くない
事実12: 仮にあの銅鐸形土製品が感慨深いししかもそれがアメリカらしいとするとそれはチェック出来ない
事実13: もしもあの銅鐸形土製品が感慨深くないけどそれがアメリカらしいとするとチェック出来るということはない
事実14: 「このラバーマットは狸奴で加えて図表化する」ということは間違いである
事実15: 仮にあの偏差値優等生がアメリカらしいとするとあの銅鐸形土製品は感慨深くない
事実16: もしこのラバーマットが手踊りだが参考人でないならばあの人工網膜ＬＳＩは感慨深い
事実17: このラバーマットは狸奴でない
事実18: もし仮にこのラバーマットは狸奴なら「参考人でない」ということは事実だ
事実19: 仮にあの偏差値優等生が信金でないとすればあのラバーマットは手踊りだが参考人だということはない
事実20: あの偏差値優等生がアメリカらしいとするとあの銅鐸形土製品は感慨深くない一方でアメリカらしい
事実21: もしもあの偏差値優等生がチェック出来るとすればあの銅鐸形土製品はアメリカらしくないがチェック出来る
事実22: このオーストリア国民は感慨深い

仮説: このラバーマットは参考人だ
1. 仮定1: 以下のように仮定する。このラバーマットは狸奴でないけど図表化する
2. 事実9と仮定1から、推論1: "このラバーマットは受け止め方である"が導かれる
3. 推論1と事実6から、推論2: "あの偏差値優等生はアメリカらしい"が導かれる
4. 推論2と事実20から、推論3: "あの銅鐸形土製品は感慨深くないけどアメリカらしい"が導かれる
5. 推論3と事実13から、推論4: "あの銅鐸形土製品はチェック出来ない"が導かれる
6. 推論4と事実2から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "「このラバーマットは狸奴でないが図表化する」ということは事実と異なる"が導かれる
8. 推論6と事実5から、仮説が否定される

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