この昭和前期は書す
fact1: この昭和前期は騒ぎ立てるけれど粗くない fact2: もしあの最上層部が書すが破顔しないならば粗い fact3: その教育思想は待ち遠しい fact4: その教育思想は揮発し易いとすれば「それは残り易い」ということは本当である fact5: 仮にあの最上層部が破顔するとしたらこの昭和前期は書すない fact6: 待ち遠しくないものはアクセスし易いかあるいはマッチである fact7: この昭和前期は公用である fact8: あの最上層部は粗い fact9: もしなんらかの物が現われ難いとすればそれは揮発し易い fact10: 仮にあの最上層部が書すとすればこの昭和前期は破顔しない fact11: 「その教育思想は待ち遠しくてそれは残り易い」ということは成り立てば「あのトレーニングウェアは待ち遠しくない」ということは成り立つ fact12: あの最上層部が書すけれど破顔しないとすると「建築する」ということは確かである fact13: あの沿岸警備隊は粗い fact14: 仮にとあるものが建築するけどそれが書すないとしたら破顔する fact15: 「あの最上層部は重々しい」ということは事実である fact16: あの最上層部は建築しない fact17: 「全てのものはアクセスし易いししかもマッチである」ということは成り立つ fact18: あの生産サイクルは建築するということはない fact19: この昭和前期は建築する fact20: その発根は建築するけれど聳やかさない fact21: もしあの現行が書すならばこの昭和前期は書す fact22: もし粗いものは建築するということはないとしたら「破顔する」ということは成り立つ fact23: その九十七戦競は建築しない
fact22 -> int1: もしあの最上層部が粗いが建築するということはないならば破顔する; fact8 & fact16 -> int2: あの最上層部は粗い一方で建築するということはない; int1 & int2 -> int3: あの最上層部は破顔する; int3 & fact5 -> hypothesis;
fact22 -> int1: ({AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; fact8 & fact16 -> int2: ({AA}{aa} & ¬{AB}{aa}); int1 & int2 -> int3: {B}{aa}; int3 & fact5 -> hypothesis;
「この昭和前期は書す」ということは成り立つ
fact25 -> int4: 仮にあのトレーニングウェアが待ち遠しくないとしたらアクセスし易いかあるいはマッチであるかもしくはどちらもである; fact26 -> int5: 「その教育思想が現われ難いならばその教育思想は揮発し易い」ということは事実と異ならない;
$facts$ = fact1: この昭和前期は騒ぎ立てるけれど粗くない fact2: もしあの最上層部が書すが破顔しないならば粗い fact3: その教育思想は待ち遠しい fact4: その教育思想は揮発し易いとすれば「それは残り易い」ということは本当である fact5: 仮にあの最上層部が破顔するとしたらこの昭和前期は書すない fact6: 待ち遠しくないものはアクセスし易いかあるいはマッチである fact7: この昭和前期は公用である fact8: あの最上層部は粗い fact9: もしなんらかの物が現われ難いとすればそれは揮発し易い fact10: 仮にあの最上層部が書すとすればこの昭和前期は破顔しない fact11: 「その教育思想は待ち遠しくてそれは残り易い」ということは成り立てば「あのトレーニングウェアは待ち遠しくない」ということは成り立つ fact12: あの最上層部が書すけれど破顔しないとすると「建築する」ということは確かである fact13: あの沿岸警備隊は粗い fact14: 仮にとあるものが建築するけどそれが書すないとしたら破顔する fact15: 「あの最上層部は重々しい」ということは事実である fact16: あの最上層部は建築しない fact17: 「全てのものはアクセスし易いししかもマッチである」ということは成り立つ fact18: あの生産サイクルは建築するということはない fact19: この昭和前期は建築する fact20: その発根は建築するけれど聳やかさない fact21: もしあの現行が書すならばこの昭和前期は書す fact22: もし粗いものは建築するということはないとしたら「破顔する」ということは成り立つ fact23: その九十七戦競は建築しない ; $hypothesis$ = この昭和前期は書す ; $proof$ = 
fact22 -> int1: もしあの最上層部が粗いが建築するということはないならば破顔する; fact8 & fact16 -> int2: あの最上層部は粗い一方で建築するということはない; int1 & int2 -> int3: あの最上層部は破顔する; int3 & fact5 -> hypothesis; __DISPROVED__
事実1: この昭和前期は騒ぎ立てるけれど粗くない
事実2: もしあの最上層部が書すが破顔しないならば粗い
事実3: その教育思想は待ち遠しい
事実4: その教育思想は揮発し易いとすれば「それは残り易い」ということは本当である
事実5: 仮にあの最上層部が破顔するとしたらこの昭和前期は書すない
事実6: 待ち遠しくないものはアクセスし易いかあるいはマッチである
事実7: この昭和前期は公用である
事実8: あの最上層部は粗い
事実9: もしなんらかの物が現われ難いとすればそれは揮発し易い
事実10: 仮にあの最上層部が書すとすればこの昭和前期は破顔しない
事実11: 「その教育思想は待ち遠しくてそれは残り易い」ということは成り立てば「あのトレーニングウェアは待ち遠しくない」ということは成り立つ
事実12: あの最上層部が書すけれど破顔しないとすると「建築する」ということは確かである
事実13: あの沿岸警備隊は粗い
事実14: 仮にとあるものが建築するけどそれが書すないとしたら破顔する
事実15: 「あの最上層部は重々しい」ということは事実である
事実16: あの最上層部は建築しない
事実17: 「全てのものはアクセスし易いししかもマッチである」ということは成り立つ
事実18: あの生産サイクルは建築するということはない
事実19: この昭和前期は建築する
事実20: その発根は建築するけれど聳やかさない
事実21: もしあの現行が書すならばこの昭和前期は書す
事実22: もし粗いものは建築するということはないとしたら「破顔する」ということは成り立つ
事実23: その九十七戦競は建築しない

仮説: この昭和前期は書す
1. 事実22から、推論1: "もしあの最上層部が粗いが建築するということはないならば破顔する"が導かれる
2. 事実8と事実16から、推論2: "あの最上層部は粗い一方で建築するということはない"が導かれる
3. 推論1と推論2から、推論3: "あの最上層部は破顔する"が導かれる
4. 推論3と事実5から、仮説が否定される

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