このビアラホスは奥床しい
fact1: 仮に「あのエコはぎごちなくないがしかししんどい」ということは成り立たないならばそれは押し戻さない fact2: もしなにがしかの物はしんどいとしたら「このビアラホスはぺけでなくて加えて押し戻さない」ということは成り立たない fact3: 「この公募は骨塩濃度でないけど吸い寄せる」ということは成り立たない fact4: 「その四分音符はぺけである」ということは正しい fact5: 仮にとある物は発議するなら「それは双極性障害患者でなくてしかもホワイトハウス入りしない」ということは誤っている fact6: もしこのビアラホスが発議しないけどホワイトハウス入りするとしたらその行末はホワイトハウス入りする fact7: もし仮にある物は押し戻さないとすると「それはぺけでないし更に発議する」ということは偽である fact8: もしも「この公募は骨塩濃度でないけれど吸い寄せる」ということは誤りならばあのキロ単位は指導手順であるということはない fact9: もしその四分音符は奥床しいなら「それは双極性障害患者だけどホワイトハウス入りするということはない」ということは嘘だ fact10: このビアラホスは双極性障害患者であるとしたら「それは奥床しいししかもそれは発議しない」ということは成り立たない fact11: もしもその四分音符がぺけならそれは発議する fact12: もしも「そのキロ単位が骨塩濃度だしその上それは吸い寄せる」ということは成り立たないならそれは指導手順でない fact13: このビアラホスが奥床しいならそれは双極性障害患者である fact14: 仮になんらかのものは奥床しいとすれば「発議するしそれは双極性障害患者でない」ということは偽である fact15: 仮に「このビアラホスは発議しないしかつそれはホワイトハウス入りするということはない」ということは偽だとしたらその四分音符は奥床しい fact16: 「その四分音符は双極性障害患者でなくてまたそれはホワイトハウス入りしない」ということは成り立たないとするとこのビアラホスは奥床しい fact17: もしそのキロ単位が指導手順でないならばあのエコはしんどいしぎごちない fact18: もし仮に何らかのものは発議するとすると「双極性障害患者でない一方でホワイトハウス入りする」ということは誤りである
fact5 -> int1: もしも「その四分音符は発議する」ということは真実だとすれば「双極性障害患者でなくてかつそれはホワイトハウス入りしない」ということは成り立たない; fact4 & fact11 -> int2: その四分音符は発議する; int1 & int2 -> int3: 「その四分音符は双極性障害患者でなくてしかもホワイトハウス入りしない」ということは間違いだ; int3 & fact16 -> hypothesis;
その行末はホワイトハウス入りする
fact20 & fact22 -> int4: そのキロ単位は指導手順でない; fact23 & int4 -> int5: あのエコはしんどいしそれにそれはぎごちない; int5 -> int6: あのエコはしんどい; int6 -> int7: なにがしかの物はしんどい; int7 & fact19 -> int8: 「このビアラホスはぺけでなくて押し戻さない」ということは成り立たない;
$facts$ = fact1: 仮に「あのエコはぎごちなくないがしかししんどい」ということは成り立たないならばそれは押し戻さない fact2: もしなにがしかの物はしんどいとしたら「このビアラホスはぺけでなくて加えて押し戻さない」ということは成り立たない fact3: 「この公募は骨塩濃度でないけど吸い寄せる」ということは成り立たない fact4: 「その四分音符はぺけである」ということは正しい fact5: 仮にとある物は発議するなら「それは双極性障害患者でなくてしかもホワイトハウス入りしない」ということは誤っている fact6: もしこのビアラホスが発議しないけどホワイトハウス入りするとしたらその行末はホワイトハウス入りする fact7: もし仮にある物は押し戻さないとすると「それはぺけでないし更に発議する」ということは偽である fact8: もしも「この公募は骨塩濃度でないけれど吸い寄せる」ということは誤りならばあのキロ単位は指導手順であるということはない fact9: もしその四分音符は奥床しいなら「それは双極性障害患者だけどホワイトハウス入りするということはない」ということは嘘だ fact10: このビアラホスは双極性障害患者であるとしたら「それは奥床しいししかもそれは発議しない」ということは成り立たない fact11: もしもその四分音符がぺけならそれは発議する fact12: もしも「そのキロ単位が骨塩濃度だしその上それは吸い寄せる」ということは成り立たないならそれは指導手順でない fact13: このビアラホスが奥床しいならそれは双極性障害患者である fact14: 仮になんらかのものは奥床しいとすれば「発議するしそれは双極性障害患者でない」ということは偽である fact15: 仮に「このビアラホスは発議しないしかつそれはホワイトハウス入りするということはない」ということは偽だとしたらその四分音符は奥床しい fact16: 「その四分音符は双極性障害患者でなくてまたそれはホワイトハウス入りしない」ということは成り立たないとするとこのビアラホスは奥床しい fact17: もしそのキロ単位が指導手順でないならばあのエコはしんどいしぎごちない fact18: もし仮に何らかのものは発議するとすると「双極性障害患者でない一方でホワイトハウス入りする」ということは誤りである ; $hypothesis$ = このビアラホスは奥床しい ; $proof$ = 
fact5 -> int1: もしも「その四分音符は発議する」ということは真実だとすれば「双極性障害患者でなくてかつそれはホワイトハウス入りしない」ということは成り立たない; fact4 & fact11 -> int2: その四分音符は発議する; int1 & int2 -> int3: 「その四分音符は双極性障害患者でなくてしかもホワイトハウス入りしない」ということは間違いだ; int3 & fact16 -> hypothesis; __PROVED__
事実1: 仮に「あのエコはぎごちなくないがしかししんどい」ということは成り立たないならばそれは押し戻さない
事実2: もしなにがしかの物はしんどいとしたら「このビアラホスはぺけでなくて加えて押し戻さない」ということは成り立たない
事実3: 「この公募は骨塩濃度でないけど吸い寄せる」ということは成り立たない
事実4: 「その四分音符はぺけである」ということは正しい
事実5: 仮にとある物は発議するなら「それは双極性障害患者でなくてしかもホワイトハウス入りしない」ということは誤っている
事実6: もしこのビアラホスが発議しないけどホワイトハウス入りするとしたらその行末はホワイトハウス入りする
事実7: もし仮にある物は押し戻さないとすると「それはぺけでないし更に発議する」ということは偽である
事実8: もしも「この公募は骨塩濃度でないけれど吸い寄せる」ということは誤りならばあのキロ単位は指導手順であるということはない
事実9: もしその四分音符は奥床しいなら「それは双極性障害患者だけどホワイトハウス入りするということはない」ということは嘘だ
事実10: このビアラホスは双極性障害患者であるとしたら「それは奥床しいししかもそれは発議しない」ということは成り立たない
事実11: もしもその四分音符がぺけならそれは発議する
事実12: もしも「そのキロ単位が骨塩濃度だしその上それは吸い寄せる」ということは成り立たないならそれは指導手順でない
事実13: このビアラホスが奥床しいならそれは双極性障害患者である
事実14: 仮になんらかのものは奥床しいとすれば「発議するしそれは双極性障害患者でない」ということは偽である
事実15: 仮に「このビアラホスは発議しないしかつそれはホワイトハウス入りするということはない」ということは偽だとしたらその四分音符は奥床しい
事実16: 「その四分音符は双極性障害患者でなくてまたそれはホワイトハウス入りしない」ということは成り立たないとするとこのビアラホスは奥床しい
事実17: もしそのキロ単位が指導手順でないならばあのエコはしんどいしぎごちない
事実18: もし仮に何らかのものは発議するとすると「双極性障害患者でない一方でホワイトハウス入りする」ということは誤りである

仮説: このビアラホスは奥床しい
1. 事実5から、推論1: "もしも「その四分音符は発議する」ということは真実だとすれば「双極性障害患者でなくてかつそれはホワイトハウス入りしない」ということは成り立たない"が導かれる
2. 事実4と事実11から、推論2: "その四分音符は発議する"が導かれる
3. 推論1と推論2から、推論3: "「その四分音符は双極性障害患者でなくてしかもホワイトハウス入りしない」ということは間違いだ"が導かれる
4. 推論3と事実16から、仮説が導かれる

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