「この講談社学術文庫はメディアシークでない」ということは成り立てば「増幅出来ないしそれにひょろ長いということはない」ということは偽だ
fact1: 仮に何かは農事実行組合でないとしたら「「それは黄色くないしそれは運動方程式でない」ということは正しい」ということは事実と異なる fact2: なにかはメディアシークであるということはないとしたら「「増幅出来るということはないがしかしひょろ長い」ということは確かである」ということは成り立たない fact3: 仮に何らかのものはメディアシークでないとしたら「それは増幅出来るしおまけにそれはひょろ長いということはない」ということは偽である fact4: もし仮に何かはメディアシークであるなら「増幅出来なくてまたひょろ長くない」ということは正しいということはない fact5: 仮になんらかのものは提携しないとすれば「それは持ち難くなくてそれは夫婦らしくない」ということは誤りである fact6: もしその企画室はひょろ長くないとしたら「それは素晴らしくないしかつ漁民自身でない」ということは成り立たない fact7: 仮に「この講談社学術文庫は自刃しない」ということは本当なら「それは長過ぎないしそれに増幅出来ない」ということは成り立たない fact8: もしもなんらかの物はメディアシークでないとすると「それは増幅出来ないしかつひょろ長くない」ということは間違いである fact9: 仮にこの講談社学術文庫がメディアシークでないとすればそれは増幅出来るということはないしかつひょろ長いということはない fact10: 仮にこの講談社学術文庫はメディアシークだとすると「それは増幅出来なくてそれにひょろ長くない」ということは事実であるということはない fact11: もしもこの講談社学術文庫はメディアシークでないとすれば「それは増幅出来るしかつひょろ長いということはない」ということは成り立たない fact12: その連邦全体は安しないとすれば「与え易くないしまたそれはメディアシークでない」ということは成り立たない fact13: この講談社学術文庫はメディアシークでないならば「増幅出来なくてひょろ長い」ということは嘘である fact14: もしもなにがしかのものはメディアシークであるということはないとすれば増幅出来なくてかつひょろ長くない
fact8 -> hypothesis;
$facts$ = fact1: 仮に何かは農事実行組合でないとしたら「「それは黄色くないしそれは運動方程式でない」ということは正しい」ということは事実と異なる fact2: なにかはメディアシークであるということはないとしたら「「増幅出来るということはないがしかしひょろ長い」ということは確かである」ということは成り立たない fact3: 仮に何らかのものはメディアシークでないとしたら「それは増幅出来るしおまけにそれはひょろ長いということはない」ということは偽である fact4: もし仮に何かはメディアシークであるなら「増幅出来なくてまたひょろ長くない」ということは正しいということはない fact5: 仮になんらかのものは提携しないとすれば「それは持ち難くなくてそれは夫婦らしくない」ということは誤りである fact6: もしその企画室はひょろ長くないとしたら「それは素晴らしくないしかつ漁民自身でない」ということは成り立たない fact7: 仮に「この講談社学術文庫は自刃しない」ということは本当なら「それは長過ぎないしそれに増幅出来ない」ということは成り立たない fact8: もしもなんらかの物はメディアシークでないとすると「それは増幅出来ないしかつひょろ長くない」ということは間違いである fact9: 仮にこの講談社学術文庫がメディアシークでないとすればそれは増幅出来るということはないしかつひょろ長いということはない fact10: 仮にこの講談社学術文庫はメディアシークだとすると「それは増幅出来なくてそれにひょろ長くない」ということは事実であるということはない fact11: もしもこの講談社学術文庫はメディアシークでないとすれば「それは増幅出来るしかつひょろ長いということはない」ということは成り立たない fact12: その連邦全体は安しないとすれば「与え易くないしまたそれはメディアシークでない」ということは成り立たない fact13: この講談社学術文庫はメディアシークでないならば「増幅出来なくてひょろ長い」ということは嘘である fact14: もしもなにがしかのものはメディアシークであるということはないとすれば増幅出来なくてかつひょろ長くない ; $hypothesis$ = 「この講談社学術文庫はメディアシークでない」ということは成り立てば「増幅出来ないしそれにひょろ長いということはない」ということは偽だ ; $proof$ = 
fact8 -> hypothesis; __PROVED__
事実1: 仮に何かは農事実行組合でないとしたら「「それは黄色くないしそれは運動方程式でない」ということは正しい」ということは事実と異なる
事実2: なにかはメディアシークであるということはないとしたら「「増幅出来るということはないがしかしひょろ長い」ということは確かである」ということは成り立たない
事実3: 仮に何らかのものはメディアシークでないとしたら「それは増幅出来るしおまけにそれはひょろ長いということはない」ということは偽である
事実4: もし仮に何かはメディアシークであるなら「増幅出来なくてまたひょろ長くない」ということは正しいということはない
事実5: 仮になんらかのものは提携しないとすれば「それは持ち難くなくてそれは夫婦らしくない」ということは誤りである
事実6: もしその企画室はひょろ長くないとしたら「それは素晴らしくないしかつ漁民自身でない」ということは成り立たない
事実7: 仮に「この講談社学術文庫は自刃しない」ということは本当なら「それは長過ぎないしそれに増幅出来ない」ということは成り立たない
事実8: もしもなんらかの物はメディアシークでないとすると「それは増幅出来ないしかつひょろ長くない」ということは間違いである
事実9: 仮にこの講談社学術文庫がメディアシークでないとすればそれは増幅出来るということはないしかつひょろ長いということはない
事実10: 仮にこの講談社学術文庫はメディアシークだとすると「それは増幅出来なくてそれにひょろ長くない」ということは事実であるということはない
事実11: もしもこの講談社学術文庫はメディアシークでないとすれば「それは増幅出来るしかつひょろ長いということはない」ということは成り立たない
事実12: その連邦全体は安しないとすれば「与え易くないしまたそれはメディアシークでない」ということは成り立たない
事実13: この講談社学術文庫はメディアシークでないならば「増幅出来なくてひょろ長い」ということは嘘である
事実14: もしもなにがしかのものはメディアシークであるということはないとすれば増幅出来なくてかつひょろ長くない

仮説: 「この講談社学術文庫はメディアシークでない」ということは成り立てば「増幅出来ないしそれにひょろ長いということはない」ということは偽だ
1. 事実8から、仮説が導かれる

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