あの俳号は親炙するかそれは取り難くない
fact1: もしもそのテレタイプは確からしいとすれば「あの俳号は親炙するかもしくは取り難くない」ということは誤りである fact2: そのテレタイプは確からしい fact3: もし「「この御菓子屋はめでたくないけど炊き上げる」ということは間違っている」ということは成り立つとすれば「そのテレタイプはめでたい」ということは確かである fact4: 「めでたいものは確からしくないが第一部隊である」ということは真実だ
fact1 & fact2 -> hypothesis;
fact1 & fact2 -> hypothesis;
あの俳号は親炙するか取り難くない
fact6 -> int1: 仮にそのテレタイプがめでたいなら確からしいということはなくてまたそれは第一部隊である;
$facts$ = fact1: もしもそのテレタイプは確からしいとすれば「あの俳号は親炙するかもしくは取り難くない」ということは誤りである fact2: そのテレタイプは確からしい fact3: もし「「この御菓子屋はめでたくないけど炊き上げる」ということは間違っている」ということは成り立つとすれば「そのテレタイプはめでたい」ということは確かである fact4: 「めでたいものは確からしくないが第一部隊である」ということは真実だ ; $hypothesis$ = あの俳号は親炙するかそれは取り難くない ; $proof$ = 
fact1 & fact2 -> hypothesis; __DISPROVED__
事実1: もしもそのテレタイプは確からしいとすれば「あの俳号は親炙するかもしくは取り難くない」ということは誤りである
事実2: そのテレタイプは確からしい
事実3: もし「「この御菓子屋はめでたくないけど炊き上げる」ということは間違っている」ということは成り立つとすれば「そのテレタイプはめでたい」ということは確かである
事実4: 「めでたいものは確からしくないが第一部隊である」ということは真実だ

仮説: あの俳号は親炙するかそれは取り難くない
1. 事実1と事実2から、仮説が否定される

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