あの引き渡し等は不遜でない
fact1: 冗談ぽくない物は取り辛いけれど不遜であるということはない fact2: 行われ易くないものは甚だしいし挿入出来る fact3: もし仮に「甚だしい」物はあれば「この鍼が躙り寄るということはないしさらにそれはサービス種類でない」ということは事実と異なる fact4: 仮に行われ易くない物は挿入出来れば「甚だしい」ということは確かである fact5: もしもその繊維・縫製品が鑑別出来ればそれは行われ易いということはないが挿入出来る fact6: 「その繊維・縫製品は鑑別出来る」ということは確かだ fact7: どれもこれもは行われ易いない fact8: あの引き渡し等は不遜だ fact9: もし仮にあの引き渡し等は冗談ぽくないとすれば「その将来は不遜であるししかもそれは取り辛い」ということは成り立つ
fact8 -> hypothesis;
fact8 -> hypothesis;
その将来は不遜である
fact10 -> int1: もしもその繊維・縫製品が行われ易くないなら甚だしいしそれに挿入出来る; fact11 -> int2: その繊維・縫製品は行われ易くない; int1 & int2 -> int3: その繊維・縫製品は甚だしいしさらに挿入出来る; int3 -> int4: すべての物は甚だしいししかも挿入出来る; int4 -> int5: この鍼は甚だしいししかも挿入出来る; int5 -> int6: この鍼は甚だしい;
$facts$ = fact1: 冗談ぽくない物は取り辛いけれど不遜であるということはない fact2: 行われ易くないものは甚だしいし挿入出来る fact3: もし仮に「甚だしい」物はあれば「この鍼が躙り寄るということはないしさらにそれはサービス種類でない」ということは事実と異なる fact4: 仮に行われ易くない物は挿入出来れば「甚だしい」ということは確かである fact5: もしもその繊維・縫製品が鑑別出来ればそれは行われ易いということはないが挿入出来る fact6: 「その繊維・縫製品は鑑別出来る」ということは確かだ fact7: どれもこれもは行われ易いない fact8: あの引き渡し等は不遜だ fact9: もし仮にあの引き渡し等は冗談ぽくないとすれば「その将来は不遜であるししかもそれは取り辛い」ということは成り立つ ; $hypothesis$ = あの引き渡し等は不遜でない ; $proof$ = 
fact8 -> hypothesis; __DISPROVED__
事実1: 冗談ぽくない物は取り辛いけれど不遜であるということはない
事実2: 行われ易くないものは甚だしいし挿入出来る
事実3: もし仮に「甚だしい」物はあれば「この鍼が躙り寄るということはないしさらにそれはサービス種類でない」ということは事実と異なる
事実4: 仮に行われ易くない物は挿入出来れば「甚だしい」ということは確かである
事実5: もしもその繊維・縫製品が鑑別出来ればそれは行われ易いということはないが挿入出来る
事実6: 「その繊維・縫製品は鑑別出来る」ということは確かだ
事実7: どれもこれもは行われ易いない
事実8: あの引き渡し等は不遜だ
事実9: もし仮にあの引き渡し等は冗談ぽくないとすれば「その将来は不遜であるししかもそれは取り辛い」ということは成り立つ

仮説: あの引き渡し等は不遜でない
1. 事実8から、仮説が否定される

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