この小倉碑文は起こし易くない
fact1: この小倉碑文が態とらしくないとすればあの国家行政は起こし易くて義務不履行である fact2: この小倉碑文は義務不履行である fact3: 態とらしくないものは起こし易くない fact4: あの構成主義は起こし易くない fact5: この国家行政は態とらしいということはない fact6: あの教材・教具は起こし易い fact7: この小倉碑文は挿入でない fact8: もしもこの国家行政が態とらしくないとすればあの小倉碑文は義務不履行だ fact9: この国家行政が起こし易くないとしたらこの小倉碑文は態とらしいししかも義務不履行である fact10: もしこの国家行政が態とらしくないとするとこの小倉碑文は義務不履行で加えて起こし易い fact11: もしなんらかのものが荒れないとしたら態とらしくないし考察出来ない fact12: もしこの国家行政が義務不履行でないならばあの小倉碑文は態とらしいしおまけにそれは起こし易い fact13: この小倉碑文はめぼしい fact14: あの優柔不断は起こし易い
fact10 & fact5 -> int1: この小倉碑文は義務不履行だししかも起こし易い; int1 -> hypothesis;
fact10 & fact5 -> int1: ({AA}{b} & {AB}{b}); int1 -> hypothesis;
この小倉碑文は起こし易くない
fact16 -> int2: もしこの小倉碑文が態とらしくないならばそれは起こし易いということはない; fact15 -> int3: もし「「この小倉碑文は荒れる」ということは嘘だ」ということは確かなら態とらしくないしおまけにそれは考察出来ない;
$facts$ = fact1: この小倉碑文が態とらしくないとすればあの国家行政は起こし易くて義務不履行である fact2: この小倉碑文は義務不履行である fact3: 態とらしくないものは起こし易くない fact4: あの構成主義は起こし易くない fact5: この国家行政は態とらしいということはない fact6: あの教材・教具は起こし易い fact7: この小倉碑文は挿入でない fact8: もしもこの国家行政が態とらしくないとすればあの小倉碑文は義務不履行だ fact9: この国家行政が起こし易くないとしたらこの小倉碑文は態とらしいししかも義務不履行である fact10: もしこの国家行政が態とらしくないとするとこの小倉碑文は義務不履行で加えて起こし易い fact11: もしなんらかのものが荒れないとしたら態とらしくないし考察出来ない fact12: もしこの国家行政が義務不履行でないならばあの小倉碑文は態とらしいしおまけにそれは起こし易い fact13: この小倉碑文はめぼしい fact14: あの優柔不断は起こし易い ; $hypothesis$ = この小倉碑文は起こし易くない ; $proof$ = 
fact10 & fact5 -> int1: この小倉碑文は義務不履行だししかも起こし易い; int1 -> hypothesis; __DISPROVED__
事実1: この小倉碑文が態とらしくないとすればあの国家行政は起こし易くて義務不履行である
事実2: この小倉碑文は義務不履行である
事実3: 態とらしくないものは起こし易くない
事実4: あの構成主義は起こし易くない
事実5: この国家行政は態とらしいということはない
事実6: あの教材・教具は起こし易い
事実7: この小倉碑文は挿入でない
事実8: もしもこの国家行政が態とらしくないとすればあの小倉碑文は義務不履行だ
事実9: この国家行政が起こし易くないとしたらこの小倉碑文は態とらしいししかも義務不履行である
事実10: もしこの国家行政が態とらしくないとするとこの小倉碑文は義務不履行で加えて起こし易い
事実11: もしなんらかのものが荒れないとしたら態とらしくないし考察出来ない
事実12: もしこの国家行政が義務不履行でないならばあの小倉碑文は態とらしいしおまけにそれは起こし易い
事実13: この小倉碑文はめぼしい
事実14: あの優柔不断は起こし易い

仮説: この小倉碑文は起こし易くない
1. 事実10と事実5から、推論1: "この小倉碑文は義務不履行だししかも起こし易い"が導かれる
2. 推論1から、仮説が否定される

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