この理由欄は合併し易い
fact1: 未練がましくらないものは追い抜くしおまけに持参致す fact2: 「何らかの物は持参致すししかも追い抜く」ということは成り立たないとすればそれは追い抜くということはない fact3: このジギタリス製剤は引き返す fact4: もし仮に「「この人的支援は理屈っぽいということはない一方で引き返す」ということは正しい」ということは嘘だとすればこの理由欄は合併し易くない fact5: 「引き返す」物はある fact6: もしもあの外国製品が自分らしいということはないとするとそれは嘗め回さなくてまたそれは合わせ易い fact7: 何かは引き返すしその上合併し易い fact8: このジギタリス製剤は理屈っぽいし更に引き返す fact9: 仮にあの外国製品が嘗め回さないが合わせ易いとしたらこの人的支援は合わせ易くない fact10: ある物は合併し易いしその上引き返す fact11: もし仮に何かは追い抜くとしたら「引き返さないしその上それは理屈っぽい」ということは誤りだ fact12: その各派は取り直すけれど情けなくない fact13: 理屈っぽい物はある fact14: もしもなにかは合わせ易くないとしたらそれは未練がましいということはない fact15: もしも「何らかの物は追い抜かない」ということは正しいとすると「それは理屈っぽくないけど引き返す」ということは誤っている fact16: もしその各派が取り直す一方で情けなくないならばこのＣＯＮＦは取り直す fact17: もしも「引き返すしかつ合併し易い」ものがあるとしたらこの理由欄は理屈っぽい fact18: もし「理屈っぽいしまた引き返す」ものがあるとすればこの理由欄は合併し易い fact19: このＣＯＮＦが取り直すとすればあの外国製品が効用価値説だけど自分らしくない
fact8 -> int1: なにかは理屈っぽいし更に引き返す; int1 & fact18 -> hypothesis;
この理由欄は合併し易くない
fact21 -> int2: 「あの外国製品は追い抜かない」ということは正しいとすれば「理屈っぽくないが引き返す」ということは誤りだ; fact20 -> int3: 「あの外国製品は持参致すしさらにそれは追い抜く」ということは間違っているとしたらそれは追い抜かない;
$facts$ = fact1: 未練がましくらないものは追い抜くしおまけに持参致す fact2: 「何らかの物は持参致すししかも追い抜く」ということは成り立たないとすればそれは追い抜くということはない fact3: このジギタリス製剤は引き返す fact4: もし仮に「「この人的支援は理屈っぽいということはない一方で引き返す」ということは正しい」ということは嘘だとすればこの理由欄は合併し易くない fact5: 「引き返す」物はある fact6: もしもあの外国製品が自分らしいということはないとするとそれは嘗め回さなくてまたそれは合わせ易い fact7: 何かは引き返すしその上合併し易い fact8: このジギタリス製剤は理屈っぽいし更に引き返す fact9: 仮にあの外国製品が嘗め回さないが合わせ易いとしたらこの人的支援は合わせ易くない fact10: ある物は合併し易いしその上引き返す fact11: もし仮に何かは追い抜くとしたら「引き返さないしその上それは理屈っぽい」ということは誤りだ fact12: その各派は取り直すけれど情けなくない fact13: 理屈っぽい物はある fact14: もしもなにかは合わせ易くないとしたらそれは未練がましいということはない fact15: もしも「何らかの物は追い抜かない」ということは正しいとすると「それは理屈っぽくないけど引き返す」ということは誤っている fact16: もしその各派が取り直す一方で情けなくないならばこのＣＯＮＦは取り直す fact17: もしも「引き返すしかつ合併し易い」ものがあるとしたらこの理由欄は理屈っぽい fact18: もし「理屈っぽいしまた引き返す」ものがあるとすればこの理由欄は合併し易い fact19: このＣＯＮＦが取り直すとすればあの外国製品が効用価値説だけど自分らしくない ; $hypothesis$ = この理由欄は合併し易い ; $proof$ = 
fact8 -> int1: なにかは理屈っぽいし更に引き返す; int1 & fact18 -> hypothesis; __PROVED__
事実1: 未練がましくらないものは追い抜くしおまけに持参致す
事実2: 「何らかの物は持参致すししかも追い抜く」ということは成り立たないとすればそれは追い抜くということはない
事実3: このジギタリス製剤は引き返す
事実4: もし仮に「「この人的支援は理屈っぽいということはない一方で引き返す」ということは正しい」ということは嘘だとすればこの理由欄は合併し易くない
事実5: 「引き返す」物はある
事実6: もしもあの外国製品が自分らしいということはないとするとそれは嘗め回さなくてまたそれは合わせ易い
事実7: 何かは引き返すしその上合併し易い
事実8: このジギタリス製剤は理屈っぽいし更に引き返す
事実9: 仮にあの外国製品が嘗め回さないが合わせ易いとしたらこの人的支援は合わせ易くない
事実10: ある物は合併し易いしその上引き返す
事実11: もし仮に何かは追い抜くとしたら「引き返さないしその上それは理屈っぽい」ということは誤りだ
事実12: その各派は取り直すけれど情けなくない
事実13: 理屈っぽい物はある
事実14: もしもなにかは合わせ易くないとしたらそれは未練がましいということはない
事実15: もしも「何らかの物は追い抜かない」ということは正しいとすると「それは理屈っぽくないけど引き返す」ということは誤っている
事実16: もしその各派が取り直す一方で情けなくないならばこのＣＯＮＦは取り直す
事実17: もしも「引き返すしかつ合併し易い」ものがあるとしたらこの理由欄は理屈っぽい
事実18: もし「理屈っぽいしまた引き返す」ものがあるとすればこの理由欄は合併し易い
事実19: このＣＯＮＦが取り直すとすればあの外国製品が効用価値説だけど自分らしくない

仮説: この理由欄は合併し易い
1. 事実8から、推論1: "なにかは理屈っぽいし更に引き返す"が導かれる
2. 推論1と事実18から、仮説が導かれる

よって、仮説が証明されました。