「「出難いし更に体全部である」物はある」ということは誤っている
fact1: その国連安全保障理事会が甘ったるいとするとこのプウェデングラムは雨夜でないしそれは遜色無いということはない fact2: もし仮に「「振り仰ぐか転び易い」ということは偽である」物があるとすればその国連安全保障理事会は甘ったるい fact3: あのボディーラインは出難い fact4: もし仮にこのプウェデングラムが雨夜でないしかつそれが遜色無くないとしたらあのボディーラインは体全部である fact5: 「この制圧は振り仰ぐかそれは転び易い」ということは誤りである
fact5 -> int1: 「「振り仰ぐか転び易いかもしくは両方だ」ということは誤りな」ものはある; int1 & fact2 -> int2: その国連安全保障理事会は甘ったるい; int2 & fact1 -> int3: このプウェデングラムは雨夜でなくてかつ遜色無くない; int3 & fact4 -> int4: 「あのボディーラインは体全部だ」ということは偽でない; int4 & fact3 -> int5: あのボディーラインは出難いし体全部だ; int5 -> hypothesis;
$facts$ = fact1: その国連安全保障理事会が甘ったるいとするとこのプウェデングラムは雨夜でないしそれは遜色無いということはない fact2: もし仮に「「振り仰ぐか転び易い」ということは偽である」物があるとすればその国連安全保障理事会は甘ったるい fact3: あのボディーラインは出難い fact4: もし仮にこのプウェデングラムが雨夜でないしかつそれが遜色無くないとしたらあのボディーラインは体全部である fact5: 「この制圧は振り仰ぐかそれは転び易い」ということは誤りである ; $hypothesis$ = 「「出難いし更に体全部である」物はある」ということは誤っている ; $proof$ = 
fact5 -> int1: 「「振り仰ぐか転び易いかもしくは両方だ」ということは誤りな」ものはある; int1 & fact2 -> int2: その国連安全保障理事会は甘ったるい; int2 & fact1 -> int3: このプウェデングラムは雨夜でなくてかつ遜色無くない; int3 & fact4 -> int4: 「あのボディーラインは体全部だ」ということは偽でない; int4 & fact3 -> int5: あのボディーラインは出難いし体全部だ; int5 -> hypothesis; __DISPROVED__
事実1: その国連安全保障理事会が甘ったるいとするとこのプウェデングラムは雨夜でないしそれは遜色無いということはない
事実2: もし仮に「「振り仰ぐか転び易い」ということは偽である」物があるとすればその国連安全保障理事会は甘ったるい
事実3: あのボディーラインは出難い
事実4: もし仮にこのプウェデングラムが雨夜でないしかつそれが遜色無くないとしたらあのボディーラインは体全部である
事実5: 「この制圧は振り仰ぐかそれは転び易い」ということは誤りである

仮説: 「「出難いし更に体全部である」物はある」ということは誤っている
1. 事実5から、推論1: "「「振り仰ぐか転び易いかもしくは両方だ」ということは誤りな」ものはある"が導かれる
2. 推論1と事実2から、推論2: "その国連安全保障理事会は甘ったるい"が導かれる
3. 推論2と事実1から、推論3: "このプウェデングラムは雨夜でなくてかつ遜色無くない"が導かれる
4. 推論3と事実4から、推論4: "「あのボディーラインは体全部だ」ということは偽でない"が導かれる
5. 推論4と事実3から、推論5: "あのボディーラインは出難いし体全部だ"が導かれる
6. 推論5から、仮説が否定される

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