「「もし仮に燃え滓なら「出現し易くないし適用す」ということは成り立たない」物はある」ということは偽だ
fact1: もし何かは見窄らしいとすると「厳いしまたそれは聴講する」ということは成り立たない fact2: なんらかのものは捕らえ易いとしたら「それはソヴィエト制でないけど演算要素である」ということは誤っている fact3: 仮になんらかのものは御披露するなら「包括遺贈でなくてまたそれは炉心だ」ということは偽である fact4: 「もし仮に各要素だとすれば「厳いしおまけに荒々しい」ということは事実と異なる」ものはある fact5: もし仮にこのバケツが燃え滓だとすればそれは出現し易くないが適用す fact6: 仮に「このバケツは燃え滓だ」ということは正しいとすると「出現し易くてかつそれは適用す」ということは嘘である fact7: 「御分かり頂けるとすると「話し難くて更に塩辛い」ということは成り立たない」ものはある fact8: なにがしかのものは燃え滓であるならば「出現し易くないけど適用す」ということは正しいということはない
fact8 -> int1: もし「このバケツは燃え滓である」ということは事実だとすると「それは出現し易くないし適用す」ということは偽である; int1 -> hypothesis;
$facts$ = fact1: もし何かは見窄らしいとすると「厳いしまたそれは聴講する」ということは成り立たない fact2: なんらかのものは捕らえ易いとしたら「それはソヴィエト制でないけど演算要素である」ということは誤っている fact3: 仮になんらかのものは御披露するなら「包括遺贈でなくてまたそれは炉心だ」ということは偽である fact4: 「もし仮に各要素だとすれば「厳いしおまけに荒々しい」ということは事実と異なる」ものはある fact5: もし仮にこのバケツが燃え滓だとすればそれは出現し易くないが適用す fact6: 仮に「このバケツは燃え滓だ」ということは正しいとすると「出現し易くてかつそれは適用す」ということは嘘である fact7: 「御分かり頂けるとすると「話し難くて更に塩辛い」ということは成り立たない」ものはある fact8: なにがしかのものは燃え滓であるならば「出現し易くないけど適用す」ということは正しいということはない ; $hypothesis$ = 「「もし仮に燃え滓なら「出現し易くないし適用す」ということは成り立たない」物はある」ということは偽だ ; $proof$ = 
fact8 -> int1: もし「このバケツは燃え滓である」ということは事実だとすると「それは出現し易くないし適用す」ということは偽である; int1 -> hypothesis; __DISPROVED__
事実1: もし何かは見窄らしいとすると「厳いしまたそれは聴講する」ということは成り立たない
事実2: なんらかのものは捕らえ易いとしたら「それはソヴィエト制でないけど演算要素である」ということは誤っている
事実3: 仮になんらかのものは御披露するなら「包括遺贈でなくてまたそれは炉心だ」ということは偽である
事実4: 「もし仮に各要素だとすれば「厳いしおまけに荒々しい」ということは事実と異なる」ものはある
事実5: もし仮にこのバケツが燃え滓だとすればそれは出現し易くないが適用す
事実6: 仮に「このバケツは燃え滓だ」ということは正しいとすると「出現し易くてかつそれは適用す」ということは嘘である
事実7: 「御分かり頂けるとすると「話し難くて更に塩辛い」ということは成り立たない」ものはある
事実8: なにがしかのものは燃え滓であるならば「出現し易くないけど適用す」ということは正しいということはない

仮説: 「「もし仮に燃え滓なら「出現し易くないし適用す」ということは成り立たない」物はある」ということは偽だ
1. 事実8から、推論1: "もし「このバケツは燃え滓である」ということは事実だとすると「それは出現し易くないし適用す」ということは偽である"が導かれる
2. 推論1から、仮説が否定される

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