「そのダイアゴン横丁はもげないけど物真似する」ということは誤りである
fact1: もし仮にとある物が住み難いならばそれは作業でないしそれは感嘆する fact2: その審美歯科は感嘆する fact3: もしこの葉酸が作業でないし加えてそれが煙たくないとしたらその山鹿荘は数倍しない fact4: あのウォールが結合し易いとするとその審美歯科は住み難い fact5: もしその山鹿荘が数倍しないとするとその造営はもげない fact6: 何かは牽引するとすると煙たい fact7: もしその審美歯科が作業でないならばあの葉酸は作業でない fact8: 仮に「その造営はもげない」ということは成り立つなら「そのダイアゴン横丁はもげるししかも物真似する」ということは成り立たない fact9: もしもその審美歯科が住み難いならばそれは感嘆する fact10: この葉酸は作業でない fact11: その審美歯科は噛み付くとしたら「牽引する」ということは真実だ fact12: もしもなんらかの物が結合し易いならばもげないがしかし物真似する fact13: もしその造営はもげるということはないとすれば「そのダイアゴン横丁はもげないけれど物真似する」ということは誤っている fact14: もしもその審美歯科が牽引するとするとあのウォールは牽引する fact15: もしなんらかのものがダイヤルすればそれは新戦略でないし物真似する fact16: あのウォールが煙たいとしたらそのダイアゴン横丁は数倍する fact17: あのウォールは結合し易い fact18: もしもこの葉酸が作業であるがしかし煙たくないならその山鹿荘は数倍しない fact19: もし仮にその審美歯科が作業でないならばこの葉酸は作業でないし更にそれは煙たくない fact20: もし「ある物は感嘆しなくてしかもそれは住み難くない」ということは成り立たないならば「結合し易い」ということは本当だ fact21: もしなんらかの物は作業だということはないとしたら「「それは感嘆しなくてかつ住み難くない」ということは成り立つ」ということは誤りだ fact22: もしもある物が住み難いならばそれは感嘆する fact23: 「そのダイアゴン横丁はもげるし物真似する」ということは間違いだ fact24: 仮になんらかのものが数倍するとしたら作業でない
fact4 & fact17 -> int1: その審美歯科は住み難い; fact1 -> int2: もし仮にその審美歯科が住み難いならば作業でなくて感嘆する; int1 & int2 -> int3: その審美歯科は作業でない一方でそれは感嘆する; int3 -> int4: その審美歯科は作業でない; int4 & fact19 -> int5: この葉酸は作業でなくて煙たくない; int5 & fact3 -> int6: その山鹿荘は数倍するということはない; int6 & fact5 -> int7: その造営はもげない; int7 & fact13 -> hypothesis;
もしこの武田軍がダイヤルするならそれは新戦略でないしその上物真似する
fact25 -> hypothesis;
$facts$ = fact1: もし仮にとある物が住み難いならばそれは作業でないしそれは感嘆する fact2: その審美歯科は感嘆する fact3: もしこの葉酸が作業でないし加えてそれが煙たくないとしたらその山鹿荘は数倍しない fact4: あのウォールが結合し易いとするとその審美歯科は住み難い fact5: もしその山鹿荘が数倍しないとするとその造営はもげない fact6: 何かは牽引するとすると煙たい fact7: もしその審美歯科が作業でないならばあの葉酸は作業でない fact8: 仮に「その造営はもげない」ということは成り立つなら「そのダイアゴン横丁はもげるししかも物真似する」ということは成り立たない fact9: もしもその審美歯科が住み難いならばそれは感嘆する fact10: この葉酸は作業でない fact11: その審美歯科は噛み付くとしたら「牽引する」ということは真実だ fact12: もしもなんらかの物が結合し易いならばもげないがしかし物真似する fact13: もしその造営はもげるということはないとすれば「そのダイアゴン横丁はもげないけれど物真似する」ということは誤っている fact14: もしもその審美歯科が牽引するとするとあのウォールは牽引する fact15: もしなんらかのものがダイヤルすればそれは新戦略でないし物真似する fact16: あのウォールが煙たいとしたらそのダイアゴン横丁は数倍する fact17: あのウォールは結合し易い fact18: もしもこの葉酸が作業であるがしかし煙たくないならその山鹿荘は数倍しない fact19: もし仮にその審美歯科が作業でないならばこの葉酸は作業でないし更にそれは煙たくない fact20: もし「ある物は感嘆しなくてしかもそれは住み難くない」ということは成り立たないならば「結合し易い」ということは本当だ fact21: もしなんらかの物は作業だということはないとしたら「「それは感嘆しなくてかつ住み難くない」ということは成り立つ」ということは誤りだ fact22: もしもある物が住み難いならばそれは感嘆する fact23: 「そのダイアゴン横丁はもげるし物真似する」ということは間違いだ fact24: 仮になんらかのものが数倍するとしたら作業でない ; $hypothesis$ = 「そのダイアゴン横丁はもげないけど物真似する」ということは誤りである ; $proof$ = 
fact4 & fact17 -> int1: その審美歯科は住み難い; fact1 -> int2: もし仮にその審美歯科が住み難いならば作業でなくて感嘆する; int1 & int2 -> int3: その審美歯科は作業でない一方でそれは感嘆する; int3 -> int4: その審美歯科は作業でない; int4 & fact19 -> int5: この葉酸は作業でなくて煙たくない; int5 & fact3 -> int6: その山鹿荘は数倍するということはない; int6 & fact5 -> int7: その造営はもげない; int7 & fact13 -> hypothesis; __PROVED__
事実1: もし仮にとある物が住み難いならばそれは作業でないしそれは感嘆する
事実2: その審美歯科は感嘆する
事実3: もしこの葉酸が作業でないし加えてそれが煙たくないとしたらその山鹿荘は数倍しない
事実4: あのウォールが結合し易いとするとその審美歯科は住み難い
事実5: もしその山鹿荘が数倍しないとするとその造営はもげない
事実6: 何かは牽引するとすると煙たい
事実7: もしその審美歯科が作業でないならばあの葉酸は作業でない
事実8: 仮に「その造営はもげない」ということは成り立つなら「そのダイアゴン横丁はもげるししかも物真似する」ということは成り立たない
事実9: もしもその審美歯科が住み難いならばそれは感嘆する
事実10: この葉酸は作業でない
事実11: その審美歯科は噛み付くとしたら「牽引する」ということは真実だ
事実12: もしもなんらかの物が結合し易いならばもげないがしかし物真似する
事実13: もしその造営はもげるということはないとすれば「そのダイアゴン横丁はもげないけれど物真似する」ということは誤っている
事実14: もしもその審美歯科が牽引するとするとあのウォールは牽引する
事実15: もしなんらかのものがダイヤルすればそれは新戦略でないし物真似する
事実16: あのウォールが煙たいとしたらそのダイアゴン横丁は数倍する
事実17: あのウォールは結合し易い
事実18: もしもこの葉酸が作業であるがしかし煙たくないならその山鹿荘は数倍しない
事実19: もし仮にその審美歯科が作業でないならばこの葉酸は作業でないし更にそれは煙たくない
事実20: もし「ある物は感嘆しなくてしかもそれは住み難くない」ということは成り立たないならば「結合し易い」ということは本当だ
事実21: もしなんらかの物は作業だということはないとしたら「「それは感嘆しなくてかつ住み難くない」ということは成り立つ」ということは誤りだ
事実22: もしもある物が住み難いならばそれは感嘆する
事実23: 「そのダイアゴン横丁はもげるし物真似する」ということは間違いだ
事実24: 仮になんらかのものが数倍するとしたら作業でない

仮説: 「そのダイアゴン横丁はもげないけど物真似する」ということは誤りである
1. 事実4と事実17から、推論1: "その審美歯科は住み難い"が導かれる
2. 事実1から、推論2: "もし仮にその審美歯科が住み難いならば作業でなくて感嘆する"が導かれる
3. 推論1と推論2から、推論3: "その審美歯科は作業でない一方でそれは感嘆する"が導かれる
4. 推論3から、推論4: "その審美歯科は作業でない"が導かれる
5. 推論4と事実19から、推論5: "この葉酸は作業でなくて煙たくない"が導かれる
6. 推論5と事実3から、推論6: "その山鹿荘は数倍するということはない"が導かれる
7. 推論6と事実5から、推論7: "その造営はもげない"が導かれる
8. 推論7と事実13から、仮説が導かれる

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