「「「しかつめらしくなくてしかも宵の口でない」ということは事実と異なる」ものはある」ということは成り立たない
fact1: もし「この硬化療法は緊結しないしそれは思しない」ということは成り立たないとしたら「それは思し」ということは事実である fact2: 「その祟り石はしかつめらしい一方で宵の口でない」ということは誤りである fact3: もし仮になにがしかのものは手厳しいとすると「新株主でないししかも宵の口でない」ということは嘘である fact4: 「しかつめらしくないしさらに宵の口でない」ものはある fact5: なにがしかのものはめぼしくないし加えてそれは切り難くない fact6: 「その祟り石はしかつめらしいということはなくて宵の口でない」ということは成り立つということはない fact7: 「「しかつめらしいが宵の口でない」ということは成り立たない」ものはある fact8: 「その祟り石はしかつめらしくない一方で宵の口だ」ということは事実と異なる fact9: 「「しかつめらしくなくてその上宵の口だ」ということは成り立たない」物はある fact10: もし「この硬化療法は義士祭でないかまたはそれは手厳しくない」ということは事実と異なるとするとこのリミックスは手厳しい
fact6 -> hypothesis;
fact6 -> hypothesis;
「このリミックスは新株主でないしかつ宵の口でない」ということは成り立たない
fact12 -> int1: もしもこのリミックスは手厳しいならば「それは新株主でないしそれに宵の口でない」ということは成り立たない;
$facts$ = fact1: もし「この硬化療法は緊結しないしそれは思しない」ということは成り立たないとしたら「それは思し」ということは事実である fact2: 「その祟り石はしかつめらしい一方で宵の口でない」ということは誤りである fact3: もし仮になにがしかのものは手厳しいとすると「新株主でないししかも宵の口でない」ということは嘘である fact4: 「しかつめらしくないしさらに宵の口でない」ものはある fact5: なにがしかのものはめぼしくないし加えてそれは切り難くない fact6: 「その祟り石はしかつめらしいということはなくて宵の口でない」ということは成り立つということはない fact7: 「「しかつめらしいが宵の口でない」ということは成り立たない」ものはある fact8: 「その祟り石はしかつめらしくない一方で宵の口だ」ということは事実と異なる fact9: 「「しかつめらしくなくてその上宵の口だ」ということは成り立たない」物はある fact10: もし「この硬化療法は義士祭でないかまたはそれは手厳しくない」ということは事実と異なるとするとこのリミックスは手厳しい ; $hypothesis$ = 「「「しかつめらしくなくてしかも宵の口でない」ということは事実と異なる」ものはある」ということは成り立たない ; $proof$ = 
fact6 -> hypothesis; __DISPROVED__
事実1: もし「この硬化療法は緊結しないしそれは思しない」ということは成り立たないとしたら「それは思し」ということは事実である
事実2: 「その祟り石はしかつめらしい一方で宵の口でない」ということは誤りである
事実3: もし仮になにがしかのものは手厳しいとすると「新株主でないししかも宵の口でない」ということは嘘である
事実4: 「しかつめらしくないしさらに宵の口でない」ものはある
事実5: なにがしかのものはめぼしくないし加えてそれは切り難くない
事実6: 「その祟り石はしかつめらしいということはなくて宵の口でない」ということは成り立つということはない
事実7: 「「しかつめらしいが宵の口でない」ということは成り立たない」ものはある
事実8: 「その祟り石はしかつめらしくない一方で宵の口だ」ということは事実と異なる
事実9: 「「しかつめらしくなくてその上宵の口だ」ということは成り立たない」物はある
事実10: もし「この硬化療法は義士祭でないかまたはそれは手厳しくない」ということは事実と異なるとするとこのリミックスは手厳しい

仮説: 「「「しかつめらしくなくてしかも宵の口でない」ということは事実と異なる」ものはある」ということは成り立たない
1. 事実6から、仮説が否定される

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