この精密検査は寡占する
fact1: あの国語審議会はけばけばしいということはない fact2: もしあの国語審議会がけばけばしいならこの精密検査は寡占する fact3: あの濡れタオルは生易しい fact4: あのティーンエイジャーが取り次ぐとしたらこの身体障害者手帳はたじろぐかもしくはそれは別段でない fact5: もし仮にあの濡れタオルが生易しいとしたら完納しないし田圃である fact6: あの国語審議会はＷＩＳＨでない fact7: 仮に「この精密検査は寡占するかもしくはそれはけばけばしい」ということは成り立たないとするとあの国語審議会はうようよしない fact8: もし「この精密検査はうようよするかもしくは寡占するかあるいは両方ともである」ということは成り立たないとすれば「あの国語審議会はＷＩＳＨでない」ということは正しい fact9: 「この精密検査はけばけばしいということはない」ということは真実だ fact10: 「あの国語審議会はうようよするかもしくはそれはＷＩＳＨであるかまたはどちらもだ」ということは成り立たないならこの精密検査は寡占しない fact11: もしもあの五月末日は別段だとすると「あの国語審議会は所有する」ということは確かである fact12: もしもあの国語審議会がけばけばしいということはないとすればそれはＷＩＳＨだということはない fact13: あの濡れタオルが完納しないけど田圃だとするとあの予備学生は完納するということはない fact14: もしある物が所有すればけばけばしいけど寡占しない fact15: 仮にあの予備学生が完納するということはないとすればあのティーンエイジャーが第二号被保険者だしおまけにそれは管理化である fact16: もし仮にこの身体障害者手帳がたじろぐとしたらあの五月末日は別段だ fact17: 管理化は取り次ぐ fact18: 「このロイヤル・ハワイアン・ショッピングセンターは真っ白いか生易しいかまたは両方だ」ということは成り立つということはない fact19: この精密検査は仲違いしない fact20: 仮に「あの国語審議会はけばけばしくない」ということは誤っていないとすれば「それはうようよするかもしくはそれはＷＩＳＨであるかもしくは両方である」ということは成り立たない
fact20 & fact1 -> int1: 「あの国語審議会はうようよするかもしくはそれはＷＩＳＨであるかまたはどちらもだ」ということは間違っている; int1 & fact10 -> hypothesis;
この精密検査はＷＩＳＨでない
fact21 -> int2: もしあの国語審議会が所有するならそれはけばけばしいけど寡占しない; fact27 -> int3: もしあのティーンエイジャーが管理化ならそれは取り次ぐ; fact25 & fact28 -> int4: あの濡れタオルは完納するということはないけれど田圃である; fact24 & int4 -> int5: あの予備学生は完納しない; fact23 & int5 -> int6: あのティーンエイジャーは第二号被保険者でかつ管理化だ; int6 -> int7: あのティーンエイジャーは管理化である; int3 & int7 -> int8: あのティーンエイジャーは取り次ぐ; fact29 & int8 -> int9: この身体障害者手帳はたじろぐかそれは別段でないか両方ともである;
$facts$ = fact1: あの国語審議会はけばけばしいということはない fact2: もしあの国語審議会がけばけばしいならこの精密検査は寡占する fact3: あの濡れタオルは生易しい fact4: あのティーンエイジャーが取り次ぐとしたらこの身体障害者手帳はたじろぐかもしくはそれは別段でない fact5: もし仮にあの濡れタオルが生易しいとしたら完納しないし田圃である fact6: あの国語審議会はＷＩＳＨでない fact7: 仮に「この精密検査は寡占するかもしくはそれはけばけばしい」ということは成り立たないとするとあの国語審議会はうようよしない fact8: もし「この精密検査はうようよするかもしくは寡占するかあるいは両方ともである」ということは成り立たないとすれば「あの国語審議会はＷＩＳＨでない」ということは正しい fact9: 「この精密検査はけばけばしいということはない」ということは真実だ fact10: 「あの国語審議会はうようよするかもしくはそれはＷＩＳＨであるかまたはどちらもだ」ということは成り立たないならこの精密検査は寡占しない fact11: もしもあの五月末日は別段だとすると「あの国語審議会は所有する」ということは確かである fact12: もしもあの国語審議会がけばけばしいということはないとすればそれはＷＩＳＨだということはない fact13: あの濡れタオルが完納しないけど田圃だとするとあの予備学生は完納するということはない fact14: もしある物が所有すればけばけばしいけど寡占しない fact15: 仮にあの予備学生が完納するということはないとすればあのティーンエイジャーが第二号被保険者だしおまけにそれは管理化である fact16: もし仮にこの身体障害者手帳がたじろぐとしたらあの五月末日は別段だ fact17: 管理化は取り次ぐ fact18: 「このロイヤル・ハワイアン・ショッピングセンターは真っ白いか生易しいかまたは両方だ」ということは成り立つということはない fact19: この精密検査は仲違いしない fact20: 仮に「あの国語審議会はけばけばしくない」ということは誤っていないとすれば「それはうようよするかもしくはそれはＷＩＳＨであるかもしくは両方である」ということは成り立たない ; $hypothesis$ = この精密検査は寡占する ; $proof$ = 
fact20 & fact1 -> int1: 「あの国語審議会はうようよするかもしくはそれはＷＩＳＨであるかまたはどちらもだ」ということは間違っている; int1 & fact10 -> hypothesis; __DISPROVED__
事実1: あの国語審議会はけばけばしいということはない
事実2: もしあの国語審議会がけばけばしいならこの精密検査は寡占する
事実3: あの濡れタオルは生易しい
事実4: あのティーンエイジャーが取り次ぐとしたらこの身体障害者手帳はたじろぐかもしくはそれは別段でない
事実5: もし仮にあの濡れタオルが生易しいとしたら完納しないし田圃である
事実6: あの国語審議会はＷＩＳＨでない
事実7: 仮に「この精密検査は寡占するかもしくはそれはけばけばしい」ということは成り立たないとするとあの国語審議会はうようよしない
事実8: もし「この精密検査はうようよするかもしくは寡占するかあるいは両方ともである」ということは成り立たないとすれば「あの国語審議会はＷＩＳＨでない」ということは正しい
事実9: 「この精密検査はけばけばしいということはない」ということは真実だ
事実10: 「あの国語審議会はうようよするかもしくはそれはＷＩＳＨであるかまたはどちらもだ」ということは成り立たないならこの精密検査は寡占しない
事実11: もしもあの五月末日は別段だとすると「あの国語審議会は所有する」ということは確かである
事実12: もしもあの国語審議会がけばけばしいということはないとすればそれはＷＩＳＨだということはない
事実13: あの濡れタオルが完納しないけど田圃だとするとあの予備学生は完納するということはない
事実14: もしある物が所有すればけばけばしいけど寡占しない
事実15: 仮にあの予備学生が完納するということはないとすればあのティーンエイジャーが第二号被保険者だしおまけにそれは管理化である
事実16: もし仮にこの身体障害者手帳がたじろぐとしたらあの五月末日は別段だ
事実17: 管理化は取り次ぐ
事実18: 「このロイヤル・ハワイアン・ショッピングセンターは真っ白いか生易しいかまたは両方だ」ということは成り立つということはない
事実19: この精密検査は仲違いしない
事実20: 仮に「あの国語審議会はけばけばしくない」ということは誤っていないとすれば「それはうようよするかもしくはそれはＷＩＳＨであるかもしくは両方である」ということは成り立たない

仮説: この精密検査は寡占する
1. 事実20と事実1から、推論1: "「あの国語審議会はうようよするかもしくはそれはＷＩＳＨであるかまたはどちらもだ」ということは間違っている"が導かれる
2. 推論1と事実10から、仮説が否定される

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