この同説は言い古すかあるいはそれは卑しい
fact1: もし仮にあの競り科は夫婦らしくないとすると「チケット代だししかもメイクする」ということは成り立たない fact2: もし何かは薬剤耐性菌肺炎なら卑しい fact3: もし仮に「「見交わすということはなくておまけに受け易くない」ということは成り立たない」ものはあれば「あの競り科は夫婦らしくない」ということは本当だ fact4: もしもあるものは薬剤耐性菌肺炎でないとしたら「言い古すかまたは卑しいかまたは両方ともだ」ということは偽である fact5: その図面上は貸し倒れる fact6: もし仮にその図面上は貸し倒れれば「見交わさないしそれは受け易くない」ということは成り立つということはない fact7: 「あの競り科は二分一カップであるかもしくはそれは卑しい」ということは正しい fact8: あの競り科が電子レンジ用でないならばその一場面は二分一カップであるかあるいは薬剤耐性菌肺炎でないかまたは両方ともである fact9: その一場面は電子レンジ用である fact10: 「その図面上は二分一カップであるということはないけれどそれは送金出来る」ということは間違いだとしたらこの同説は言い古す fact11: 「あの競り科は電子レンジ用だし送金出来る」ということは事実と異なるとすると電子レンジ用でない fact12: その一場面は薬剤耐性菌肺炎である fact13: もしもこの同説は卑しくないとすると「その図面上は卑しくて更に二分一カップである」ということは偽だ fact14: 仮にとあるものは送金出来ないならば「それは二分一カップであるが電子レンジ用でない」ということは成り立つということはない fact15: 「「ある物が詮無いしその上それは混じり合う」ということは成り立つ」ということは成り立つということはないとすればそれはガイドでない fact16: もしも「あの競り科は二分一カップでない」ということは成り立つとすると「その図面上は二分一カップでないが送金出来る」ということは成り立たない fact17: 仮に何かはガイドでないならば怒りっぽいということはなくて更にそれは送金出来ない fact18: 仮に「あの競り科はチケット代であるし更にメイクする」ということは誤りであるならその一場面はチケット代でない fact19: もしもその一場面が薬剤耐性菌肺炎だししかもそれが電子レンジ用だとするとあの競り科は二分一カップでない
fact12 & fact9 -> int1: その一場面は薬剤耐性菌肺炎であるしさらにそれは電子レンジ用である; int1 & fact19 -> int2: あの競り科は二分一カップでない; int2 & fact16 -> int3: 「「その図面上は二分一カップでない一方で送金出来る」ということは誤っている」ということは成り立つ; int3 & fact10 -> int4: この同説は言い古す; int4 -> hypothesis;
「この同説は言い古すか卑しいかあるいは両方である」ということは成り立つということはない
fact26 -> int5: もしもこの同説は薬剤耐性菌肺炎であるということはないとすれば「言い古すかもしくは卑しい」ということは成り立たない; fact21 -> int6: もしこの同説は送金出来ないとすると「それが二分一カップだし更に電子レンジ用でない」ということは成り立たない; fact20 -> int7: もしも「この同説はガイドでない」ということは事実であるとすると怒りっぽいということはなくて送金出来ない; fact28 -> int8: もし「この同説は詮無くてまた混じり合う」ということは事実と異なればそれはガイドでない; fact23 & fact24 -> int9: 「「その図面上は見交わすということはなくてそれは受け易くない」ということは成り立たない」ということは真実だ; int9 -> int10: 「「見交わすということはないしかつ受け易くない」ということは嘘である」ものはある; int10 & fact25 -> int11: あの競り科は夫婦らしくない; fact27 & int11 -> int12: 「あの競り科はチケット代であるし更にメイクする」ということは成り立たない; fact22 & int12 -> int13: その一場面はチケット代だということはない; int13 -> int14: なにがしかの物はチケット代でない;
$facts$ = fact1: もし仮にあの競り科は夫婦らしくないとすると「チケット代だししかもメイクする」ということは成り立たない fact2: もし何かは薬剤耐性菌肺炎なら卑しい fact3: もし仮に「「見交わすということはなくておまけに受け易くない」ということは成り立たない」ものはあれば「あの競り科は夫婦らしくない」ということは本当だ fact4: もしもあるものは薬剤耐性菌肺炎でないとしたら「言い古すかまたは卑しいかまたは両方ともだ」ということは偽である fact5: その図面上は貸し倒れる fact6: もし仮にその図面上は貸し倒れれば「見交わさないしそれは受け易くない」ということは成り立つということはない fact7: 「あの競り科は二分一カップであるかもしくはそれは卑しい」ということは正しい fact8: あの競り科が電子レンジ用でないならばその一場面は二分一カップであるかあるいは薬剤耐性菌肺炎でないかまたは両方ともである fact9: その一場面は電子レンジ用である fact10: 「その図面上は二分一カップであるということはないけれどそれは送金出来る」ということは間違いだとしたらこの同説は言い古す fact11: 「あの競り科は電子レンジ用だし送金出来る」ということは事実と異なるとすると電子レンジ用でない fact12: その一場面は薬剤耐性菌肺炎である fact13: もしもこの同説は卑しくないとすると「その図面上は卑しくて更に二分一カップである」ということは偽だ fact14: 仮にとあるものは送金出来ないならば「それは二分一カップであるが電子レンジ用でない」ということは成り立つということはない fact15: 「「ある物が詮無いしその上それは混じり合う」ということは成り立つ」ということは成り立つということはないとすればそれはガイドでない fact16: もしも「あの競り科は二分一カップでない」ということは成り立つとすると「その図面上は二分一カップでないが送金出来る」ということは成り立たない fact17: 仮に何かはガイドでないならば怒りっぽいということはなくて更にそれは送金出来ない fact18: 仮に「あの競り科はチケット代であるし更にメイクする」ということは誤りであるならその一場面はチケット代でない fact19: もしもその一場面が薬剤耐性菌肺炎だししかもそれが電子レンジ用だとするとあの競り科は二分一カップでない ; $hypothesis$ = この同説は言い古すかあるいはそれは卑しい ; $proof$ = 
fact12 & fact9 -> int1: その一場面は薬剤耐性菌肺炎であるしさらにそれは電子レンジ用である; int1 & fact19 -> int2: あの競り科は二分一カップでない; int2 & fact16 -> int3: 「「その図面上は二分一カップでない一方で送金出来る」ということは誤っている」ということは成り立つ; int3 & fact10 -> int4: この同説は言い古す; int4 -> hypothesis; __PROVED__
事実1: もし仮にあの競り科は夫婦らしくないとすると「チケット代だししかもメイクする」ということは成り立たない
事実2: もし何かは薬剤耐性菌肺炎なら卑しい
事実3: もし仮に「「見交わすということはなくておまけに受け易くない」ということは成り立たない」ものはあれば「あの競り科は夫婦らしくない」ということは本当だ
事実4: もしもあるものは薬剤耐性菌肺炎でないとしたら「言い古すかまたは卑しいかまたは両方ともだ」ということは偽である
事実5: その図面上は貸し倒れる
事実6: もし仮にその図面上は貸し倒れれば「見交わさないしそれは受け易くない」ということは成り立つということはない
事実7: 「あの競り科は二分一カップであるかもしくはそれは卑しい」ということは正しい
事実8: あの競り科が電子レンジ用でないならばその一場面は二分一カップであるかあるいは薬剤耐性菌肺炎でないかまたは両方ともである
事実9: その一場面は電子レンジ用である
事実10: 「その図面上は二分一カップであるということはないけれどそれは送金出来る」ということは間違いだとしたらこの同説は言い古す
事実11: 「あの競り科は電子レンジ用だし送金出来る」ということは事実と異なるとすると電子レンジ用でない
事実12: その一場面は薬剤耐性菌肺炎である
事実13: もしもこの同説は卑しくないとすると「その図面上は卑しくて更に二分一カップである」ということは偽だ
事実14: 仮にとあるものは送金出来ないならば「それは二分一カップであるが電子レンジ用でない」ということは成り立つということはない
事実15: 「「ある物が詮無いしその上それは混じり合う」ということは成り立つ」ということは成り立つということはないとすればそれはガイドでない
事実16: もしも「あの競り科は二分一カップでない」ということは成り立つとすると「その図面上は二分一カップでないが送金出来る」ということは成り立たない
事実17: 仮に何かはガイドでないならば怒りっぽいということはなくて更にそれは送金出来ない
事実18: 仮に「あの競り科はチケット代であるし更にメイクする」ということは誤りであるならその一場面はチケット代でない
事実19: もしもその一場面が薬剤耐性菌肺炎だししかもそれが電子レンジ用だとするとあの競り科は二分一カップでない

仮説: この同説は言い古すかあるいはそれは卑しい
1. 事実12と事実9から、推論1: "その一場面は薬剤耐性菌肺炎であるしさらにそれは電子レンジ用である"が導かれる
2. 推論1と事実19から、推論2: "あの競り科は二分一カップでない"が導かれる
3. 推論2と事実16から、推論3: "「「その図面上は二分一カップでない一方で送金出来る」ということは誤っている」ということは成り立つ"が導かれる
4. 推論3と事実10から、推論4: "この同説は言い古す"が導かれる
5. 推論4から、仮説が導かれる

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