あの経口投与は専門社員であるということはない
fact1: 「もし仮にあるものはすばしこいとしたら「それは専門社員だ」ということは本当だ」ということは成り立つ fact2: 仮にそのフィルム状が御めでたいということはないとすればあの社会パレスはエクスポートする fact3: 仮にその社会パレスが御めでたくないとすればそのフィルム状はエクスポートする fact4: とある物が握手するとするとすばしこい fact5: もしもこの暮れが握手するならあの経口投与は専門社員である fact6: もしも「休憩である」ものはあるなら「この暮れは普及促進だ」ということは事実と異ならない fact7: もしも「なんらかの物は普及促進でないがそれは休憩だ」ということは成り立たないとするとそれは小さい fact8: 「「休憩だ」ということは成り立つ」物はある fact9: もし仮にとあるものはバター炒めであるならばそれはすばしこい fact10: 普及促進は休憩でないし専門社員であるということはない fact11: もしこの暮れがバター炒めであるかあるいは転位係数であるか両方であるとすればその社会パレスは御めでたくない fact12: 「仮にそのフィルム状はエクスポートするとすれば「あの経口投与は握手する」ということは成り立つ」ということは偽でない fact13: もし仮に何かは普及促進なら転位係数だ
fact8 & fact6 -> int1: この暮れは普及促進だ; fact13 -> int2: この暮れが普及促進だとすれば転位係数だ; int1 & int2 -> int3: この暮れは転位係数だ; int3 -> int4: この暮れはバター炒めであるかまたはそれは転位係数であるかもしくは両方である; int4 & fact11 -> int5: その社会パレスは御めでたくない; int5 & fact3 -> int6: そのフィルム状はエクスポートする; int6 & fact12 -> int7: あの経口投与は握手する; fact4 -> int8: 仮にあの経口投与が握手するとするとすばしこい; int7 & int8 -> int9: あの経口投与はすばしこい; fact1 -> int10: もしもあの経口投与がすばしこいとすると専門社員だ; int9 & int10 -> hypothesis;
とある物は小さい
fact14 -> int11: もしも「この暮れは普及促進でない一方でそれは休憩である」ということは誤っているとすると小さい;
$facts$ = fact1: 「もし仮にあるものはすばしこいとしたら「それは専門社員だ」ということは本当だ」ということは成り立つ fact2: 仮にそのフィルム状が御めでたいということはないとすればあの社会パレスはエクスポートする fact3: 仮にその社会パレスが御めでたくないとすればそのフィルム状はエクスポートする fact4: とある物が握手するとするとすばしこい fact5: もしもこの暮れが握手するならあの経口投与は専門社員である fact6: もしも「休憩である」ものはあるなら「この暮れは普及促進だ」ということは事実と異ならない fact7: もしも「なんらかの物は普及促進でないがそれは休憩だ」ということは成り立たないとするとそれは小さい fact8: 「「休憩だ」ということは成り立つ」物はある fact9: もし仮にとあるものはバター炒めであるならばそれはすばしこい fact10: 普及促進は休憩でないし専門社員であるということはない fact11: もしこの暮れがバター炒めであるかあるいは転位係数であるか両方であるとすればその社会パレスは御めでたくない fact12: 「仮にそのフィルム状はエクスポートするとすれば「あの経口投与は握手する」ということは成り立つ」ということは偽でない fact13: もし仮に何かは普及促進なら転位係数だ ; $hypothesis$ = あの経口投与は専門社員であるということはない ; $proof$ = 
fact8 & fact6 -> int1: この暮れは普及促進だ; fact13 -> int2: この暮れが普及促進だとすれば転位係数だ; int1 & int2 -> int3: この暮れは転位係数だ; int3 -> int4: この暮れはバター炒めであるかまたはそれは転位係数であるかもしくは両方である; int4 & fact11 -> int5: その社会パレスは御めでたくない; int5 & fact3 -> int6: そのフィルム状はエクスポートする; int6 & fact12 -> int7: あの経口投与は握手する; fact4 -> int8: 仮にあの経口投与が握手するとするとすばしこい; int7 & int8 -> int9: あの経口投与はすばしこい; fact1 -> int10: もしもあの経口投与がすばしこいとすると専門社員だ; int9 & int10 -> hypothesis; __DISPROVED__
事実1: 「もし仮にあるものはすばしこいとしたら「それは専門社員だ」ということは本当だ」ということは成り立つ
事実2: 仮にそのフィルム状が御めでたいということはないとすればあの社会パレスはエクスポートする
事実3: 仮にその社会パレスが御めでたくないとすればそのフィルム状はエクスポートする
事実4: とある物が握手するとするとすばしこい
事実5: もしもこの暮れが握手するならあの経口投与は専門社員である
事実6: もしも「休憩である」ものはあるなら「この暮れは普及促進だ」ということは事実と異ならない
事実7: もしも「なんらかの物は普及促進でないがそれは休憩だ」ということは成り立たないとするとそれは小さい
事実8: 「「休憩だ」ということは成り立つ」物はある
事実9: もし仮にとあるものはバター炒めであるならばそれはすばしこい
事実10: 普及促進は休憩でないし専門社員であるということはない
事実11: もしこの暮れがバター炒めであるかあるいは転位係数であるか両方であるとすればその社会パレスは御めでたくない
事実12: 「仮にそのフィルム状はエクスポートするとすれば「あの経口投与は握手する」ということは成り立つ」ということは偽でない
事実13: もし仮に何かは普及促進なら転位係数だ

仮説: あの経口投与は専門社員であるということはない
1. 事実8と事実6から、推論1: "この暮れは普及促進だ"が導かれる
2. 事実13から、推論2: "この暮れが普及促進だとすれば転位係数だ"が導かれる
3. 推論1と推論2から、推論3: "この暮れは転位係数だ"が導かれる
4. 推論3から、推論4: "この暮れはバター炒めであるかまたはそれは転位係数であるかもしくは両方である"が導かれる
5. 推論4と事実11から、推論5: "その社会パレスは御めでたくない"が導かれる
6. 推論5と事実3から、推論6: "そのフィルム状はエクスポートする"が導かれる
7. 推論6と事実12から、推論7: "あの経口投与は握手する"が導かれる
8. 事実4から、推論8: "仮にあの経口投与が握手するとするとすばしこい"が導かれる
9. 推論7と推論8から、推論9: "あの経口投与はすばしこい"が導かれる
10. 事実1から、推論10: "もしもあの経口投与がすばしこいとすると専門社員だ"が導かれる
11. 推論9と推論10から、仮説が否定される

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