この教科書問題は入れ難くない
fact1: あのバスローブ姿が社会教育法ならばこの教科書問題は入れ難い fact2: もし仮にあのバスローブ姿が入れ難くないとすればこの教科書問題は社会教育法だ fact3: なにがしかのものは熱っぽさでない fact4: 仮に「あのバスローブ姿は入れ難い」ということは事実であるならばこの教科書問題は社会教育法である fact5: 仮に何かは件名索引であるならばそれは入れ難いということはない fact6: もしもこの教科書問題が社会教育法でないとすればあのバスローブ姿は入れ難い fact7: 仮に何かは起こせばそれはアロマセラピーである fact8: もしもあの現役復帰が細長いならばそれはアロマセラピーである fact9: その万引きが煩わしくないならあのバスローブ姿は社会教育法だ fact10: もし仮にあの現役復帰はアロマセラピーであるとすると仮面だ fact11: その万引きは件名索引でないかもしくは煩わしくないかあるいは両方ともだ fact12: 仮にある物は織機でないとすると「それが社会教育法だししかも療養する」ということは成り立たない fact13: この教科書問題は社会教育法だ fact14: もし仮に「その万引きは社会教育法でない」ということは真実ならばあのバスローブ姿は煩わしい fact15: もしその万引きが社会教育法でないならばあのバスローブ姿は件名索引である fact16: あの現役復帰は起こすかまたは細長いかあるいは両方ともである fact17: その万引きは社会教育法だ fact18: もしも「その万引きは件名索引でない」ということは成り立つとしたらあのバスローブ姿は社会教育法だ fact19: もしもあのバスローブ姿が煩わしくないならばその万引きは社会教育法だ fact20: あのバスローブ姿が件名索引であるということはないならその万引きは社会教育法だ fact21: もし仮に何らかの物が熱っぽさでないならあの現役復帰はしても良いし炉縁だ fact22: 仮に「その万引きは社会教育法でない」ということは間違いでないならばこの教科書問題は件名索引だしそれに煩わしい
fact11 & fact18 & fact9 -> int1: あのバスローブ姿は社会教育法である; int1 & fact1 -> hypothesis;
fact11 & fact18 & fact9 -> int1: {C}{c}; int1 & fact1 -> hypothesis;
この教科書問題は入れ難くない
fact28 -> int2: この教科書問題が件名索引だとすればそれは入れ難くない; fact23 -> int3: あのバスローブ姿は織機でないなら「それは社会教育法であるしそれは療養する」ということは嘘だ; fact25 & fact31 -> int4: あの現役復帰はしても良いししかも炉縁である; int4 -> int5: あの現役復帰はしても良い; fact24 -> int6: 仮にあの現役復帰が起こすならアロマセラピーだ; fact26 & int6 & fact27 -> int7: あの現役復帰はアロマセラピーだ; fact30 & int7 -> int8: あの現役復帰は仮面だ; int5 & int8 -> int9: あの現役復帰はしても良くて仮面だ; int9 -> int10: 「しても良いし更に仮面である」物はある;
$facts$ = fact1: あのバスローブ姿が社会教育法ならばこの教科書問題は入れ難い fact2: もし仮にあのバスローブ姿が入れ難くないとすればこの教科書問題は社会教育法だ fact3: なにがしかのものは熱っぽさでない fact4: 仮に「あのバスローブ姿は入れ難い」ということは事実であるならばこの教科書問題は社会教育法である fact5: 仮に何かは件名索引であるならばそれは入れ難いということはない fact6: もしもこの教科書問題が社会教育法でないとすればあのバスローブ姿は入れ難い fact7: 仮に何かは起こせばそれはアロマセラピーである fact8: もしもあの現役復帰が細長いならばそれはアロマセラピーである fact9: その万引きが煩わしくないならあのバスローブ姿は社会教育法だ fact10: もし仮にあの現役復帰はアロマセラピーであるとすると仮面だ fact11: その万引きは件名索引でないかもしくは煩わしくないかあるいは両方ともだ fact12: 仮にある物は織機でないとすると「それが社会教育法だししかも療養する」ということは成り立たない fact13: この教科書問題は社会教育法だ fact14: もし仮に「その万引きは社会教育法でない」ということは真実ならばあのバスローブ姿は煩わしい fact15: もしその万引きが社会教育法でないならばあのバスローブ姿は件名索引である fact16: あの現役復帰は起こすかまたは細長いかあるいは両方ともである fact17: その万引きは社会教育法だ fact18: もしも「その万引きは件名索引でない」ということは成り立つとしたらあのバスローブ姿は社会教育法だ fact19: もしもあのバスローブ姿が煩わしくないならばその万引きは社会教育法だ fact20: あのバスローブ姿が件名索引であるということはないならその万引きは社会教育法だ fact21: もし仮に何らかの物が熱っぽさでないならあの現役復帰はしても良いし炉縁だ fact22: 仮に「その万引きは社会教育法でない」ということは間違いでないならばこの教科書問題は件名索引だしそれに煩わしい ; $hypothesis$ = この教科書問題は入れ難くない ; $proof$ = 
fact11 & fact18 & fact9 -> int1: あのバスローブ姿は社会教育法である; int1 & fact1 -> hypothesis; __DISPROVED__
事実1: あのバスローブ姿が社会教育法ならばこの教科書問題は入れ難い
事実2: もし仮にあのバスローブ姿が入れ難くないとすればこの教科書問題は社会教育法だ
事実3: なにがしかのものは熱っぽさでない
事実4: 仮に「あのバスローブ姿は入れ難い」ということは事実であるならばこの教科書問題は社会教育法である
事実5: 仮に何かは件名索引であるならばそれは入れ難いということはない
事実6: もしもこの教科書問題が社会教育法でないとすればあのバスローブ姿は入れ難い
事実7: 仮に何かは起こせばそれはアロマセラピーである
事実8: もしもあの現役復帰が細長いならばそれはアロマセラピーである
事実9: その万引きが煩わしくないならあのバスローブ姿は社会教育法だ
事実10: もし仮にあの現役復帰はアロマセラピーであるとすると仮面だ
事実11: その万引きは件名索引でないかもしくは煩わしくないかあるいは両方ともだ
事実12: 仮にある物は織機でないとすると「それが社会教育法だししかも療養する」ということは成り立たない
事実13: この教科書問題は社会教育法だ
事実14: もし仮に「その万引きは社会教育法でない」ということは真実ならばあのバスローブ姿は煩わしい
事実15: もしその万引きが社会教育法でないならばあのバスローブ姿は件名索引である
事実16: あの現役復帰は起こすかまたは細長いかあるいは両方ともである
事実17: その万引きは社会教育法だ
事実18: もしも「その万引きは件名索引でない」ということは成り立つとしたらあのバスローブ姿は社会教育法だ
事実19: もしもあのバスローブ姿が煩わしくないならばその万引きは社会教育法だ
事実20: あのバスローブ姿が件名索引であるということはないならその万引きは社会教育法だ
事実21: もし仮に何らかの物が熱っぽさでないならあの現役復帰はしても良いし炉縁だ
事実22: 仮に「その万引きは社会教育法でない」ということは間違いでないならばこの教科書問題は件名索引だしそれに煩わしい

仮説: この教科書問題は入れ難くない
1. 事実11と事実18と事実9から、推論1: "あのバスローブ姿は社会教育法である"が導かれる
2. 推論1と事実1から、仮説が否定される

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