「「仮に処理等でないとしたら「付け易くないかもしくは温いかあるいはどちらもだ」ということは成り立たない」ものはある」ということは成り立つということはない
fact1: 「処理等でないなら温くない」物はある fact2: もしもなにかは処理等でないとしたら「付け易くないかもしくはそれは温いか両方だ」ということは成り立たない fact3: 仮にその御まん丸はケネディ政権でないとすれば「それは陰間茶屋でないかそれは良妻であるかもしくはどちらもである」ということは誤りだ fact4: もしもある物は処理等でないとすれば「付け易いかもしくはそれは温いかもしくは両方である」ということは間違いだ
fact2 -> int1: もしもその実行前は処理等でないとしたら「それは付け易くないか温い」ということは成り立たない; int1 -> hypothesis;
$facts$ = fact1: 「処理等でないなら温くない」物はある fact2: もしもなにかは処理等でないとしたら「付け易くないかもしくはそれは温いか両方だ」ということは成り立たない fact3: 仮にその御まん丸はケネディ政権でないとすれば「それは陰間茶屋でないかそれは良妻であるかもしくはどちらもである」ということは誤りだ fact4: もしもある物は処理等でないとすれば「付け易いかもしくはそれは温いかもしくは両方である」ということは間違いだ ; $hypothesis$ = 「「仮に処理等でないとしたら「付け易くないかもしくは温いかあるいはどちらもだ」ということは成り立たない」ものはある」ということは成り立つということはない ; $proof$ = 
fact2 -> int1: もしもその実行前は処理等でないとしたら「それは付け易くないか温い」ということは成り立たない; int1 -> hypothesis; __DISPROVED__
事実1: 「処理等でないなら温くない」物はある
事実2: もしもなにかは処理等でないとしたら「付け易くないかもしくはそれは温いか両方だ」ということは成り立たない
事実3: 仮にその御まん丸はケネディ政権でないとすれば「それは陰間茶屋でないかそれは良妻であるかもしくはどちらもである」ということは誤りだ
事実4: もしもある物は処理等でないとすれば「付け易いかもしくはそれは温いかもしくは両方である」ということは間違いだ

仮説: 「「仮に処理等でないとしたら「付け易くないかもしくは温いかあるいはどちらもだ」ということは成り立たない」ものはある」ということは成り立つということはない
1. 事実2から、推論1: "もしもその実行前は処理等でないとしたら「それは付け易くないか温い」ということは成り立たない"が導かれる
2. 推論1から、仮説が否定される

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