「その学会員はむさくるしくないしそれは保険募集でない」ということは嘘だ
fact1: 「「この当該工事はツィタデレ作戦だ一方でそれは御与え下さらない」ということは成り立たないならばこの当該工事はツィタデレ作戦でない」ということは成り立つ fact2: 「その学会員はむさくるしくない」ということは真実である fact3: むさくるしくない物は切削加工でない fact4: 「薄まる」物はある fact5: もし仮になにがしかのものが薄まらないとすればむさくるしくてかつ苦情申し立てである fact6: あらゆる物はむさくるしくない fact7: あらゆる物はむさくるしくないし保険募集でない fact8: もしもとある物は薄まるとしたら「この平行はむさくるしいけど苦情申し立てでない」ということは成り立たない fact9: すべての物は退位しなくてまた発売元でない fact10: すべてのものは御与え下さらないしおまけに鹿丸でない fact11: もしこの当該工事はツィタデレ作戦であるということはないとしたらそれは想像し易いしまた薄まる fact12: もしこの当該工事が想像し易いしまた薄まるならばあの一定程度は薄まるということはない
fact7 -> hypothesis;
fact7 -> hypothesis;
この平行は切削加工でなくておまけに与え易くない
fact15 -> int1: もし仮にこの平行がむさくるしくないとしたらそれは切削加工でない; fact14 & fact13 -> int2: 「「この平行はむさくるしい一方で苦情申し立てでない」ということは事実と異なる」ということは正しい;
$facts$ = fact1: 「「この当該工事はツィタデレ作戦だ一方でそれは御与え下さらない」ということは成り立たないならばこの当該工事はツィタデレ作戦でない」ということは成り立つ fact2: 「その学会員はむさくるしくない」ということは真実である fact3: むさくるしくない物は切削加工でない fact4: 「薄まる」物はある fact5: もし仮になにがしかのものが薄まらないとすればむさくるしくてかつ苦情申し立てである fact6: あらゆる物はむさくるしくない fact7: あらゆる物はむさくるしくないし保険募集でない fact8: もしもとある物は薄まるとしたら「この平行はむさくるしいけど苦情申し立てでない」ということは成り立たない fact9: すべての物は退位しなくてまた発売元でない fact10: すべてのものは御与え下さらないしおまけに鹿丸でない fact11: もしこの当該工事はツィタデレ作戦であるということはないとしたらそれは想像し易いしまた薄まる fact12: もしこの当該工事が想像し易いしまた薄まるならばあの一定程度は薄まるということはない ; $hypothesis$ = 「その学会員はむさくるしくないしそれは保険募集でない」ということは嘘だ ; $proof$ = 
fact7 -> hypothesis; __DISPROVED__
事実1: 「「この当該工事はツィタデレ作戦だ一方でそれは御与え下さらない」ということは成り立たないならばこの当該工事はツィタデレ作戦でない」ということは成り立つ
事実2: 「その学会員はむさくるしくない」ということは真実である
事実3: むさくるしくない物は切削加工でない
事実4: 「薄まる」物はある
事実5: もし仮になにがしかのものが薄まらないとすればむさくるしくてかつ苦情申し立てである
事実6: あらゆる物はむさくるしくない
事実7: あらゆる物はむさくるしくないし保険募集でない
事実8: もしもとある物は薄まるとしたら「この平行はむさくるしいけど苦情申し立てでない」ということは成り立たない
事実9: すべての物は退位しなくてまた発売元でない
事実10: すべてのものは御与え下さらないしおまけに鹿丸でない
事実11: もしこの当該工事はツィタデレ作戦であるということはないとしたらそれは想像し易いしまた薄まる
事実12: もしこの当該工事が想像し易いしまた薄まるならばあの一定程度は薄まるということはない

仮説: 「その学会員はむさくるしくないしそれは保険募集でない」ということは嘘だ
1. 事実7から、仮説が否定される

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