「「もし糖尿病妊婦であるならば「散らばるしそれに復讐しない」ということは間違っている」物はある」ということは本当だ
fact1: 仮にあの徐放製剤は糖尿病妊婦なら「それが散らばるしその上それは復讐する」ということは偽である fact2: 仮になんらかのものは揺るがすとしたら「糖尿病妊婦だがしかし京都らしいということはない」ということは成り立つということはない fact3: 「もしも糖尿病妊婦であるならば「散らばるししかも復讐する」ということは成り立たない」物はある fact4: 「もし仮に重過ぎるなら「焼き入れするけれど八年略記だということはない」ということは成り立たない」ものはある fact5: 「糖尿病妊婦であるならば「散らばるしまた復讐しない」ということは本当な」ものはある fact6: 仮にあの徐放製剤は糖尿病妊婦であるならば「散らばるし復讐しない」ということは成り立たない fact7: 「仮にユダヤ教徒だとすると「油絵具であるし申し付からない」ということは事実と異なる」ものはある fact8: もしもあの徐放製剤は復讐するとすると「それが古代史だしさらにそれは堪能出来ない」ということは嘘である fact9: もし仮にあの徐放製剤が糖尿病妊婦であるとすればそれは散らばるしおまけにそれは復讐しない fact10: 「沢山すれば「林檎ちゃんだしその上ロマネスク様式であるということはない」ということは成り立たない」物はある fact11: 「もし暗いとしたら「自信家であるけど二単位でない」ということは成り立たない」物はある fact12: 「もし「「動作しない」ということは誤りでない」ということは成り立たないなら「速度域でＣＯＵＮＴでない」ということは嘘な」物はある fact13: 「もし仮におっかないなら「対処能力だけれど積み下ろしでない」ということは間違っている」ものはある fact14: 仮にその社会・政治は人恋しいとすれば「「それは据え置くし加えて復讐しない」ということは間違いでない」ということは成り立つということはない
fact6 -> hypothesis;
もし仮にその中国語学は揺るがせば「それは糖尿病妊婦であるけど京都らしくない」ということは間違っている
fact15 -> hypothesis;
$facts$ = fact1: 仮にあの徐放製剤は糖尿病妊婦なら「それが散らばるしその上それは復讐する」ということは偽である fact2: 仮になんらかのものは揺るがすとしたら「糖尿病妊婦だがしかし京都らしいということはない」ということは成り立つということはない fact3: 「もしも糖尿病妊婦であるならば「散らばるししかも復讐する」ということは成り立たない」物はある fact4: 「もし仮に重過ぎるなら「焼き入れするけれど八年略記だということはない」ということは成り立たない」ものはある fact5: 「糖尿病妊婦であるならば「散らばるしまた復讐しない」ということは本当な」ものはある fact6: 仮にあの徐放製剤は糖尿病妊婦であるならば「散らばるし復讐しない」ということは成り立たない fact7: 「仮にユダヤ教徒だとすると「油絵具であるし申し付からない」ということは事実と異なる」ものはある fact8: もしもあの徐放製剤は復讐するとすると「それが古代史だしさらにそれは堪能出来ない」ということは嘘である fact9: もし仮にあの徐放製剤が糖尿病妊婦であるとすればそれは散らばるしおまけにそれは復讐しない fact10: 「沢山すれば「林檎ちゃんだしその上ロマネスク様式であるということはない」ということは成り立たない」物はある fact11: 「もし暗いとしたら「自信家であるけど二単位でない」ということは成り立たない」物はある fact12: 「もし「「動作しない」ということは誤りでない」ということは成り立たないなら「速度域でＣＯＵＮＴでない」ということは嘘な」物はある fact13: 「もし仮におっかないなら「対処能力だけれど積み下ろしでない」ということは間違っている」ものはある fact14: 仮にその社会・政治は人恋しいとすれば「「それは据え置くし加えて復讐しない」ということは間違いでない」ということは成り立つということはない ; $hypothesis$ = 「「もし糖尿病妊婦であるならば「散らばるしそれに復讐しない」ということは間違っている」物はある」ということは本当だ ; $proof$ = 
fact6 -> hypothesis; __PROVED__
事実1: 仮にあの徐放製剤は糖尿病妊婦なら「それが散らばるしその上それは復讐する」ということは偽である
事実2: 仮になんらかのものは揺るがすとしたら「糖尿病妊婦だがしかし京都らしいということはない」ということは成り立つということはない
事実3: 「もしも糖尿病妊婦であるならば「散らばるししかも復讐する」ということは成り立たない」物はある
事実4: 「もし仮に重過ぎるなら「焼き入れするけれど八年略記だということはない」ということは成り立たない」ものはある
事実5: 「糖尿病妊婦であるならば「散らばるしまた復讐しない」ということは本当な」ものはある
事実6: 仮にあの徐放製剤は糖尿病妊婦であるならば「散らばるし復讐しない」ということは成り立たない
事実7: 「仮にユダヤ教徒だとすると「油絵具であるし申し付からない」ということは事実と異なる」ものはある
事実8: もしもあの徐放製剤は復讐するとすると「それが古代史だしさらにそれは堪能出来ない」ということは嘘である
事実9: もし仮にあの徐放製剤が糖尿病妊婦であるとすればそれは散らばるしおまけにそれは復讐しない
事実10: 「沢山すれば「林檎ちゃんだしその上ロマネスク様式であるということはない」ということは成り立たない」物はある
事実11: 「もし暗いとしたら「自信家であるけど二単位でない」ということは成り立たない」物はある
事実12: 「もし「「動作しない」ということは誤りでない」ということは成り立たないなら「速度域でＣＯＵＮＴでない」ということは嘘な」物はある
事実13: 「もし仮におっかないなら「対処能力だけれど積み下ろしでない」ということは間違っている」ものはある
事実14: 仮にその社会・政治は人恋しいとすれば「「それは据え置くし加えて復讐しない」ということは間違いでない」ということは成り立つということはない

仮説: 「「もし糖尿病妊婦であるならば「散らばるしそれに復讐しない」ということは間違っている」物はある」ということは本当だ
1. 事実6から、仮説が導かれる

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