あのサポート体制はちっこくない
fact1: 「あの御餅はＸ／Ｙでないかまたは社会改造でないかあるいは両方だ」ということは成り立たない fact2: 社会改造でないかあるいは御助けしないかもしくは両方ともだというものはない fact3: もしも「「社会改造でないかあるいは御助けしないか両方である」ということは間違いな」物があるならあのサポート体制はちっこくない
fact2 -> int1: 「あの朝鮮問題は社会改造でないかあるいは御助けしない」ということは成り立たない; int1 -> int2: 「「社会改造でないかまたは御助けしないかどちらもである」ということは成り立たない」物はある; int2 & fact3 -> hypothesis;
$facts$ = fact1: 「あの御餅はＸ／Ｙでないかまたは社会改造でないかあるいは両方だ」ということは成り立たない fact2: 社会改造でないかあるいは御助けしないかもしくは両方ともだというものはない fact3: もしも「「社会改造でないかあるいは御助けしないか両方である」ということは間違いな」物があるならあのサポート体制はちっこくない ; $hypothesis$ = あのサポート体制はちっこくない ; $proof$ = 
fact2 -> int1: 「あの朝鮮問題は社会改造でないかあるいは御助けしない」ということは成り立たない; int1 -> int2: 「「社会改造でないかまたは御助けしないかどちらもである」ということは成り立たない」物はある; int2 & fact3 -> hypothesis; __PROVED__
事実1: 「あの御餅はＸ／Ｙでないかまたは社会改造でないかあるいは両方だ」ということは成り立たない
事実2: 社会改造でないかあるいは御助けしないかもしくは両方ともだというものはない
事実3: もしも「「社会改造でないかあるいは御助けしないか両方である」ということは間違いな」物があるならあのサポート体制はちっこくない

仮説: あのサポート体制はちっこくない
1. 事実2から、推論1: "「あの朝鮮問題は社会改造でないかあるいは御助けしない」ということは成り立たない"が導かれる
2. 推論1から、推論2: "「「社会改造でないかまたは御助けしないかどちらもである」ということは成り立たない」物はある"が導かれる
3. 推論2と事実3から、仮説が導かれる

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