「仮にこの団体交渉が気乗りするならあの米内は潔しないかもしくは祈り願わないかもしくはどちらもである」ということは成り立たない
fact1: もしも御若いものが気乗りするとすればあの和人は祈り願う fact2: 「「無し」ということは成り立つ」物はある fact3: この和人は疎ましくてかつそれは潔し fact4: この和人が祈り願うならあの米内は潔しないかもしくは祈り願わないかまたはどちらもだ fact5: もし仮に「恥ずかし」物はあるとすると「あの証言は気乗りしないし潔しない」ということは間違いである fact6: 「あの証言は恥ずかしないけれど住み続ける」ということは事実でない fact7: もし仮にあるものは無しとすると「「あの証言は恥ずかしないしそれは住み続けない」ということは嘘である」ということは成り立つ fact8: もしも「あの証言は恥ずかしないしその上住み続けない」ということは真実でないとするとこの団体交渉は御若い fact9: あのダイヤル数字が祈り願うとしたら御若くないしさらにそれは住み続けない fact10: 「もし仮に「無し」物はあるとすれば「「あの証言は恥ずかしがしかし住み続けるということはない」ということは間違いである」ということは確かだ」ということは正しい fact11: 「気乗りする」ものはある fact12: もし仮に御若くない物は住み続けないとすれば「恥ずかしない」ということは成り立つ
fact2 & fact7 -> int1: 「あの証言は恥ずかしないしさらに住み続けない」ということは成り立たない; int1 & fact8 -> int2: この団体交渉は御若い; void -> assump1: 以下のように仮定する。この団体交渉は気乗りする; int2 & assump1 -> int3: この団体交渉は御若いしその上気乗りする; int3 -> int4: 「御若いし気乗りする」ものはある; int4 & fact1 -> int5: この和人は祈り願う; int5 & fact4 -> int6: あの米内は潔しないかあるいはそれは祈り願わないかあるいはどちらもだ; [assump1] & int6 -> hypothesis;
あのダイヤル数字は気乗りする
fact14 -> int7: もしあのダイヤル数字が御若くないし更に住み続けないとすればそれは恥ずかしない;
$facts$ = fact1: もしも御若いものが気乗りするとすればあの和人は祈り願う fact2: 「「無し」ということは成り立つ」物はある fact3: この和人は疎ましくてかつそれは潔し fact4: この和人が祈り願うならあの米内は潔しないかもしくは祈り願わないかまたはどちらもだ fact5: もし仮に「恥ずかし」物はあるとすると「あの証言は気乗りしないし潔しない」ということは間違いである fact6: 「あの証言は恥ずかしないけれど住み続ける」ということは事実でない fact7: もし仮にあるものは無しとすると「「あの証言は恥ずかしないしそれは住み続けない」ということは嘘である」ということは成り立つ fact8: もしも「あの証言は恥ずかしないしその上住み続けない」ということは真実でないとするとこの団体交渉は御若い fact9: あのダイヤル数字が祈り願うとしたら御若くないしさらにそれは住み続けない fact10: 「もし仮に「無し」物はあるとすれば「「あの証言は恥ずかしがしかし住み続けるということはない」ということは間違いである」ということは確かだ」ということは正しい fact11: 「気乗りする」ものはある fact12: もし仮に御若くない物は住み続けないとすれば「恥ずかしない」ということは成り立つ ; $hypothesis$ = 「仮にこの団体交渉が気乗りするならあの米内は潔しないかもしくは祈り願わないかもしくはどちらもである」ということは成り立たない ; $proof$ = 
fact2 & fact7 -> int1: 「あの証言は恥ずかしないしさらに住み続けない」ということは成り立たない; int1 & fact8 -> int2: この団体交渉は御若い; void -> assump1: 以下のように仮定する。この団体交渉は気乗りする; int2 & assump1 -> int3: この団体交渉は御若いしその上気乗りする; int3 -> int4: 「御若いし気乗りする」ものはある; int4 & fact1 -> int5: この和人は祈り願う; int5 & fact4 -> int6: あの米内は潔しないかあるいはそれは祈り願わないかあるいはどちらもだ; [assump1] & int6 -> hypothesis; __DISPROVED__
事実1: もしも御若いものが気乗りするとすればあの和人は祈り願う
事実2: 「「無し」ということは成り立つ」物はある
事実3: この和人は疎ましくてかつそれは潔し
事実4: この和人が祈り願うならあの米内は潔しないかもしくは祈り願わないかまたはどちらもだ
事実5: もし仮に「恥ずかし」物はあるとすると「あの証言は気乗りしないし潔しない」ということは間違いである
事実6: 「あの証言は恥ずかしないけれど住み続ける」ということは事実でない
事実7: もし仮にあるものは無しとすると「「あの証言は恥ずかしないしそれは住み続けない」ということは嘘である」ということは成り立つ
事実8: もしも「あの証言は恥ずかしないしその上住み続けない」ということは真実でないとするとこの団体交渉は御若い
事実9: あのダイヤル数字が祈り願うとしたら御若くないしさらにそれは住み続けない
事実10: 「もし仮に「無し」物はあるとすれば「「あの証言は恥ずかしがしかし住み続けるということはない」ということは間違いである」ということは確かだ」ということは正しい
事実11: 「気乗りする」ものはある
事実12: もし仮に御若くない物は住み続けないとすれば「恥ずかしない」ということは成り立つ

仮説: 「仮にこの団体交渉が気乗りするならあの米内は潔しないかもしくは祈り願わないかもしくはどちらもである」ということは成り立たない
1. 事実2と事実7から、推論1: "「あの証言は恥ずかしないしさらに住み続けない」ということは成り立たない"が導かれる
2. 推論1と事実8から、推論2: "この団体交渉は御若い"が導かれる
3. 仮定1: 以下のように仮定する。この団体交渉は気乗りする
4. 推論2と仮定1から、推論3: "この団体交渉は御若いしその上気乗りする"が導かれる
5. 推論3から、推論4: "「御若いし気乗りする」ものはある"が導かれる
6. 推論4と事実1から、推論5: "この和人は祈り願う"が導かれる
7. 推論5と事実4から、推論6: "あの米内は潔しないかあるいはそれは祈り願わないかあるいはどちらもだ"が導かれる
8. [仮定1]と推論6から、仮説が否定される

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