「この手続き補正書はちっこい」ということは正しい
fact1: 仮にあの出現率が究極兵器ならばあのヨットは聞き易い fact2: あの合成繊維は鋭くなくてちっこくない fact3: もし仮に「あの出現率は経営出来ないしおまけにそれは伝わり難くない」ということは誤りだとしたらそれは経営出来る fact4: この手続き補正書は交流し合わない fact5: もしなんらかの物が聞き易いなら交流し合うということはないしちっこいということはない fact6: もしもこの指数項目は会話らしいなら「あの出現率は経営出来なくてまたそれは伝わり難くない」ということは偽だ fact7: マイルドセブンはどでかい fact8: もし仮に「とある物はマイルドセブンであるかまたはどでかいということはない」ということは誤りだとしたら究極兵器だ fact9: もし仮に「なにがしかのものは経営出来る」ということは事実だとするとマイルドセブンである fact10: 全ての物は交流し合わない fact11: もし何らかのものは究極兵器だとすれば「交流し合うしまたそれは聞き易くない」ということは成り立つということはない fact12: どでかい物は究極兵器だ fact13: 何もかもは交流し合わないししかもちっこくない
fact13 -> int1: この手続き補正書は交流し合わなくてかつそれはちっこくない; int1 -> hypothesis;
あのヨットは交流し合わない
fact20 -> int2: もしも「あのヨットは聞き易い」ということは事実であるならそれは交流し合わないし更にちっこくない; fact15 -> int3: もしもあの出現率がどでかいなら究極兵器だ; fact14 -> int4: もしあの出現率はマイルドセブンであるならばどでかい; fact19 -> int5: もしもあの出現率が経営出来るならそれはマイルドセブンだ;
$facts$ = fact1: 仮にあの出現率が究極兵器ならばあのヨットは聞き易い fact2: あの合成繊維は鋭くなくてちっこくない fact3: もし仮に「あの出現率は経営出来ないしおまけにそれは伝わり難くない」ということは誤りだとしたらそれは経営出来る fact4: この手続き補正書は交流し合わない fact5: もしなんらかの物が聞き易いなら交流し合うということはないしちっこいということはない fact6: もしもこの指数項目は会話らしいなら「あの出現率は経営出来なくてまたそれは伝わり難くない」ということは偽だ fact7: マイルドセブンはどでかい fact8: もし仮に「とある物はマイルドセブンであるかまたはどでかいということはない」ということは誤りだとしたら究極兵器だ fact9: もし仮に「なにがしかのものは経営出来る」ということは事実だとするとマイルドセブンである fact10: 全ての物は交流し合わない fact11: もし何らかのものは究極兵器だとすれば「交流し合うしまたそれは聞き易くない」ということは成り立つということはない fact12: どでかい物は究極兵器だ fact13: 何もかもは交流し合わないししかもちっこくない ; $hypothesis$ = 「この手続き補正書はちっこい」ということは正しい ; $proof$ = 
fact13 -> int1: この手続き補正書は交流し合わなくてかつそれはちっこくない; int1 -> hypothesis; __DISPROVED__
事実1: 仮にあの出現率が究極兵器ならばあのヨットは聞き易い
事実2: あの合成繊維は鋭くなくてちっこくない
事実3: もし仮に「あの出現率は経営出来ないしおまけにそれは伝わり難くない」ということは誤りだとしたらそれは経営出来る
事実4: この手続き補正書は交流し合わない
事実5: もしなんらかの物が聞き易いなら交流し合うということはないしちっこいということはない
事実6: もしもこの指数項目は会話らしいなら「あの出現率は経営出来なくてまたそれは伝わり難くない」ということは偽だ
事実7: マイルドセブンはどでかい
事実8: もし仮に「とある物はマイルドセブンであるかまたはどでかいということはない」ということは誤りだとしたら究極兵器だ
事実9: もし仮に「なにがしかのものは経営出来る」ということは事実だとするとマイルドセブンである
事実10: 全ての物は交流し合わない
事実11: もし何らかのものは究極兵器だとすれば「交流し合うしまたそれは聞き易くない」ということは成り立つということはない
事実12: どでかい物は究極兵器だ
事実13: 何もかもは交流し合わないししかもちっこくない

仮説: 「この手続き補正書はちっこい」ということは正しい
1. 事実13から、推論1: "この手続き補正書は交流し合わなくてかつそれはちっこくない"が導かれる
2. 推論1から、仮説が否定される

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