その空席はリトル・リーグでない
fact1: もしもその空席が田舎臭い一方で信じ易いということはないとすればあの外部者は田舎臭くない fact2: その空席は焼けでない fact3: もし「なにがしかの物は太閤でないしその上狙われ易いということはない」ということは成り立たないとすると「聞こし召す」ということは間違いでない fact4: その空席は太閤である fact5: なにかは息苦しくないとすると好発するしそれにそれはリトル・リーグだ fact6: 「その経済的要求は大満足する一方で書架でない」ということは成り立つということはない fact7: 仮にあの家族介護が好発するということはないがそれが息苦しいとするとあの外部者は太閤でない fact8: もし「あの外部者は狙われ易いけれど太閤でない」ということは間違っているとするとその空席はリトル・リーグである fact9: もしなにかは借り易いとすると「それは好発しなくてしかもそれは息苦しい」ということは偽でない fact10: 仮に何らかのものはリトル・リーグならば「それは太閤でなくてかつそれは狙われ易くない」ということは間違いである fact11: もしも「なんらかのものは息苦しいけれど借り易くない」ということは成り立たないとするとそれは息苦しいということはない fact12: 「あの外部者は狙われ易いしおまけにそれは太閤だ」ということは成り立たない fact13: 仮にその空席が焼けでないとすれば田舎臭い一方で信じ易くない fact14: もしあの外部者が狙われ易くないしリトル・リーグであるということはないとしたらその空席はリトル・リーグでない fact15: もしも何かは田舎臭くないとすると「息苦しいけど借り易いということはない」ということは成り立つということはない fact16: もし仮にその孫共が田舎臭いならばあの家族介護は借り易い fact17: あの外部者は狙われ易くない fact18: 仮に「その経済的要求は大満足する一方で書架でない」ということは嘘であるとしたらそれは一般臨床医だ fact19: もし仮にその経済的要求が一般臨床医だとしたらそれは焼けでないし信じ易くない fact20: 仮になにがしかの物が借り易いとすればその孫共は田舎臭いかあるいはそれは借り易いかまたは両方である
void -> assump1: 以下のように仮定する。あの外部者は狙われ易いけど太閤でない; assump1 -> int1: あの外部者は狙われ易い; int1 & fact17 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「あの外部者は狙われ易いがしかし太閤であるということはない」ということは成り立たない; int3 & fact8 -> hypothesis;
void -> assump1: ({A}{a} & ¬{B}{a}); assump1 -> int1: {A}{a}; int1 & fact17 -> int2: #F#; [assump1] & int2 -> int3: ¬({A}{a} & ¬{B}{a}); int3 & fact8 -> hypothesis;
あの外部者は聞こし召す
fact22 -> int4: 「あの外部者は太閤でなくてまた狙われ易くない」ということは嘘ならば「それは聞こし召す」ということは誤っているということはない; fact24 -> int5: もし仮にあの外部者はリトル・リーグならば「それは太閤であるということはなくてまた狙われ易くない」ということは成り立たない; fact23 -> int6: 仮にあの外部者が息苦しくないならば好発するしリトル・リーグである; fact27 -> int7: 仮に「あの外部者は息苦しいがしかし借り易くない」ということは間違いであるならそれは息苦しくない; fact25 -> int8: 仮にあの外部者は田舎臭いということはないとすると「息苦しいけど借り易くない」ということは嘘だ; fact21 & fact26 -> int9: その空席は田舎臭い一方で信じ易くない; fact28 & int9 -> int10: あの外部者は田舎臭くない; int8 & int10 -> int11: 「あの外部者は息苦しいがしかし借り易くない」ということは事実と異なる; int7 & int11 -> int12: あの外部者は息苦しくない; int6 & int12 -> int13: あの外部者は好発するしリトル・リーグだ; int13 -> int14: あの外部者はリトル・リーグだ; int5 & int14 -> int15: 「あの外部者は太閤でないしおまけに狙われ易くない」ということは成り立たない; int4 & int15 -> hypothesis;
$facts$ = fact1: もしもその空席が田舎臭い一方で信じ易いということはないとすればあの外部者は田舎臭くない fact2: その空席は焼けでない fact3: もし「なにがしかの物は太閤でないしその上狙われ易いということはない」ということは成り立たないとすると「聞こし召す」ということは間違いでない fact4: その空席は太閤である fact5: なにかは息苦しくないとすると好発するしそれにそれはリトル・リーグだ fact6: 「その経済的要求は大満足する一方で書架でない」ということは成り立つということはない fact7: 仮にあの家族介護が好発するということはないがそれが息苦しいとするとあの外部者は太閤でない fact8: もし「あの外部者は狙われ易いけれど太閤でない」ということは間違っているとするとその空席はリトル・リーグである fact9: もしなにかは借り易いとすると「それは好発しなくてしかもそれは息苦しい」ということは偽でない fact10: 仮に何らかのものはリトル・リーグならば「それは太閤でなくてかつそれは狙われ易くない」ということは間違いである fact11: もしも「なんらかのものは息苦しいけれど借り易くない」ということは成り立たないとするとそれは息苦しいということはない fact12: 「あの外部者は狙われ易いしおまけにそれは太閤だ」ということは成り立たない fact13: 仮にその空席が焼けでないとすれば田舎臭い一方で信じ易くない fact14: もしあの外部者が狙われ易くないしリトル・リーグであるということはないとしたらその空席はリトル・リーグでない fact15: もしも何かは田舎臭くないとすると「息苦しいけど借り易いということはない」ということは成り立つということはない fact16: もし仮にその孫共が田舎臭いならばあの家族介護は借り易い fact17: あの外部者は狙われ易くない fact18: 仮に「その経済的要求は大満足する一方で書架でない」ということは嘘であるとしたらそれは一般臨床医だ fact19: もし仮にその経済的要求が一般臨床医だとしたらそれは焼けでないし信じ易くない fact20: 仮になにがしかの物が借り易いとすればその孫共は田舎臭いかあるいはそれは借り易いかまたは両方である ; $hypothesis$ = その空席はリトル・リーグでない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの外部者は狙われ易いけど太閤でない; assump1 -> int1: あの外部者は狙われ易い; int1 & fact17 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「あの外部者は狙われ易いがしかし太閤であるということはない」ということは成り立たない; int3 & fact8 -> hypothesis; __DISPROVED__
事実1: もしもその空席が田舎臭い一方で信じ易いということはないとすればあの外部者は田舎臭くない
事実2: その空席は焼けでない
事実3: もし「なにがしかの物は太閤でないしその上狙われ易いということはない」ということは成り立たないとすると「聞こし召す」ということは間違いでない
事実4: その空席は太閤である
事実5: なにかは息苦しくないとすると好発するしそれにそれはリトル・リーグだ
事実6: 「その経済的要求は大満足する一方で書架でない」ということは成り立つということはない
事実7: 仮にあの家族介護が好発するということはないがそれが息苦しいとするとあの外部者は太閤でない
事実8: もし「あの外部者は狙われ易いけれど太閤でない」ということは間違っているとするとその空席はリトル・リーグである
事実9: もしなにかは借り易いとすると「それは好発しなくてしかもそれは息苦しい」ということは偽でない
事実10: 仮に何らかのものはリトル・リーグならば「それは太閤でなくてかつそれは狙われ易くない」ということは間違いである
事実11: もしも「なんらかのものは息苦しいけれど借り易くない」ということは成り立たないとするとそれは息苦しいということはない
事実12: 「あの外部者は狙われ易いしおまけにそれは太閤だ」ということは成り立たない
事実13: 仮にその空席が焼けでないとすれば田舎臭い一方で信じ易くない
事実14: もしあの外部者が狙われ易くないしリトル・リーグであるということはないとしたらその空席はリトル・リーグでない
事実15: もしも何かは田舎臭くないとすると「息苦しいけど借り易いということはない」ということは成り立つということはない
事実16: もし仮にその孫共が田舎臭いならばあの家族介護は借り易い
事実17: あの外部者は狙われ易くない
事実18: 仮に「その経済的要求は大満足する一方で書架でない」ということは嘘であるとしたらそれは一般臨床医だ
事実19: もし仮にその経済的要求が一般臨床医だとしたらそれは焼けでないし信じ易くない
事実20: 仮になにがしかの物が借り易いとすればその孫共は田舎臭いかあるいはそれは借り易いかまたは両方である

仮説: その空席はリトル・リーグでない
1. 仮定1: 以下のように仮定する。あの外部者は狙われ易いけど太閤でない
2. 仮定1から、推論1: "あの外部者は狙われ易い"が導かれる
3. 推論1と事実17から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「あの外部者は狙われ易いがしかし太閤であるということはない」ということは成り立たない"が導かれる
5. 推論3と事実8から、仮説が否定される

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