「あの地券発行は実践理性だということはなくて本編でない」ということは事実と異なる
fact1: この見込み生産は間違い無いしその上むくつけし fact2: 「この理論面は宣布しない」ということは本当だ fact3: 「この海路は宣布しない」ということは本当だ fact4: もしもあるものは確認し易いとすれば「表現し難くないし貧乏臭くない」ということは正しいということはない fact5: もし仮にあるものはむくつけしとすれば「貧乏臭い」ということは正しい fact6: その号砲は観光局でない fact7: もしこの白河夜船が本編でないがしかし思わしいとすればあの地券発行は本編でない fact8: もしもこの見込み生産が表現し難いしかつ貧乏臭いとすればこの理論面は確認し易くない fact9: この見込み生産は実践理性である fact10: もしこの理論面が確認し易くないしさらに宣布しないならあの地券発行は実践理性でない fact11: 「「浮き易くないかもしくは観光局であるかあるいは両方ともである」ということは成り立たない」物はあるなら「この見込み生産は表現し難い」ということは成り立つ fact12: 「なんらかの物は表現し難くないしおまけに貧乏臭くない」ということは間違いであるならそれは浮き易くない fact13: この白河夜船は本編でないけれど思わしい fact14: 「その号砲は浮き易いということはないかもしくは観光局であるかもしくはどちらもである」ということは嘘である
fact14 -> int1: 「「浮き易くないかもしくは観光局である」ということは偽である」物はある; int1 & fact11 -> int2: この見込み生産は表現し難い; fact1 -> int3: この見込み生産はむくつけし; fact5 -> int4: この見込み生産がむくつけしとしたらそれは貧乏臭い; int3 & int4 -> int5: この見込み生産は貧乏臭い; int2 & int5 -> int6: この見込み生産は表現し難くて更にそれは貧乏臭い; int6 & fact8 -> int7: この理論面は確認し易くない; int7 & fact2 -> int8: この理論面は確認し易くないし宣布しない; int8 & fact10 -> int9: あの地券発行は実践理性でない; fact13 & fact7 -> int10: あの地券発行は本編でない; int9 & int10 -> hypothesis;
「この見込み生産は浮き易い」ということは間違っている
fact15 -> int11: 「この見込み生産は表現し難くないし貧乏臭くない」ということは成り立たないとしたら浮き易くない; fact16 -> int12: もしもこの見込み生産は確認し易いならば「表現し難くないしそれは貧乏臭くない」ということは嘘だ;
$facts$ = fact1: この見込み生産は間違い無いしその上むくつけし fact2: 「この理論面は宣布しない」ということは本当だ fact3: 「この海路は宣布しない」ということは本当だ fact4: もしもあるものは確認し易いとすれば「表現し難くないし貧乏臭くない」ということは正しいということはない fact5: もし仮にあるものはむくつけしとすれば「貧乏臭い」ということは正しい fact6: その号砲は観光局でない fact7: もしこの白河夜船が本編でないがしかし思わしいとすればあの地券発行は本編でない fact8: もしもこの見込み生産が表現し難いしかつ貧乏臭いとすればこの理論面は確認し易くない fact9: この見込み生産は実践理性である fact10: もしこの理論面が確認し易くないしさらに宣布しないならあの地券発行は実践理性でない fact11: 「「浮き易くないかもしくは観光局であるかあるいは両方ともである」ということは成り立たない」物はあるなら「この見込み生産は表現し難い」ということは成り立つ fact12: 「なんらかの物は表現し難くないしおまけに貧乏臭くない」ということは間違いであるならそれは浮き易くない fact13: この白河夜船は本編でないけれど思わしい fact14: 「その号砲は浮き易いということはないかもしくは観光局であるかもしくはどちらもである」ということは嘘である ; $hypothesis$ = 「あの地券発行は実践理性だということはなくて本編でない」ということは事実と異なる ; $proof$ = 
fact14 -> int1: 「「浮き易くないかもしくは観光局である」ということは偽である」物はある; int1 & fact11 -> int2: この見込み生産は表現し難い; fact1 -> int3: この見込み生産はむくつけし; fact5 -> int4: この見込み生産がむくつけしとしたらそれは貧乏臭い; int3 & int4 -> int5: この見込み生産は貧乏臭い; int2 & int5 -> int6: この見込み生産は表現し難くて更にそれは貧乏臭い; int6 & fact8 -> int7: この理論面は確認し易くない; int7 & fact2 -> int8: この理論面は確認し易くないし宣布しない; int8 & fact10 -> int9: あの地券発行は実践理性でない; fact13 & fact7 -> int10: あの地券発行は本編でない; int9 & int10 -> hypothesis; __DISPROVED__
事実1: この見込み生産は間違い無いしその上むくつけし
事実2: 「この理論面は宣布しない」ということは本当だ
事実3: 「この海路は宣布しない」ということは本当だ
事実4: もしもあるものは確認し易いとすれば「表現し難くないし貧乏臭くない」ということは正しいということはない
事実5: もし仮にあるものはむくつけしとすれば「貧乏臭い」ということは正しい
事実6: その号砲は観光局でない
事実7: もしこの白河夜船が本編でないがしかし思わしいとすればあの地券発行は本編でない
事実8: もしもこの見込み生産が表現し難いしかつ貧乏臭いとすればこの理論面は確認し易くない
事実9: この見込み生産は実践理性である
事実10: もしこの理論面が確認し易くないしさらに宣布しないならあの地券発行は実践理性でない
事実11: 「「浮き易くないかもしくは観光局であるかあるいは両方ともである」ということは成り立たない」物はあるなら「この見込み生産は表現し難い」ということは成り立つ
事実12: 「なんらかの物は表現し難くないしおまけに貧乏臭くない」ということは間違いであるならそれは浮き易くない
事実13: この白河夜船は本編でないけれど思わしい
事実14: 「その号砲は浮き易いということはないかもしくは観光局であるかもしくはどちらもである」ということは嘘である

仮説: 「あの地券発行は実践理性だということはなくて本編でない」ということは事実と異なる
1. 事実14から、推論1: "「「浮き易くないかもしくは観光局である」ということは偽である」物はある"が導かれる
2. 推論1と事実11から、推論2: "この見込み生産は表現し難い"が導かれる
3. 事実1から、推論3: "この見込み生産はむくつけし"が導かれる
4. 事実5から、推論4: "この見込み生産がむくつけしとしたらそれは貧乏臭い"が導かれる
5. 推論3と推論4から、推論5: "この見込み生産は貧乏臭い"が導かれる
6. 推論2と推論5から、推論6: "この見込み生産は表現し難くて更にそれは貧乏臭い"が導かれる
7. 推論6と事実8から、推論7: "この理論面は確認し易くない"が導かれる
8. 推論7と事実2から、推論8: "この理論面は確認し易くないし宣布しない"が導かれる
9. 推論8と事実10から、推論9: "あの地券発行は実践理性でない"が導かれる
10. 事実13と事実7から、推論10: "あの地券発行は本編でない"が導かれる
11. 推論9と推論10から、仮説が否定される

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