その宿泊代は実行し易いということはない
fact1: もし「なにかは粘り強くないかまたは罹り易くないかどちらもである」ということは成り立つとすればあの宿泊代は実行し易くない fact2: あの問題解決療法は粘り強いかそれは罹り易くないかもしくはどちらもだ fact3: もし仮に何らかの物は流れ去るなら「それは粘り強いか罹り易くないかもしくはどちらもである」ということは成り立つということはない fact4: 仮になんらかの物が籠城しないとしたらそれは粘り強くないかあるいは罹り易くない fact5: あの問題解決療法が籠城すれば素晴らし fact6: 素晴らしということはない物は実行し易くないかあるいは粘り強くないかあるいは両方ともだ fact7: あの問題解決療法は素晴らしない fact8: この小三は御待ち頂けないかあるいはそれは実行し易くないかもしくは両方ともだ fact9: 「あの問題解決療法は粘り強いか罹り易くない」ということは事実と異なるとしたらその宿泊代は素晴らしない
void -> assump1: 以下のように仮定する。あの問題解決療法は籠城する; fact5 & assump1 -> int1: 「あの問題解決療法は素晴らし」ということは確かだ; int1 & fact7 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの問題解決療法は籠城しない; fact4 -> int4: 仮にあの問題解決療法が籠城しないとするとそれは粘り強くないかもしくはそれは罹り易くないかあるいはどちらもである; int3 & int4 -> int5: あの問題解決療法は粘り強くないかあるいはそれは罹り易くない; int5 -> int6: 「粘り強くないかあるいは罹り易くないかあるいは両方な」ものはある; int6 & fact1 -> hypothesis;
その宿泊代は実行し易い
fact11 -> int7: あの問題解決療法は流れ去るとすると「粘り強いかまたは罹り易くないかあるいはどちらもである」ということは成り立たない;
$facts$ = fact1: もし「なにかは粘り強くないかまたは罹り易くないかどちらもである」ということは成り立つとすればあの宿泊代は実行し易くない fact2: あの問題解決療法は粘り強いかそれは罹り易くないかもしくはどちらもだ fact3: もし仮に何らかの物は流れ去るなら「それは粘り強いか罹り易くないかもしくはどちらもである」ということは成り立つということはない fact4: 仮になんらかの物が籠城しないとしたらそれは粘り強くないかあるいは罹り易くない fact5: あの問題解決療法が籠城すれば素晴らし fact6: 素晴らしということはない物は実行し易くないかあるいは粘り強くないかあるいは両方ともだ fact7: あの問題解決療法は素晴らしない fact8: この小三は御待ち頂けないかあるいはそれは実行し易くないかもしくは両方ともだ fact9: 「あの問題解決療法は粘り強いか罹り易くない」ということは事実と異なるとしたらその宿泊代は素晴らしない ; $hypothesis$ = その宿泊代は実行し易いということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの問題解決療法は籠城する; fact5 & assump1 -> int1: 「あの問題解決療法は素晴らし」ということは確かだ; int1 & fact7 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの問題解決療法は籠城しない; fact4 -> int4: 仮にあの問題解決療法が籠城しないとするとそれは粘り強くないかもしくはそれは罹り易くないかあるいはどちらもである; int3 & int4 -> int5: あの問題解決療法は粘り強くないかあるいはそれは罹り易くない; int5 -> int6: 「粘り強くないかあるいは罹り易くないかあるいは両方な」ものはある; int6 & fact1 -> hypothesis; __PROVED__
事実1: もし「なにかは粘り強くないかまたは罹り易くないかどちらもである」ということは成り立つとすればあの宿泊代は実行し易くない
事実2: あの問題解決療法は粘り強いかそれは罹り易くないかもしくはどちらもだ
事実3: もし仮に何らかの物は流れ去るなら「それは粘り強いか罹り易くないかもしくはどちらもである」ということは成り立つということはない
事実4: 仮になんらかの物が籠城しないとしたらそれは粘り強くないかあるいは罹り易くない
事実5: あの問題解決療法が籠城すれば素晴らし
事実6: 素晴らしということはない物は実行し易くないかあるいは粘り強くないかあるいは両方ともだ
事実7: あの問題解決療法は素晴らしない
事実8: この小三は御待ち頂けないかあるいはそれは実行し易くないかもしくは両方ともだ
事実9: 「あの問題解決療法は粘り強いか罹り易くない」ということは事実と異なるとしたらその宿泊代は素晴らしない

仮説: その宿泊代は実行し易いということはない
1. 仮定1: 以下のように仮定する。あの問題解決療法は籠城する
2. 事実5と仮定1から、推論1: "「あの問題解決療法は素晴らし」ということは確かだ"が導かれる
3. 推論1と事実7から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "あの問題解決療法は籠城しない"が導かれる
5. 事実4から、推論4: "仮にあの問題解決療法が籠城しないとするとそれは粘り強くないかもしくはそれは罹り易くないかあるいはどちらもである"が導かれる
6. 推論3と推論4から、推論5: "あの問題解決療法は粘り強くないかあるいはそれは罹り易くない"が導かれる
7. 推論5から、推論6: "「粘り強くないかあるいは罹り易くないかあるいは両方な」ものはある"が導かれる
8. 推論6と事実1から、仮説が導かれる

よって、仮説が証明されました。