この経産婦は御支払いする
fact1: もしも何らかの物は動かし難いとすると「しつっこい」ということは成り立つ fact2: 「この活用は道標でないけどそれは確認する」ということは成り立たないとすればそれは買い換える fact3: 「心安い」物はある fact4: 心安くない物は吹き替えるしそれに作業し易い fact5: 仮に「この活用は道標でないが討ち死にだ」ということは成り立たないとするとタップする fact6: もし「なにかは里帰りだ一方でそれは中継しない」ということは成り立たないとすればそれは中継する fact7: 仮にこの経産婦がフランス人らしくないけれどそれが吹き替えればこの活用は御支払いしない fact8: もし「この活用は梅干し番茶でないけれどフランス人らしい」ということは成り立つということはないとすれば作業し易い fact9: もし仮にあるものが作業し易いならそれは吹き替える fact10: 仮に「心安い」ものがあるとするとこの活用は吹き替えない fact11: もしもなにかは吹き替えれば御支払いする fact12: もしこの経産婦が梅干し番茶でまた御支払いするとすればこの活用はフランス人らしいということはない fact13: あの荷下ろしは掛け布団でないとすれば「この活用は里帰りだが中継しない」ということは誤りである fact14: もしもこの活用が中継するとするとこの経産婦は心安いということはない fact15: この経産婦は水行しないがそれは生物界だ fact16: 仮に「この活用は梅干し番茶でないけれどフランス人らしい」ということは事実だとすればこの経産婦は御支払いしない
void -> assump1: 以下のように仮定する。「この活用は梅干し番茶でないけどフランス人らしい」ということは成り立たない; fact8 & assump1 -> int1: この活用は作業し易い; fact9 -> int2: 仮にこの活用は作業し易いならば「吹き替える」ということは確かである; int1 & int2 -> int3: この活用は吹き替える; fact10 & fact3 -> int4: この活用は吹き替えるということはない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: この活用は梅干し番茶でないがフランス人らしい; int6 & fact16 -> hypothesis;
「この経産婦は御支払いする」ということは確かだ
fact19 -> int7: もし「この経産婦は吹き替える」ということは本当であるとすれば御支払いする; fact18 -> int8: この経産婦が心安くないとしたらそれは吹き替えるしかつそれは作業し易い; fact20 -> int9: もし仮に「この活用は里帰りであるけど中継しない」ということは成り立たないとすればそれは中継する;
$facts$ = fact1: もしも何らかの物は動かし難いとすると「しつっこい」ということは成り立つ fact2: 「この活用は道標でないけどそれは確認する」ということは成り立たないとすればそれは買い換える fact3: 「心安い」物はある fact4: 心安くない物は吹き替えるしそれに作業し易い fact5: 仮に「この活用は道標でないが討ち死にだ」ということは成り立たないとするとタップする fact6: もし「なにかは里帰りだ一方でそれは中継しない」ということは成り立たないとすればそれは中継する fact7: 仮にこの経産婦がフランス人らしくないけれどそれが吹き替えればこの活用は御支払いしない fact8: もし「この活用は梅干し番茶でないけれどフランス人らしい」ということは成り立つということはないとすれば作業し易い fact9: もし仮にあるものが作業し易いならそれは吹き替える fact10: 仮に「心安い」ものがあるとするとこの活用は吹き替えない fact11: もしもなにかは吹き替えれば御支払いする fact12: もしこの経産婦が梅干し番茶でまた御支払いするとすればこの活用はフランス人らしいということはない fact13: あの荷下ろしは掛け布団でないとすれば「この活用は里帰りだが中継しない」ということは誤りである fact14: もしもこの活用が中継するとするとこの経産婦は心安いということはない fact15: この経産婦は水行しないがそれは生物界だ fact16: 仮に「この活用は梅干し番茶でないけれどフランス人らしい」ということは事実だとすればこの経産婦は御支払いしない ; $hypothesis$ = この経産婦は御支払いする ; $proof$ = 
void -> assump1: 以下のように仮定する。「この活用は梅干し番茶でないけどフランス人らしい」ということは成り立たない; fact8 & assump1 -> int1: この活用は作業し易い; fact9 -> int2: 仮にこの活用は作業し易いならば「吹き替える」ということは確かである; int1 & int2 -> int3: この活用は吹き替える; fact10 & fact3 -> int4: この活用は吹き替えるということはない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: この活用は梅干し番茶でないがフランス人らしい; int6 & fact16 -> hypothesis; __DISPROVED__
事実1: もしも何らかの物は動かし難いとすると「しつっこい」ということは成り立つ
事実2: 「この活用は道標でないけどそれは確認する」ということは成り立たないとすればそれは買い換える
事実3: 「心安い」物はある
事実4: 心安くない物は吹き替えるしそれに作業し易い
事実5: 仮に「この活用は道標でないが討ち死にだ」ということは成り立たないとするとタップする
事実6: もし「なにかは里帰りだ一方でそれは中継しない」ということは成り立たないとすればそれは中継する
事実7: 仮にこの経産婦がフランス人らしくないけれどそれが吹き替えればこの活用は御支払いしない
事実8: もし「この活用は梅干し番茶でないけれどフランス人らしい」ということは成り立つということはないとすれば作業し易い
事実9: もし仮にあるものが作業し易いならそれは吹き替える
事実10: 仮に「心安い」ものがあるとするとこの活用は吹き替えない
事実11: もしもなにかは吹き替えれば御支払いする
事実12: もしこの経産婦が梅干し番茶でまた御支払いするとすればこの活用はフランス人らしいということはない
事実13: あの荷下ろしは掛け布団でないとすれば「この活用は里帰りだが中継しない」ということは誤りである
事実14: もしもこの活用が中継するとするとこの経産婦は心安いということはない
事実15: この経産婦は水行しないがそれは生物界だ
事実16: 仮に「この活用は梅干し番茶でないけれどフランス人らしい」ということは事実だとすればこの経産婦は御支払いしない

仮説: この経産婦は御支払いする
1. 仮定1: 以下のように仮定する。「この活用は梅干し番茶でないけどフランス人らしい」ということは成り立たない
2. 事実8と仮定1から、推論1: "この活用は作業し易い"が導かれる
3. 事実9から、推論2: "仮にこの活用は作業し易いならば「吹き替える」ということは確かである"が導かれる
4. 推論1と推論2から、推論3: "この活用は吹き替える"が導かれる
5. 事実10と事実3から、推論4: "この活用は吹き替えるということはない"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "この活用は梅干し番茶でないがフランス人らしい"が導かれる
8. 推論6と事実16から、仮説が否定される

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