あの鉄工所はちぎれ易くない
fact1: もし「この発注量は馬鹿馬鹿しい」ということは成り立てばそれは気まずいということはない fact2: 「連載中な」物はある fact3: このアーティストは馬鹿馬鹿しい fact4: 専門職司書はある fact5: このアーティストは御固くて慎み深い fact6: このアーティストは捻出出来る fact7: このアーティストは挫折でない fact8: 馬鹿馬鹿しい物はある fact9: もし仮にその斜は小汚いということはないなら「捻出出来ないが挫折だ」ということは成り立つということはない fact10: その斜は調べ易い fact11: もし仮にこの発注量は仕舞い込むとすれば「このアーティストは小汚いがしかし捻出出来ない」ということは間違っている fact12: もし仮に「あるものは捻出出来ないけど挫折だ」ということは誤っているとすればそれは仕舞い込む fact13: この夷狄は馬鹿馬鹿しい fact14: もし仮にその斜は仕舞い込めば「それはちぎれ易い」ということは本当である fact15: 「何らかの物は仕舞い込むけどそれは小汚くない」ということは嘘であるならばそれはちぎれ易くない fact16: 「その斜は捻出出来る」ということは本当であるならばあの鉄工所は捻出出来る fact17: もし仮に気まずくてそれに馬鹿馬鹿しい物があるとするとあの鉄工所はちぎれ易い fact18: 「あの論拠は捻出出来る」ということは確かだ fact19: その斜は小汚くない fact20: 「このアーティストは烏伝神道でない」ということは事実と異なるとしたらそれは気まずい fact21: その斜が仕舞い込むならばあのアーティストは烏伝神道である
fact9 & fact19 -> int1: 「その斜は捻出出来ないがしかし挫折である」ということは嘘だ; fact12 -> int2: 仮に「その斜は捻出出来ないけど挫折である」ということは成り立たないならばそれは仕舞い込む; int1 & int2 -> int3: 「その斜は仕舞い込む」ということは間違っていない; int3 & fact21 -> int4: このアーティストは烏伝神道である; int4 & fact20 -> int5: このアーティストは気まずい; int5 & fact3 -> int6: このアーティストは気まずくて更に馬鹿馬鹿しい; int6 -> int7: 気まずいもので馬鹿馬鹿しいものはある; int7 & fact17 -> hypothesis;
あの鉄工所は捻出出来る
$facts$ = fact1: もし「この発注量は馬鹿馬鹿しい」ということは成り立てばそれは気まずいということはない fact2: 「連載中な」物はある fact3: このアーティストは馬鹿馬鹿しい fact4: 専門職司書はある fact5: このアーティストは御固くて慎み深い fact6: このアーティストは捻出出来る fact7: このアーティストは挫折でない fact8: 馬鹿馬鹿しい物はある fact9: もし仮にその斜は小汚いということはないなら「捻出出来ないが挫折だ」ということは成り立つということはない fact10: その斜は調べ易い fact11: もし仮にこの発注量は仕舞い込むとすれば「このアーティストは小汚いがしかし捻出出来ない」ということは間違っている fact12: もし仮に「あるものは捻出出来ないけど挫折だ」ということは誤っているとすればそれは仕舞い込む fact13: この夷狄は馬鹿馬鹿しい fact14: もし仮にその斜は仕舞い込めば「それはちぎれ易い」ということは本当である fact15: 「何らかの物は仕舞い込むけどそれは小汚くない」ということは嘘であるならばそれはちぎれ易くない fact16: 「その斜は捻出出来る」ということは本当であるならばあの鉄工所は捻出出来る fact17: もし仮に気まずくてそれに馬鹿馬鹿しい物があるとするとあの鉄工所はちぎれ易い fact18: 「あの論拠は捻出出来る」ということは確かだ fact19: その斜は小汚くない fact20: 「このアーティストは烏伝神道でない」ということは事実と異なるとしたらそれは気まずい fact21: その斜が仕舞い込むならばあのアーティストは烏伝神道である ; $hypothesis$ = あの鉄工所はちぎれ易くない ; $proof$ = 
fact9 & fact19 -> int1: 「その斜は捻出出来ないがしかし挫折である」ということは嘘だ; fact12 -> int2: 仮に「その斜は捻出出来ないけど挫折である」ということは成り立たないならばそれは仕舞い込む; int1 & int2 -> int3: 「その斜は仕舞い込む」ということは間違っていない; int3 & fact21 -> int4: このアーティストは烏伝神道である; int4 & fact20 -> int5: このアーティストは気まずい; int5 & fact3 -> int6: このアーティストは気まずくて更に馬鹿馬鹿しい; int6 -> int7: 気まずいもので馬鹿馬鹿しいものはある; int7 & fact17 -> hypothesis; __DISPROVED__
事実1: もし「この発注量は馬鹿馬鹿しい」ということは成り立てばそれは気まずいということはない
事実2: 「連載中な」物はある
事実3: このアーティストは馬鹿馬鹿しい
事実4: 専門職司書はある
事実5: このアーティストは御固くて慎み深い
事実6: このアーティストは捻出出来る
事実7: このアーティストは挫折でない
事実8: 馬鹿馬鹿しい物はある
事実9: もし仮にその斜は小汚いということはないなら「捻出出来ないが挫折だ」ということは成り立つということはない
事実10: その斜は調べ易い
事実11: もし仮にこの発注量は仕舞い込むとすれば「このアーティストは小汚いがしかし捻出出来ない」ということは間違っている
事実12: もし仮に「あるものは捻出出来ないけど挫折だ」ということは誤っているとすればそれは仕舞い込む
事実13: この夷狄は馬鹿馬鹿しい
事実14: もし仮にその斜は仕舞い込めば「それはちぎれ易い」ということは本当である
事実15: 「何らかの物は仕舞い込むけどそれは小汚くない」ということは嘘であるならばそれはちぎれ易くない
事実16: 「その斜は捻出出来る」ということは本当であるならばあの鉄工所は捻出出来る
事実17: もし仮に気まずくてそれに馬鹿馬鹿しい物があるとするとあの鉄工所はちぎれ易い
事実18: 「あの論拠は捻出出来る」ということは確かだ
事実19: その斜は小汚くない
事実20: 「このアーティストは烏伝神道でない」ということは事実と異なるとしたらそれは気まずい
事実21: その斜が仕舞い込むならばあのアーティストは烏伝神道である

仮説: あの鉄工所はちぎれ易くない
1. 事実9と事実19から、推論1: "「その斜は捻出出来ないがしかし挫折である」ということは嘘だ"が導かれる
2. 事実12から、推論2: "仮に「その斜は捻出出来ないけど挫折である」ということは成り立たないならばそれは仕舞い込む"が導かれる
3. 推論1と推論2から、推論3: "「その斜は仕舞い込む」ということは間違っていない"が導かれる
4. 推論3と事実21から、推論4: "このアーティストは烏伝神道である"が導かれる
5. 推論4と事実20から、推論5: "このアーティストは気まずい"が導かれる
6. 推論5と事実3から、推論6: "このアーティストは気まずくて更に馬鹿馬鹿しい"が導かれる
7. 推論6から、推論7: "気まずいもので馬鹿馬鹿しいものはある"が導かれる
8. 推論7と事実17から、仮説が否定される

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