「あの第一選択薬はきったない」ということは真実である
fact1: 何かは物凄まじいとすると同視出来る fact2: なにがしかのものが手厚くないかあるいは配送するなら「物凄まじくない」ということは本当である fact3: 「短拍化する」ものはある fact4: あの第一選択薬は同視出来る fact5: 「仮にある物は物凄まじくないとしたら「それは短拍化しなくておまけに同視出来ない」ということは間違いである」ということは確かである fact6: とある物はきったない fact7: とある物は使い辛い fact8: 「特性論な」ものはある fact9: 「この内部抗争はきったない」ということは本当である fact10: 「引っ張り上げる」物はある fact11: もし仮になにがしかの物が同視出来るし更に短拍化するならあの第一選択薬はきったない fact12: とあるものは同視出来るし短拍化する fact13: 何かは小分けする fact14: もしなにがしかのものは発効しないとすれば「手厚くないかまたは配送するかまたは両方ともである」ということは事実である fact15: もしも「何らかのものはきったないけれどそれは短拍化するということはない」ということは成り立たないとすればきったなくない fact16: もしあの第一選択薬は有り難くない一方で固まり掛ければそれは発効しない fact17: 何かは冷え易くてさらに和解する fact18: 「同視出来る」ものはある fact19: もしもこの鐘馗像が配送しないならこの養母は物凄まじくてそれは手厚い fact20: とある物は行事予定だ
fact12 & fact11 -> hypothesis;
fact12 & fact11 -> hypothesis;
あの第一選択薬はきったないということはない
fact21 -> int1: 「あの第一選択薬はきったないけど短拍化しない」ということは間違っていればそれはきったなくない; fact23 -> int2: もしこの養母が物凄まじいとすれば同視出来る;
$facts$ = fact1: 何かは物凄まじいとすると同視出来る fact2: なにがしかのものが手厚くないかあるいは配送するなら「物凄まじくない」ということは本当である fact3: 「短拍化する」ものはある fact4: あの第一選択薬は同視出来る fact5: 「仮にある物は物凄まじくないとしたら「それは短拍化しなくておまけに同視出来ない」ということは間違いである」ということは確かである fact6: とある物はきったない fact7: とある物は使い辛い fact8: 「特性論な」ものはある fact9: 「この内部抗争はきったない」ということは本当である fact10: 「引っ張り上げる」物はある fact11: もし仮になにがしかの物が同視出来るし更に短拍化するならあの第一選択薬はきったない fact12: とあるものは同視出来るし短拍化する fact13: 何かは小分けする fact14: もしなにがしかのものは発効しないとすれば「手厚くないかまたは配送するかまたは両方ともである」ということは事実である fact15: もしも「何らかのものはきったないけれどそれは短拍化するということはない」ということは成り立たないとすればきったなくない fact16: もしあの第一選択薬は有り難くない一方で固まり掛ければそれは発効しない fact17: 何かは冷え易くてさらに和解する fact18: 「同視出来る」ものはある fact19: もしもこの鐘馗像が配送しないならこの養母は物凄まじくてそれは手厚い fact20: とある物は行事予定だ ; $hypothesis$ = 「あの第一選択薬はきったない」ということは真実である ; $proof$ = 
fact12 & fact11 -> hypothesis; __PROVED__
事実1: 何かは物凄まじいとすると同視出来る
事実2: なにがしかのものが手厚くないかあるいは配送するなら「物凄まじくない」ということは本当である
事実3: 「短拍化する」ものはある
事実4: あの第一選択薬は同視出来る
事実5: 「仮にある物は物凄まじくないとしたら「それは短拍化しなくておまけに同視出来ない」ということは間違いである」ということは確かである
事実6: とある物はきったない
事実7: とある物は使い辛い
事実8: 「特性論な」ものはある
事実9: 「この内部抗争はきったない」ということは本当である
事実10: 「引っ張り上げる」物はある
事実11: もし仮になにがしかの物が同視出来るし更に短拍化するならあの第一選択薬はきったない
事実12: とあるものは同視出来るし短拍化する
事実13: 何かは小分けする
事実14: もしなにがしかのものは発効しないとすれば「手厚くないかまたは配送するかまたは両方ともである」ということは事実である
事実15: もしも「何らかのものはきったないけれどそれは短拍化するということはない」ということは成り立たないとすればきったなくない
事実16: もしあの第一選択薬は有り難くない一方で固まり掛ければそれは発効しない
事実17: 何かは冷え易くてさらに和解する
事実18: 「同視出来る」ものはある
事実19: もしもこの鐘馗像が配送しないならこの養母は物凄まじくてそれは手厚い
事実20: とある物は行事予定だ

仮説: 「あの第一選択薬はきったない」ということは真実である
1. 事実12と事実11から、仮説が導かれる

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