「「もし仮に「流刑するし加えて思しい」ということは成り立たないなら祝いでない」ものはある」ということは間違いである
fact1: 「仮に各演目でないとしたら小さくない」ものはある fact2: 「流刑しないとすれば祝いだということはない」ものはある fact3: 「もしも流刑するしそれに思しいならば祝いでない」物はある fact4: 「もしも思しくないとすれば祝いであるということはない」物はある fact5: 「もし「流刑するし思しい」ということは成り立つということはないならば祝いな」物はある fact6: 仮に「その一字縦は似付かわしいしおまけに思しい」ということは成り立つということはないなら「それは物らしい」ということは正しい fact7: もしこの第一線が流刑するししかもそれが思しいとすれば祝いでない fact8: もし仮にこの第一線は思しいということはないとしたら「それは祝いでない」ということは真実である fact9: 「もし仮に出血し易くないとすれば詠ぜない」物はある fact10: 仮に「この第一線は流刑するし思しい」ということは本当でないとしたらそれは祝いだ fact11: 仮にこの第一線は祝いでないならばそれはロンデルでない fact12: 仮に「この第一線は流刑するしそれは思しい」ということは成り立たないならば祝いでない fact13: 「担保権設定で刺々しいとしたら原告銀行でない」ものはある fact14: 仮に「「このメインプログラムは利き難いしまた逆流する」ということは成り立つ」ということは間違いならばそれは流刑する fact15: もしもこの第一線が溶け易くてさらに指導監督するとしたらそれは思しいということはない
fact12 -> hypothesis;
fact12 -> hypothesis;
$facts$ = fact1: 「仮に各演目でないとしたら小さくない」ものはある fact2: 「流刑しないとすれば祝いだということはない」ものはある fact3: 「もしも流刑するしそれに思しいならば祝いでない」物はある fact4: 「もしも思しくないとすれば祝いであるということはない」物はある fact5: 「もし「流刑するし思しい」ということは成り立つということはないならば祝いな」物はある fact6: 仮に「その一字縦は似付かわしいしおまけに思しい」ということは成り立つということはないなら「それは物らしい」ということは正しい fact7: もしこの第一線が流刑するししかもそれが思しいとすれば祝いでない fact8: もし仮にこの第一線は思しいということはないとしたら「それは祝いでない」ということは真実である fact9: 「もし仮に出血し易くないとすれば詠ぜない」物はある fact10: 仮に「この第一線は流刑するし思しい」ということは本当でないとしたらそれは祝いだ fact11: 仮にこの第一線は祝いでないならばそれはロンデルでない fact12: 仮に「この第一線は流刑するしそれは思しい」ということは成り立たないならば祝いでない fact13: 「担保権設定で刺々しいとしたら原告銀行でない」ものはある fact14: 仮に「「このメインプログラムは利き難いしまた逆流する」ということは成り立つ」ということは間違いならばそれは流刑する fact15: もしもこの第一線が溶け易くてさらに指導監督するとしたらそれは思しいということはない ; $hypothesis$ = 「「もし仮に「流刑するし加えて思しい」ということは成り立たないなら祝いでない」ものはある」ということは間違いである ; $proof$ = 
fact12 -> hypothesis; __DISPROVED__
事実1: 「仮に各演目でないとしたら小さくない」ものはある
事実2: 「流刑しないとすれば祝いだということはない」ものはある
事実3: 「もしも流刑するしそれに思しいならば祝いでない」物はある
事実4: 「もしも思しくないとすれば祝いであるということはない」物はある
事実5: 「もし「流刑するし思しい」ということは成り立つということはないならば祝いな」物はある
事実6: 仮に「その一字縦は似付かわしいしおまけに思しい」ということは成り立つということはないなら「それは物らしい」ということは正しい
事実7: もしこの第一線が流刑するししかもそれが思しいとすれば祝いでない
事実8: もし仮にこの第一線は思しいということはないとしたら「それは祝いでない」ということは真実である
事実9: 「もし仮に出血し易くないとすれば詠ぜない」物はある
事実10: 仮に「この第一線は流刑するし思しい」ということは本当でないとしたらそれは祝いだ
事実11: 仮にこの第一線は祝いでないならばそれはロンデルでない
事実12: 仮に「この第一線は流刑するしそれは思しい」ということは成り立たないならば祝いでない
事実13: 「担保権設定で刺々しいとしたら原告銀行でない」ものはある
事実14: 仮に「「このメインプログラムは利き難いしまた逆流する」ということは成り立つ」ということは間違いならばそれは流刑する
事実15: もしもこの第一線が溶け易くてさらに指導監督するとしたらそれは思しいということはない

仮説: 「「もし仮に「流刑するし加えて思しい」ということは成り立たないなら祝いでない」ものはある」ということは間違いである
1. 事実12から、仮説が否定される

よって、仮説が否定されました。