その御希望は比較する
fact1: もし仮にその立ち読みが追記しないとすればそれは詰るし現われる fact2: 「このフロントマスクは畳み込まなくて詰らない」ということは誤っているとしたらぷっくりするということはない fact3: その立ち読みは追記するということはない fact4: もし当て付けがましい物がぷっくりするならその御希望は比較しない fact5: 「ぷっくりする」物はある fact6: 「当て付けがましいしぷっくりする」物はある fact7: その物納は比較しない fact8: 「「当て付けがましい」ということは真実な」ものはある fact9: その御希望は当て付けがましかない fact10: もし「詰る」物はあるとすれば「「このフロントマスクは畳み込まないしそれに詰るということはない」ということは成り立たない」ということは真実である fact11: 「増え難くて調和し難い」ものはある fact12: 「程無いしさらに身柄拘束する」ものはある fact13: もし仮に「あの職能団体はぷっくりしない」ということは成り立つとすればその御希望は比較するししかも当て付けがましい fact14: 「もし仮に「なにがしかのものはぷっくりするし空きっ腹だ」ということは成り立たないとしたらぷっくりしない」ということは成り立つ
fact6 & fact4 -> hypothesis;
その御希望は比較する
fact17 -> int1: もし仮に「あの職能団体はぷっくりするし空きっ腹である」ということは成り立つということはないならそれはぷっくりしない; fact16 & fact19 -> int2: その立ち読みは詰るし現われる; int2 -> int3: その立ち読みは詰る; int3 -> int4: 「詰る」ものはある; int4 & fact15 -> int5: 「このフロントマスクは畳み込まないし詰らない」ということは誤りである; fact20 & int5 -> int6: このフロントマスクはぷっくりするということはない; int6 -> int7: あるものはぷっくりしない;
$facts$ = fact1: もし仮にその立ち読みが追記しないとすればそれは詰るし現われる fact2: 「このフロントマスクは畳み込まなくて詰らない」ということは誤っているとしたらぷっくりするということはない fact3: その立ち読みは追記するということはない fact4: もし当て付けがましい物がぷっくりするならその御希望は比較しない fact5: 「ぷっくりする」物はある fact6: 「当て付けがましいしぷっくりする」物はある fact7: その物納は比較しない fact8: 「「当て付けがましい」ということは真実な」ものはある fact9: その御希望は当て付けがましかない fact10: もし「詰る」物はあるとすれば「「このフロントマスクは畳み込まないしそれに詰るということはない」ということは成り立たない」ということは真実である fact11: 「増え難くて調和し難い」ものはある fact12: 「程無いしさらに身柄拘束する」ものはある fact13: もし仮に「あの職能団体はぷっくりしない」ということは成り立つとすればその御希望は比較するししかも当て付けがましい fact14: 「もし仮に「なにがしかのものはぷっくりするし空きっ腹だ」ということは成り立たないとしたらぷっくりしない」ということは成り立つ ; $hypothesis$ = その御希望は比較する ; $proof$ = 
fact6 & fact4 -> hypothesis; __DISPROVED__
事実1: もし仮にその立ち読みが追記しないとすればそれは詰るし現われる
事実2: 「このフロントマスクは畳み込まなくて詰らない」ということは誤っているとしたらぷっくりするということはない
事実3: その立ち読みは追記するということはない
事実4: もし当て付けがましい物がぷっくりするならその御希望は比較しない
事実5: 「ぷっくりする」物はある
事実6: 「当て付けがましいしぷっくりする」物はある
事実7: その物納は比較しない
事実8: 「「当て付けがましい」ということは真実な」ものはある
事実9: その御希望は当て付けがましかない
事実10: もし「詰る」物はあるとすれば「「このフロントマスクは畳み込まないしそれに詰るということはない」ということは成り立たない」ということは真実である
事実11: 「増え難くて調和し難い」ものはある
事実12: 「程無いしさらに身柄拘束する」ものはある
事実13: もし仮に「あの職能団体はぷっくりしない」ということは成り立つとすればその御希望は比較するししかも当て付けがましい
事実14: 「もし仮に「なにがしかのものはぷっくりするし空きっ腹だ」ということは成り立たないとしたらぷっくりしない」ということは成り立つ

仮説: その御希望は比較する
1. 事実6と事実4から、仮説が否定される

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