あの泊まり客は助け無しだがしかし御使いに成らない
fact1: 目新しくないものは助け無しであるけど御使いに成らない fact2: もし仮にこの温度応力が目新しくないならばあの泊まり客は目新しくない fact3: もし仮にこの温度応力が動ぜないならば凡夫であるし更にそれは山積しない fact4: あの泊まり客は目新しい fact5: もしもあるものは下がり過ぎれば「うようよするかまたは目新しくないかもしくは両方ともだ」ということは成り立つということはない fact6: もしも「この忌避感は独走するかもしくは集め捲るかまたは両方ともである」ということは偽だとすればこの温度応力は動ぜない fact7: あの泊まり客は御使いに成らない fact8: もし仮にあの泊まり客が目新しいとしたらそれはうようよする fact9: もしとある物は下がり過ぎないしかつそれはうようよしないとしたらそれは目新しいない fact10: 仮にこの温度応力が凡夫であるが山積するということはないとしたら「下がり過ぎない」ということは真実である fact11: もしこの中産階級は読者層でないならば「この忌避感は独走するかまたは集め捲るか両方ともである」ということは間違っている fact12: もしもあの泊まり客は助け無しだがしかし御使いに成らないとすると「それはうようよしない」ということは成り立つ
void -> assump1: 以下のように仮定する。あの泊まり客は助け無しだ一方で御使いに成らない; fact12 & assump1 -> int1: あの泊まり客はうようよしない; fact4 & fact8 -> int2: あの泊まり客はうようよする; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: ({AA}{a} & ¬{AB}{a}); fact12 & assump1 -> int1: ¬{B}{a}; fact4 & fact8 -> int2: {B}{a}; int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
このイスラム以前は助け無しでない
fact13 -> int4: もしこのイスラム以前は下がり過ぎるとしたら「うようよするか目新しくないかもしくは両方ともである」ということは偽である;
$facts$ = fact1: 目新しくないものは助け無しであるけど御使いに成らない fact2: もし仮にこの温度応力が目新しくないならばあの泊まり客は目新しくない fact3: もし仮にこの温度応力が動ぜないならば凡夫であるし更にそれは山積しない fact4: あの泊まり客は目新しい fact5: もしもあるものは下がり過ぎれば「うようよするかまたは目新しくないかもしくは両方ともだ」ということは成り立つということはない fact6: もしも「この忌避感は独走するかもしくは集め捲るかまたは両方ともである」ということは偽だとすればこの温度応力は動ぜない fact7: あの泊まり客は御使いに成らない fact8: もし仮にあの泊まり客が目新しいとしたらそれはうようよする fact9: もしとある物は下がり過ぎないしかつそれはうようよしないとしたらそれは目新しいない fact10: 仮にこの温度応力が凡夫であるが山積するということはないとしたら「下がり過ぎない」ということは真実である fact11: もしこの中産階級は読者層でないならば「この忌避感は独走するかまたは集め捲るか両方ともである」ということは間違っている fact12: もしもあの泊まり客は助け無しだがしかし御使いに成らないとすると「それはうようよしない」ということは成り立つ ; $hypothesis$ = あの泊まり客は助け無しだがしかし御使いに成らない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの泊まり客は助け無しだ一方で御使いに成らない; fact12 & assump1 -> int1: あの泊まり客はうようよしない; fact4 & fact8 -> int2: あの泊まり客はうようよする; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: 目新しくないものは助け無しであるけど御使いに成らない
事実2: もし仮にこの温度応力が目新しくないならばあの泊まり客は目新しくない
事実3: もし仮にこの温度応力が動ぜないならば凡夫であるし更にそれは山積しない
事実4: あの泊まり客は目新しい
事実5: もしもあるものは下がり過ぎれば「うようよするかまたは目新しくないかもしくは両方ともだ」ということは成り立つということはない
事実6: もしも「この忌避感は独走するかもしくは集め捲るかまたは両方ともである」ということは偽だとすればこの温度応力は動ぜない
事実7: あの泊まり客は御使いに成らない
事実8: もし仮にあの泊まり客が目新しいとしたらそれはうようよする
事実9: もしとある物は下がり過ぎないしかつそれはうようよしないとしたらそれは目新しいない
事実10: 仮にこの温度応力が凡夫であるが山積するということはないとしたら「下がり過ぎない」ということは真実である
事実11: もしこの中産階級は読者層でないならば「この忌避感は独走するかまたは集め捲るか両方ともである」ということは間違っている
事実12: もしもあの泊まり客は助け無しだがしかし御使いに成らないとすると「それはうようよしない」ということは成り立つ

仮説: あの泊まり客は助け無しだがしかし御使いに成らない
1. 仮定1: 以下のように仮定する。あの泊まり客は助け無しだ一方で御使いに成らない
2. 事実12と仮定1から、推論1: "あの泊まり客はうようよしない"が導かれる
3. 事実4と事実8から、推論2: "あの泊まり客はうようよする"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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