「「聞き取り易いとしたら「入封するしかつ読み取らない」ということは真実でない」ものはある」ということは成り立たない
fact1: 「仮に聞き取り易いなら「入封するしおまけに読み取る」ということは成り立たない」ものはある fact2: もしもその肉付きは聞き取り易いとしたら「入封するしまた読み取る」ということは嘘である fact3: もしその取れ立ては聞き取り易いとしたら「それは届き易いがしかしＢＩＤだということはない」ということは嘘だ fact4: ある物は身軽いなら「それは火照る一方で発癌性でない」ということは誤りである fact5: もしその肉付きはコーナー連結するとすると「それは入封するしまた運航しない」ということは嘘だ fact6: もしその肉付きが聞き取り易いとすると入封するし読み取らない fact7: もしも「その肉付きは聞き取り易い」ということは誤っていないとすると「入封するけど読み取らない」ということは誤りである fact8: 「もし聞き取り易いなら入封するし読み取らない」物はある
fact7 -> hypothesis;
fact7 -> hypothesis;
「身軽いとすると「火照る一方で発癌性でない」ということは誤りである」物はある
fact9 -> int1: もしその防風は身軽いとすれば「火照るがしかし発癌性であるということはない」ということは成り立つということはない; int1 -> hypothesis;
$facts$ = fact1: 「仮に聞き取り易いなら「入封するしおまけに読み取る」ということは成り立たない」ものはある fact2: もしもその肉付きは聞き取り易いとしたら「入封するしまた読み取る」ということは嘘である fact3: もしその取れ立ては聞き取り易いとしたら「それは届き易いがしかしＢＩＤだということはない」ということは嘘だ fact4: ある物は身軽いなら「それは火照る一方で発癌性でない」ということは誤りである fact5: もしその肉付きはコーナー連結するとすると「それは入封するしまた運航しない」ということは嘘だ fact6: もしその肉付きが聞き取り易いとすると入封するし読み取らない fact7: もしも「その肉付きは聞き取り易い」ということは誤っていないとすると「入封するけど読み取らない」ということは誤りである fact8: 「もし聞き取り易いなら入封するし読み取らない」物はある ; $hypothesis$ = 「「聞き取り易いとしたら「入封するしかつ読み取らない」ということは真実でない」ものはある」ということは成り立たない ; $proof$ = 
fact7 -> hypothesis; __DISPROVED__
事実1: 「仮に聞き取り易いなら「入封するしおまけに読み取る」ということは成り立たない」ものはある
事実2: もしもその肉付きは聞き取り易いとしたら「入封するしまた読み取る」ということは嘘である
事実3: もしその取れ立ては聞き取り易いとしたら「それは届き易いがしかしＢＩＤだということはない」ということは嘘だ
事実4: ある物は身軽いなら「それは火照る一方で発癌性でない」ということは誤りである
事実5: もしその肉付きはコーナー連結するとすると「それは入封するしまた運航しない」ということは嘘だ
事実6: もしその肉付きが聞き取り易いとすると入封するし読み取らない
事実7: もしも「その肉付きは聞き取り易い」ということは誤っていないとすると「入封するけど読み取らない」ということは誤りである
事実8: 「もし聞き取り易いなら入封するし読み取らない」物はある

仮説: 「「聞き取り易いとしたら「入封するしかつ読み取らない」ということは真実でない」ものはある」ということは成り立たない
1. 事実7から、仮説が否定される

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