この両遺跡は堪え得ない
fact1: もしその長電話が目まぐるしかないとするとあの医学用語は全販連でなくて更に白しない fact2: もし何らかの物が全販連でないならそれは白しないしおまけにそれは目まぐるしいということはない fact3: もしもこの両遺跡がウィンドウハンドルでないし更にそれが資源保存であるということはないならこの騒めきはウィンドウハンドルだ fact4: なんらかのものはウィンドウハンドルであるかもしくは資源保存であるかあるいは両方ともだとするとそれは全販連だということはない fact5: あの死活は使い難い fact6: そのＣＨＤ患者は全販連だ fact7: 「白しものは全販連だ」ということは真実である fact8: もしあの死活が堪え得ないしさらに白しないとすればあの両遺跡は使い難くない fact9: 仮に何かは埋葬地でないしいみじないならば激励する fact10: もし仮にある物は激励しない一方で目まぐるしいとすればそれは白し fact11: もしあの死活が資源保存でないならばこの両遺跡は堪え得るしそれはウィンドウハンドルだ fact12: もし仮に何らかの物がいみじなら激励しない一方で目まぐるしい fact13: ウィンドウハンドルは堪え得るが使い難くない fact14: 仮にあの死活が全販連であるならばこの両遺跡はウィンドウハンドルでないし加えて資源保存でない fact15: あの不祥事は埋葬地でない fact16: あの後胸が思いしないしさらにそれは救い難くない fact17: この両遺跡は白しない fact18: 仮にその長電話が白しならばあの医学用語は白し fact19: もし仮にあの医学用語が白しとすればあの死活は白し fact20: もしもこの両遺跡が堪え得るとするとそれはウィンドウハンドルだ fact21: もしこの両遺跡が白しないしそれは目まぐるしかないならば「あの死活は使い難くない」ということは正しい fact22: もし仮にあの不祥事は激励するとしたら「その長電話は目まぐるしかなくてそれは使い難くない」ということは本当である fact23: 仮に何かは埋葬地であるとすればそれはいみじ fact24: あの死活は目まぐるしかない
void -> assump1: 以下のように仮定する。この両遺跡は堪え得る; fact20 & assump1 -> int1: 「この両遺跡はウィンドウハンドルである」ということは真実である; int1 -> int2: この両遺跡はウィンドウハンドルであるかまたはそれは資源保存であるかまたはどちらもだ; fact4 -> int3: もしこの両遺跡がウィンドウハンドルであるかもしくは資源保存であるかあるいはどちらもであるなら「それは全販連でない」ということは真実である; int2 & int3 -> int4: この両遺跡は全販連でない; fact2 -> int5: 仮にこの両遺跡が全販連でないとすれば白しないしおまけに目まぐるしいということはない; int4 & int5 -> int6: この両遺跡は白しないし目まぐるしかない; int6 & fact21 -> int7: 「あの死活は使い難くない」ということは真実である; int7 & fact5 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis;
この騒めきは使い難くない
fact30 -> int9: もしもこの騒めきがウィンドウハンドルならそれは堪え得るし使い難いということはない; fact32 -> int10: もしもあの死活が白しとすれば全販連だ; fact33 -> int11: もし仮にその長電話は激励しないがしかし目まぐるしいとすると白し; fact26 -> int12: もしその長電話がいみじならそれは激励しなくてまた目まぐるしい; fact27 -> int13: もし仮にその長電話は埋葬地であるならいみじ;
$facts$ = fact1: もしその長電話が目まぐるしかないとするとあの医学用語は全販連でなくて更に白しない fact2: もし何らかの物が全販連でないならそれは白しないしおまけにそれは目まぐるしいということはない fact3: もしもこの両遺跡がウィンドウハンドルでないし更にそれが資源保存であるということはないならこの騒めきはウィンドウハンドルだ fact4: なんらかのものはウィンドウハンドルであるかもしくは資源保存であるかあるいは両方ともだとするとそれは全販連だということはない fact5: あの死活は使い難い fact6: そのＣＨＤ患者は全販連だ fact7: 「白しものは全販連だ」ということは真実である fact8: もしあの死活が堪え得ないしさらに白しないとすればあの両遺跡は使い難くない fact9: 仮に何かは埋葬地でないしいみじないならば激励する fact10: もし仮にある物は激励しない一方で目まぐるしいとすればそれは白し fact11: もしあの死活が資源保存でないならばこの両遺跡は堪え得るしそれはウィンドウハンドルだ fact12: もし仮に何らかの物がいみじなら激励しない一方で目まぐるしい fact13: ウィンドウハンドルは堪え得るが使い難くない fact14: 仮にあの死活が全販連であるならばこの両遺跡はウィンドウハンドルでないし加えて資源保存でない fact15: あの不祥事は埋葬地でない fact16: あの後胸が思いしないしさらにそれは救い難くない fact17: この両遺跡は白しない fact18: 仮にその長電話が白しならばあの医学用語は白し fact19: もし仮にあの医学用語が白しとすればあの死活は白し fact20: もしもこの両遺跡が堪え得るとするとそれはウィンドウハンドルだ fact21: もしこの両遺跡が白しないしそれは目まぐるしかないならば「あの死活は使い難くない」ということは正しい fact22: もし仮にあの不祥事は激励するとしたら「その長電話は目まぐるしかなくてそれは使い難くない」ということは本当である fact23: 仮に何かは埋葬地であるとすればそれはいみじ fact24: あの死活は目まぐるしかない ; $hypothesis$ = この両遺跡は堪え得ない ; $proof$ = 
void -> assump1: 以下のように仮定する。この両遺跡は堪え得る; fact20 & assump1 -> int1: 「この両遺跡はウィンドウハンドルである」ということは真実である; int1 -> int2: この両遺跡はウィンドウハンドルであるかまたはそれは資源保存であるかまたはどちらもだ; fact4 -> int3: もしこの両遺跡がウィンドウハンドルであるかもしくは資源保存であるかあるいはどちらもであるなら「それは全販連でない」ということは真実である; int2 & int3 -> int4: この両遺跡は全販連でない; fact2 -> int5: 仮にこの両遺跡が全販連でないとすれば白しないしおまけに目まぐるしいということはない; int4 & int5 -> int6: この両遺跡は白しないし目まぐるしかない; int6 & fact21 -> int7: 「あの死活は使い難くない」ということは真実である; int7 & fact5 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis; __PROVED__
事実1: もしその長電話が目まぐるしかないとするとあの医学用語は全販連でなくて更に白しない
事実2: もし何らかの物が全販連でないならそれは白しないしおまけにそれは目まぐるしいということはない
事実3: もしもこの両遺跡がウィンドウハンドルでないし更にそれが資源保存であるということはないならこの騒めきはウィンドウハンドルだ
事実4: なんらかのものはウィンドウハンドルであるかもしくは資源保存であるかあるいは両方ともだとするとそれは全販連だということはない
事実5: あの死活は使い難い
事実6: そのＣＨＤ患者は全販連だ
事実7: 「白しものは全販連だ」ということは真実である
事実8: もしあの死活が堪え得ないしさらに白しないとすればあの両遺跡は使い難くない
事実9: 仮に何かは埋葬地でないしいみじないならば激励する
事実10: もし仮にある物は激励しない一方で目まぐるしいとすればそれは白し
事実11: もしあの死活が資源保存でないならばこの両遺跡は堪え得るしそれはウィンドウハンドルだ
事実12: もし仮に何らかの物がいみじなら激励しない一方で目まぐるしい
事実13: ウィンドウハンドルは堪え得るが使い難くない
事実14: 仮にあの死活が全販連であるならばこの両遺跡はウィンドウハンドルでないし加えて資源保存でない
事実15: あの不祥事は埋葬地でない
事実16: あの後胸が思いしないしさらにそれは救い難くない
事実17: この両遺跡は白しない
事実18: 仮にその長電話が白しならばあの医学用語は白し
事実19: もし仮にあの医学用語が白しとすればあの死活は白し
事実20: もしもこの両遺跡が堪え得るとするとそれはウィンドウハンドルだ
事実21: もしこの両遺跡が白しないしそれは目まぐるしかないならば「あの死活は使い難くない」ということは正しい
事実22: もし仮にあの不祥事は激励するとしたら「その長電話は目まぐるしかなくてそれは使い難くない」ということは本当である
事実23: 仮に何かは埋葬地であるとすればそれはいみじ
事実24: あの死活は目まぐるしかない

仮説: この両遺跡は堪え得ない
1. 仮定1: 以下のように仮定する。この両遺跡は堪え得る
2. 事実20と仮定1から、推論1: "「この両遺跡はウィンドウハンドルである」ということは真実である"が導かれる
3. 推論1から、推論2: "この両遺跡はウィンドウハンドルであるかまたはそれは資源保存であるかまたはどちらもだ"が導かれる
4. 事実4から、推論3: "もしこの両遺跡がウィンドウハンドルであるかもしくは資源保存であるかあるいはどちらもであるなら「それは全販連でない」ということは真実である"が導かれる
5. 推論2と推論3から、推論4: "この両遺跡は全販連でない"が導かれる
6. 事実2から、推論5: "仮にこの両遺跡が全販連でないとすれば白しないしおまけに目まぐるしいということはない"が導かれる
7. 推論4と推論5から、推論6: "この両遺跡は白しないし目まぐるしかない"が導かれる
8. 推論6と事実21から、推論7: "「あの死活は使い難くない」ということは真実である"が導かれる
9. 推論7と事実5から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、仮説が導かれる

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