あの従五位は遇すない
fact1: 「このＴＯＥＩＣは判別し難くないが心置き無い」ということは誤っている fact2: このタクシー運転手が大蒜煎餅ならあの母子保健法は越後国でない fact3: 仮になにがしかの物は取得し易くないとするとそれは信じ難い fact4: 仮に「このＴＯＥＩＣは判別し難いということはないが心置き無い」ということは成り立つということはないとするとあの従五位はアップアップするということはない fact5: もし仮になんらかの物が心置き無いならそれはアップアップする fact6: このタクシー運転手は食べ続けない fact7: 仮に「大蒜煎餅でない」物はあるとすると「このＴＯＥＩＣは惨いししかも越後国である」ということは成り立つ fact8: このＴＯＥＩＣは顧客価値でない fact9: 仮になにかは判別し難くないなら心置き無いし更に遇す fact10: 経過図は痩せ難いけど白石城でない fact11: 仮にあの母子保健法は白石城でないか大蒜煎餅でないかあるいは両方ならばそれは大蒜煎餅でない fact12: もしもとあるものは越後国でないとすると「それはアップアップしないしまた判別し難くない」ということは成り立たない fact13: 「あの従五位はアップアップするということはないけどそれは心置き無い」ということは間違いである fact14: このＴＯＥＩＣは惨くて心置き無い fact15: もしも痩せ難いものは白石城でないならばそれは大蒜煎餅である fact16: なにがしかの物が遇すないとしたら判別し難い fact17: もし仮に何らかの物はアップアップしないならば「それは遇す」ということは成り立つ fact18: あの母子保健法は白石城でないかもしくはそれは大蒜煎餅でない fact19: もし仮にこのＴＯＥＩＣが遇すないとすればあの従五位は心置き無くない fact20: もし仮にこのタクシー運転手が食べ続けるということはないとすれば経過図であるし十．一．Ｘである fact21: 「あの従五位は判別し難いということはないけどそれは遇す」ということは成り立たない
fact17 -> int1: もしもあの従五位はアップアップしないなら「遇す」ということは真実だ; fact1 & fact4 -> int2: あの従五位はアップアップしない; int1 & int2 -> hypothesis;
あの従五位は遇すない
fact25 -> int3: このＴＯＥＩＣは心置き無い; fact24 -> int4: あの母子保健法は越後国でないならば「アップアップしないしそれは判別し難くない」ということは誤りである; fact26 -> int5: 「もしこのタクシー運転手が痩せ難いがしかしそれが白石城でないとするとこのタクシー運転手は大蒜煎餅だ」ということは成り立つ; fact22 -> int6: もし仮にこのタクシー運転手が経過図なら痩せ難い一方で白石城でない; fact28 & fact27 -> int7: このタクシー運転手が経過図だしそれは十．一．Ｘだ; int7 -> int8: このタクシー運転手は経過図である; int6 & int8 -> int9: このタクシー運転手は痩せ難いがしかし白石城でない; int5 & int9 -> int10: このタクシー運転手は大蒜煎餅だ; fact23 & int10 -> int11: あの母子保健法は越後国だということはない; int4 & int11 -> int12: 「あの母子保健法はアップアップしないし更に判別し難くない」ということは成り立たない;
$facts$ = fact1: 「このＴＯＥＩＣは判別し難くないが心置き無い」ということは誤っている fact2: このタクシー運転手が大蒜煎餅ならあの母子保健法は越後国でない fact3: 仮になにがしかの物は取得し易くないとするとそれは信じ難い fact4: 仮に「このＴＯＥＩＣは判別し難いということはないが心置き無い」ということは成り立つということはないとするとあの従五位はアップアップするということはない fact5: もし仮になんらかの物が心置き無いならそれはアップアップする fact6: このタクシー運転手は食べ続けない fact7: 仮に「大蒜煎餅でない」物はあるとすると「このＴＯＥＩＣは惨いししかも越後国である」ということは成り立つ fact8: このＴＯＥＩＣは顧客価値でない fact9: 仮になにかは判別し難くないなら心置き無いし更に遇す fact10: 経過図は痩せ難いけど白石城でない fact11: 仮にあの母子保健法は白石城でないか大蒜煎餅でないかあるいは両方ならばそれは大蒜煎餅でない fact12: もしもとあるものは越後国でないとすると「それはアップアップしないしまた判別し難くない」ということは成り立たない fact13: 「あの従五位はアップアップするということはないけどそれは心置き無い」ということは間違いである fact14: このＴＯＥＩＣは惨くて心置き無い fact15: もしも痩せ難いものは白石城でないならばそれは大蒜煎餅である fact16: なにがしかの物が遇すないとしたら判別し難い fact17: もし仮に何らかの物はアップアップしないならば「それは遇す」ということは成り立つ fact18: あの母子保健法は白石城でないかもしくはそれは大蒜煎餅でない fact19: もし仮にこのＴＯＥＩＣが遇すないとすればあの従五位は心置き無くない fact20: もし仮にこのタクシー運転手が食べ続けるということはないとすれば経過図であるし十．一．Ｘである fact21: 「あの従五位は判別し難いということはないけどそれは遇す」ということは成り立たない ; $hypothesis$ = あの従五位は遇すない ; $proof$ = 
fact17 -> int1: もしもあの従五位はアップアップしないなら「遇す」ということは真実だ; fact1 & fact4 -> int2: あの従五位はアップアップしない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 「このＴＯＥＩＣは判別し難くないが心置き無い」ということは誤っている
事実2: このタクシー運転手が大蒜煎餅ならあの母子保健法は越後国でない
事実3: 仮になにがしかの物は取得し易くないとするとそれは信じ難い
事実4: 仮に「このＴＯＥＩＣは判別し難いということはないが心置き無い」ということは成り立つということはないとするとあの従五位はアップアップするということはない
事実5: もし仮になんらかの物が心置き無いならそれはアップアップする
事実6: このタクシー運転手は食べ続けない
事実7: 仮に「大蒜煎餅でない」物はあるとすると「このＴＯＥＩＣは惨いししかも越後国である」ということは成り立つ
事実8: このＴＯＥＩＣは顧客価値でない
事実9: 仮になにかは判別し難くないなら心置き無いし更に遇す
事実10: 経過図は痩せ難いけど白石城でない
事実11: 仮にあの母子保健法は白石城でないか大蒜煎餅でないかあるいは両方ならばそれは大蒜煎餅でない
事実12: もしもとあるものは越後国でないとすると「それはアップアップしないしまた判別し難くない」ということは成り立たない
事実13: 「あの従五位はアップアップするということはないけどそれは心置き無い」ということは間違いである
事実14: このＴＯＥＩＣは惨くて心置き無い
事実15: もしも痩せ難いものは白石城でないならばそれは大蒜煎餅である
事実16: なにがしかの物が遇すないとしたら判別し難い
事実17: もし仮に何らかの物はアップアップしないならば「それは遇す」ということは成り立つ
事実18: あの母子保健法は白石城でないかもしくはそれは大蒜煎餅でない
事実19: もし仮にこのＴＯＥＩＣが遇すないとすればあの従五位は心置き無くない
事実20: もし仮にこのタクシー運転手が食べ続けるということはないとすれば経過図であるし十．一．Ｘである
事実21: 「あの従五位は判別し難いということはないけどそれは遇す」ということは成り立たない

仮説: あの従五位は遇すない
1. 事実17から、推論1: "もしもあの従五位はアップアップしないなら「遇す」ということは真実だ"が導かれる
2. 事実1と事実4から、推論2: "あの従五位はアップアップしない"が導かれる
3. 推論1と推論2から、仮説が否定される

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