その二千三年度は耳慣れる
fact1: この入院サービスは十三週線でないがしかし割り切る fact2: もしなにかは係属するなら割り切るかそれは耳慣れない fact3: なにかは舞い上がるかあるいは重々しかないとすれば重々しかない fact4: この胃薬は強制出来ない一方で十三週線だ fact5: この厚意は弱い fact6: 何らかの物が起こり易いならばそれは舞い上がるか重々しいということはないか両方だ fact7: もしもこの入院サービスが起こり易いしかつ舞い上がるとしたらこの厚意は割り切らない fact8: もしもその二千三年度が係属しないけど耳慣れるとするとこの厚意は重々しい fact9: 弱い物は割り切るか十三週線でないか両方ともだ fact10: もしこの入院サービスが十三週線だということはないがそれが割り切るならその二千三年度は係属しない fact11: その二千三年度は起こり易くないけれど当たり易い fact12: もし仮に「この入院サービスは舞い上がらない一方で重々しい」ということは事実と異なればそのあきた小町は係属しない fact13: もしもその二千三年度が係属するとしたら弱いかもしくは重々しかないかまたは両方だ fact14: この厚意は意義深い fact15: もしこの入院サービスが割り切らないが舞い上がればこの厚意は起こり易くない fact16: その二千三年度は重々しかない fact17: もしこの厚意が弱いとするとそれは起こり易い fact18: ある物が係属するとすると耳慣れる
fact10 & fact1 -> int1: その二千三年度は係属しない; void -> assump1: 以下のように仮定する。その二千三年度は耳慣れる; int1 & assump1 -> int2: その二千三年度は係属しないけれど耳慣れる; int2 & fact8 -> int3: この厚意は重々しい; fact6 -> int4: もしもこの厚意が起こり易いとしたら舞い上がるかまたは重々しかないか両方ともである; fact5 & fact17 -> int5: この厚意は起こり易い; int4 & int5 -> int6: この厚意は舞い上がるか重々しかない; fact3 -> int7: もしもこの厚意が舞い上がるかもしくは重々しかないとすればそれは重々しかない; int6 & int7 -> int8: この厚意は重々しかない; int3 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis;
その二千三年度は耳慣れる
fact19 -> int10: その二千三年度が係属するとしたらそれは耳慣れる;
$facts$ = fact1: この入院サービスは十三週線でないがしかし割り切る fact2: もしなにかは係属するなら割り切るかそれは耳慣れない fact3: なにかは舞い上がるかあるいは重々しかないとすれば重々しかない fact4: この胃薬は強制出来ない一方で十三週線だ fact5: この厚意は弱い fact6: 何らかの物が起こり易いならばそれは舞い上がるか重々しいということはないか両方だ fact7: もしもこの入院サービスが起こり易いしかつ舞い上がるとしたらこの厚意は割り切らない fact8: もしもその二千三年度が係属しないけど耳慣れるとするとこの厚意は重々しい fact9: 弱い物は割り切るか十三週線でないか両方ともだ fact10: もしこの入院サービスが十三週線だということはないがそれが割り切るならその二千三年度は係属しない fact11: その二千三年度は起こり易くないけれど当たり易い fact12: もし仮に「この入院サービスは舞い上がらない一方で重々しい」ということは事実と異なればそのあきた小町は係属しない fact13: もしもその二千三年度が係属するとしたら弱いかもしくは重々しかないかまたは両方だ fact14: この厚意は意義深い fact15: もしこの入院サービスが割り切らないが舞い上がればこの厚意は起こり易くない fact16: その二千三年度は重々しかない fact17: もしこの厚意が弱いとするとそれは起こり易い fact18: ある物が係属するとすると耳慣れる ; $hypothesis$ = その二千三年度は耳慣れる ; $proof$ = 
fact10 & fact1 -> int1: その二千三年度は係属しない; void -> assump1: 以下のように仮定する。その二千三年度は耳慣れる; int1 & assump1 -> int2: その二千三年度は係属しないけれど耳慣れる; int2 & fact8 -> int3: この厚意は重々しい; fact6 -> int4: もしもこの厚意が起こり易いとしたら舞い上がるかまたは重々しかないか両方ともである; fact5 & fact17 -> int5: この厚意は起こり易い; int4 & int5 -> int6: この厚意は舞い上がるか重々しかない; fact3 -> int7: もしもこの厚意が舞い上がるかもしくは重々しかないとすればそれは重々しかない; int6 & int7 -> int8: この厚意は重々しかない; int3 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis; __DISPROVED__
事実1: この入院サービスは十三週線でないがしかし割り切る
事実2: もしなにかは係属するなら割り切るかそれは耳慣れない
事実3: なにかは舞い上がるかあるいは重々しかないとすれば重々しかない
事実4: この胃薬は強制出来ない一方で十三週線だ
事実5: この厚意は弱い
事実6: 何らかの物が起こり易いならばそれは舞い上がるか重々しいということはないか両方だ
事実7: もしもこの入院サービスが起こり易いしかつ舞い上がるとしたらこの厚意は割り切らない
事実8: もしもその二千三年度が係属しないけど耳慣れるとするとこの厚意は重々しい
事実9: 弱い物は割り切るか十三週線でないか両方ともだ
事実10: もしこの入院サービスが十三週線だということはないがそれが割り切るならその二千三年度は係属しない
事実11: その二千三年度は起こり易くないけれど当たり易い
事実12: もし仮に「この入院サービスは舞い上がらない一方で重々しい」ということは事実と異なればそのあきた小町は係属しない
事実13: もしもその二千三年度が係属するとしたら弱いかもしくは重々しかないかまたは両方だ
事実14: この厚意は意義深い
事実15: もしこの入院サービスが割り切らないが舞い上がればこの厚意は起こり易くない
事実16: その二千三年度は重々しかない
事実17: もしこの厚意が弱いとするとそれは起こり易い
事実18: ある物が係属するとすると耳慣れる

仮説: その二千三年度は耳慣れる
1. 事実10と事実1から、推論1: "その二千三年度は係属しない"が導かれる
2. 仮定1: 以下のように仮定する。その二千三年度は耳慣れる
3. 推論1と仮定1から、推論2: "その二千三年度は係属しないけれど耳慣れる"が導かれる
4. 推論2と事実8から、推論3: "この厚意は重々しい"が導かれる
5. 事実6から、推論4: "もしもこの厚意が起こり易いとしたら舞い上がるかまたは重々しかないか両方ともである"が導かれる
6. 事実5と事実17から、推論5: "この厚意は起こり易い"が導かれる
7. 推論4と推論5から、推論6: "この厚意は舞い上がるか重々しかない"が導かれる
8. 事実3から、推論7: "もしもこの厚意が舞い上がるかもしくは重々しかないとすればそれは重々しかない"が導かれる
9. 推論6と推論7から、推論8: "この厚意は重々しかない"が導かれる
10. 推論3と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、仮説が否定される

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