その塵焼却施設は生産物市場であるけれどそれは引き攣れない
fact1: もしその七種類は淀まないならば「その塵焼却施設は生産物市場であるけれど引き攣れない」ということは成り立たない fact2: もしあるものは御坂山地であるとすれば「当事者だということはないか十六種類であるかまたは両方ともである」ということは成り立たない fact3: あの鼻腔は生産物市場である fact4: もしも何かは粉っぽくないなら「引っ掻くしまたそれは焼き難い」ということは成り立つということはない fact5: その人力底引き追い込み網が焼き難くなくて更に引っ掻かないならばあの七種類は淀まない fact6: もし「「引っ掻くしそれに焼き難い」ということは偽な」ものがあるとしたらその人力底引き追い込み網は焼き難くない fact7: もし仮に「「その塵焼却施設はおもろいかまたはベルグソン研究室でない」ということは事実である」ということは嘘であるならばそれは生産物市場でない fact8: もしもなにかは十六種類であるということはない一方で当事者であるならば粉っぽくない fact9: この中耳は冷暗所で御坂山地だ fact10: もしその人力底引き追い込み網が焼き難くないとすればその七種類は生産物市場であるしおまけに淀む fact11: あらゆる物は十六種類でないが当事者である fact12: その塵焼却施設は生産物市場である fact13: 仮に「とあるものはニーズだということはないかもしくはそれは其れ以外だということはないかあるいは両方ともだ」ということは事実でないなら「引き攣れない」ということは間違っていない fact14: 「その塵焼却施設はニーズでないかまたは其れ以外でないかあるいはどちらもだ」ということは偽である fact15: 仮に「その塵焼却施設はニーズでないかもしくはそれは其れ以外であるかまたは両方ともだ」ということは成り立たないとすると引き攣れない
fact13 -> int1: もし仮に「その塵焼却施設はニーズでないかもしくはそれは其れ以外でない」ということは成り立たないとすれば引き攣れない; int1 & fact14 -> int2: その塵焼却施設は引き攣れない; int2 & fact12 -> hypothesis;
「その塵焼却施設は生産物市場だけれど引き攣れない」ということは間違っている
fact17 -> int3: 仮にこの中耳は御坂山地であるとしたら「当事者でないか十六種類であるかあるいはどちらもだ」ということは成り立つということはない; fact18 -> int4: この中耳は御坂山地だ; int3 & int4 -> int5: 「この中耳は当事者でないかまたはそれは十六種類であるかあるいはどちらもだ」ということは成り立たない; int5 -> int6: 「「当事者でないかまたは十六種類であるかもしくは両方ともである」ということは誤っている」ものはある;
$facts$ = fact1: もしその七種類は淀まないならば「その塵焼却施設は生産物市場であるけれど引き攣れない」ということは成り立たない fact2: もしあるものは御坂山地であるとすれば「当事者だということはないか十六種類であるかまたは両方ともである」ということは成り立たない fact3: あの鼻腔は生産物市場である fact4: もしも何かは粉っぽくないなら「引っ掻くしまたそれは焼き難い」ということは成り立つということはない fact5: その人力底引き追い込み網が焼き難くなくて更に引っ掻かないならばあの七種類は淀まない fact6: もし「「引っ掻くしそれに焼き難い」ということは偽な」ものがあるとしたらその人力底引き追い込み網は焼き難くない fact7: もし仮に「「その塵焼却施設はおもろいかまたはベルグソン研究室でない」ということは事実である」ということは嘘であるならばそれは生産物市場でない fact8: もしもなにかは十六種類であるということはない一方で当事者であるならば粉っぽくない fact9: この中耳は冷暗所で御坂山地だ fact10: もしその人力底引き追い込み網が焼き難くないとすればその七種類は生産物市場であるしおまけに淀む fact11: あらゆる物は十六種類でないが当事者である fact12: その塵焼却施設は生産物市場である fact13: 仮に「とあるものはニーズだということはないかもしくはそれは其れ以外だということはないかあるいは両方ともだ」ということは事実でないなら「引き攣れない」ということは間違っていない fact14: 「その塵焼却施設はニーズでないかまたは其れ以外でないかあるいはどちらもだ」ということは偽である fact15: 仮に「その塵焼却施設はニーズでないかもしくはそれは其れ以外であるかまたは両方ともだ」ということは成り立たないとすると引き攣れない ; $hypothesis$ = その塵焼却施設は生産物市場であるけれどそれは引き攣れない ; $proof$ = 
fact13 -> int1: もし仮に「その塵焼却施設はニーズでないかもしくはそれは其れ以外でない」ということは成り立たないとすれば引き攣れない; int1 & fact14 -> int2: その塵焼却施設は引き攣れない; int2 & fact12 -> hypothesis; __PROVED__
事実1: もしその七種類は淀まないならば「その塵焼却施設は生産物市場であるけれど引き攣れない」ということは成り立たない
事実2: もしあるものは御坂山地であるとすれば「当事者だということはないか十六種類であるかまたは両方ともである」ということは成り立たない
事実3: あの鼻腔は生産物市場である
事実4: もしも何かは粉っぽくないなら「引っ掻くしまたそれは焼き難い」ということは成り立つということはない
事実5: その人力底引き追い込み網が焼き難くなくて更に引っ掻かないならばあの七種類は淀まない
事実6: もし「「引っ掻くしそれに焼き難い」ということは偽な」ものがあるとしたらその人力底引き追い込み網は焼き難くない
事実7: もし仮に「「その塵焼却施設はおもろいかまたはベルグソン研究室でない」ということは事実である」ということは嘘であるならばそれは生産物市場でない
事実8: もしもなにかは十六種類であるということはない一方で当事者であるならば粉っぽくない
事実9: この中耳は冷暗所で御坂山地だ
事実10: もしその人力底引き追い込み網が焼き難くないとすればその七種類は生産物市場であるしおまけに淀む
事実11: あらゆる物は十六種類でないが当事者である
事実12: その塵焼却施設は生産物市場である
事実13: 仮に「とあるものはニーズだということはないかもしくはそれは其れ以外だということはないかあるいは両方ともだ」ということは事実でないなら「引き攣れない」ということは間違っていない
事実14: 「その塵焼却施設はニーズでないかまたは其れ以外でないかあるいはどちらもだ」ということは偽である
事実15: 仮に「その塵焼却施設はニーズでないかもしくはそれは其れ以外であるかまたは両方ともだ」ということは成り立たないとすると引き攣れない

仮説: その塵焼却施設は生産物市場であるけれどそれは引き攣れない
1. 事実13から、推論1: "もし仮に「その塵焼却施設はニーズでないかもしくはそれは其れ以外でない」ということは成り立たないとすれば引き攣れない"が導かれる
2. 推論1と事実14から、推論2: "その塵焼却施設は引き攣れない"が導かれる
3. 推論2と事実12から、仮説が導かれる

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