「観賞でないとすれば「銀河でないけど反応し易い」ということは事実と異なる」ものはある
fact1: 「仮に開戦しないなら「上訴しないがしかし江戸文化である」ということは成り立つということはない」物はある fact2: 仮になんらかのものは信仰深くないとすれば「取れ難いしその上しらばっくれる」ということは成り立たない fact3: もしなにかは資金供与でないとしたら「各事業本部でないしその上それは農業政策だ」ということは事実と異なる fact4: もしもなんらかの物は観賞だということはないならば「銀河だしさらに反応し易い」ということは成り立たない fact5: 「仮にファイル番号でないとしたら曲がり掛けないしおまけに闖入する」物はある fact6: もし仮になんらかの物は観賞でないなら「銀河でない一方で反応し易い」ということは間違っている fact7: 「仮に観賞であるとすると「銀河でないしかつ反応し易い」ということは本当でない」ものはある fact8: もしもなんらかの物は接近しないなら「「伯母ちゃん達でないけれど俗っぽい」ということは正しい」ということは成り立たない fact9: 仮に何かは離席すれば「それは書き難くないが中学校段階だ」ということは間違っている
fact6 -> int1: もし「あの境界線は観賞でない」ということは成り立つとすると「それは銀河でないしそれは反応し易い」ということは成り立つということはない; int1 -> hypothesis;
「資金供与でないならば「各事業本部でないし農業政策である」ということは間違いな」物はある
fact10 -> int2: あの思春期早発症は資金供与でないとすると「各事業本部でないしおまけに農業政策だ」ということは誤りだ; int2 -> hypothesis;
$facts$ = fact1: 「仮に開戦しないなら「上訴しないがしかし江戸文化である」ということは成り立つということはない」物はある fact2: 仮になんらかのものは信仰深くないとすれば「取れ難いしその上しらばっくれる」ということは成り立たない fact3: もしなにかは資金供与でないとしたら「各事業本部でないしその上それは農業政策だ」ということは事実と異なる fact4: もしもなんらかの物は観賞だということはないならば「銀河だしさらに反応し易い」ということは成り立たない fact5: 「仮にファイル番号でないとしたら曲がり掛けないしおまけに闖入する」物はある fact6: もし仮になんらかの物は観賞でないなら「銀河でない一方で反応し易い」ということは間違っている fact7: 「仮に観賞であるとすると「銀河でないしかつ反応し易い」ということは本当でない」ものはある fact8: もしもなんらかの物は接近しないなら「「伯母ちゃん達でないけれど俗っぽい」ということは正しい」ということは成り立たない fact9: 仮に何かは離席すれば「それは書き難くないが中学校段階だ」ということは間違っている ; $hypothesis$ = 「観賞でないとすれば「銀河でないけど反応し易い」ということは事実と異なる」ものはある ; $proof$ = 
fact6 -> int1: もし「あの境界線は観賞でない」ということは成り立つとすると「それは銀河でないしそれは反応し易い」ということは成り立つということはない; int1 -> hypothesis; __PROVED__
事実1: 「仮に開戦しないなら「上訴しないがしかし江戸文化である」ということは成り立つということはない」物はある
事実2: 仮になんらかのものは信仰深くないとすれば「取れ難いしその上しらばっくれる」ということは成り立たない
事実3: もしなにかは資金供与でないとしたら「各事業本部でないしその上それは農業政策だ」ということは事実と異なる
事実4: もしもなんらかの物は観賞だということはないならば「銀河だしさらに反応し易い」ということは成り立たない
事実5: 「仮にファイル番号でないとしたら曲がり掛けないしおまけに闖入する」物はある
事実6: もし仮になんらかの物は観賞でないなら「銀河でない一方で反応し易い」ということは間違っている
事実7: 「仮に観賞であるとすると「銀河でないしかつ反応し易い」ということは本当でない」ものはある
事実8: もしもなんらかの物は接近しないなら「「伯母ちゃん達でないけれど俗っぽい」ということは正しい」ということは成り立たない
事実9: 仮に何かは離席すれば「それは書き難くないが中学校段階だ」ということは間違っている

仮説: 「観賞でないとすれば「銀河でないけど反応し易い」ということは事実と異なる」ものはある
1. 事実6から、推論1: "もし「あの境界線は観賞でない」ということは成り立つとすると「それは銀河でないしそれは反応し易い」ということは成り立つということはない"が導かれる
2. 推論1から、仮説が導かれる

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