「あの利用目的は拭けるかまたは捩じれるかもしくは両方である」ということは正しくない
fact1: もし「辞任する」物があるとするとあの利用目的は準用すらない一方でそれは浅し fact2: もし何かは準用すらないがしかしそれは浅しならば「拭ける」ということは事実だ fact3: なにかは辞任しないなら「拭けるかもしくは捩じれるか両方ともだ」ということは誤りである fact4: もしその寄り合い回数は準用すしさらに把握し難いとすると泣き続ける fact5: なにかは辞任する fact6: 「もし仮に「この多重性は忍耐強いということはない」ということは成り立つとすればあの多重性は大手メーカーであるけれど祭り上げない」ということは成り立つ fact7: もし仮に大手メーカーが祭り上げないならばそれは冷湿布でない
fact2 -> int1: もしもあの利用目的は準用すらない一方で浅しならばそれは拭ける; fact5 & fact1 -> int2: あの利用目的は準用すらない一方で浅し; int1 & int2 -> int3: あの利用目的は拭ける; int3 -> hypothesis;
「あの利用目的は拭けるか捩じれるか両方ともである」ということは偽である
fact10 -> int4: もし仮に「あの利用目的は辞任しない」ということは成り立つなら「拭けるかあるいは捩じれるかもしくはどちらもである」ということは嘘である; fact9 -> int5: もしこの多重性は大手メーカーであって更に祭り上げないなら冷湿布でない;
$facts$ = fact1: もし「辞任する」物があるとするとあの利用目的は準用すらない一方でそれは浅し fact2: もし何かは準用すらないがしかしそれは浅しならば「拭ける」ということは事実だ fact3: なにかは辞任しないなら「拭けるかもしくは捩じれるか両方ともだ」ということは誤りである fact4: もしその寄り合い回数は準用すしさらに把握し難いとすると泣き続ける fact5: なにかは辞任する fact6: 「もし仮に「この多重性は忍耐強いということはない」ということは成り立つとすればあの多重性は大手メーカーであるけれど祭り上げない」ということは成り立つ fact7: もし仮に大手メーカーが祭り上げないならばそれは冷湿布でない ; $hypothesis$ = 「あの利用目的は拭けるかまたは捩じれるかもしくは両方である」ということは正しくない ; $proof$ = 
fact2 -> int1: もしもあの利用目的は準用すらない一方で浅しならばそれは拭ける; fact5 & fact1 -> int2: あの利用目的は準用すらない一方で浅し; int1 & int2 -> int3: あの利用目的は拭ける; int3 -> hypothesis; __DISPROVED__
事実1: もし「辞任する」物があるとするとあの利用目的は準用すらない一方でそれは浅し
事実2: もし何かは準用すらないがしかしそれは浅しならば「拭ける」ということは事実だ
事実3: なにかは辞任しないなら「拭けるかもしくは捩じれるか両方ともだ」ということは誤りである
事実4: もしその寄り合い回数は準用すしさらに把握し難いとすると泣き続ける
事実5: なにかは辞任する
事実6: 「もし仮に「この多重性は忍耐強いということはない」ということは成り立つとすればあの多重性は大手メーカーであるけれど祭り上げない」ということは成り立つ
事実7: もし仮に大手メーカーが祭り上げないならばそれは冷湿布でない

仮説: 「あの利用目的は拭けるかまたは捩じれるかもしくは両方である」ということは正しくない
1. 事実2から、推論1: "もしもあの利用目的は準用すらない一方で浅しならばそれは拭ける"が導かれる
2. 事実5と事実1から、推論2: "あの利用目的は準用すらない一方で浅し"が導かれる
3. 推論1と推論2から、推論3: "あの利用目的は拭ける"が導かれる
4. 推論3から、仮説が否定される

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