この閣僚ポストは灯るということはなくて更にそれは異状でない
fact1: もし仮にその毎期が異状でないとしたらこの閣僚ポストは灯らない fact2: もしその毎期は甲斐甲斐しいとすれば「「この閣僚ポストは灯らなくて異状でない」ということは真実だ」ということは事実と異なる fact3: そのダンス・ミュージックは使用し易くない fact4: その毎期が異状でないとすればこの閣僚ポストは灯らなくてかつそれは異状でない fact5: もし仮に何らかの物は笑い続けるとすると「それは生え易いということはないかもしくはそれは哀れっぽいかあるいは両方ともだ」ということは間違いである fact6: あのＲＢＴは手酷いとしたら「それは惜しみ無い」ということは成り立つ fact7: その最果ては笑い続ける fact8: もしあのＲＢＴが振り立てるとするとそれは惜しみ無い fact9: もし仮にとあるものは哀れっぽくないとすれば「生え易くて加えてそれは嘘っぽい」ということは事実と異なる fact10: その文脈は甲斐甲斐しい fact11: もしもその毎期が生え易いが甲斐甲斐しいということはないならばこの坑夫は甲斐甲斐しいということはない fact12: もしあのＲＢＴが嘘っぽくないとするとその最果ては生え易くないかもしくは哀れっぽいか両方だ fact13: 「その最果ては笑い続けなくて更に兼任出来ない」ということは誤っている fact14: あのクライアントは笑い続ける fact15: 仮にその毎期が異状であるとするとそのダンス・ミュージックは甲斐甲斐しい fact16: 「あのＲＢＴは振り立てるかもしくは手酷いかもしくはどちらもだ」ということは本当だ fact17: もし仮にそのダンス・ミュージックは甲斐甲斐しいかまたは小憎らしいなら「あのＲＢＴは嘘っぽくない」ということは正しい fact18: 「この閣僚ポストは灯らない」ということは事実だ fact19: 嘘っぽくない物は甲斐甲斐しいしまた小憎らしい fact20: もしあのＲＢＴが笑い続けるしそれが惜しみ無いならそのダンス・ミュージックは哀れっぽいということはない
void -> assump1: 以下のように仮定する。その毎期は異状である; fact15 & assump1 -> int1: そのダンス・ミュージックは甲斐甲斐しい; int1 -> int2: そのダンス・ミュージックは甲斐甲斐しいかもしくはそれは小憎らしい; int2 & fact17 -> int3: あのＲＢＴは嘘っぽくない; int3 & fact12 -> int4: その最果ては生え易くないかまたは哀れっぽいか両方ともである; fact5 -> int5: もしもその最果ては笑い続けるとしたら「生え易くないか哀れっぽいかもしくは両方ともである」ということは誤りである; int5 & fact7 -> int6: 「その最果ては生え易くないかそれは哀れっぽいか両方ともだ」ということは間違いだ; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: その毎期は異状でない; int8 & fact4 -> hypothesis;
「この閣僚ポストは灯らないし加えて異状だということはない」ということは成り立たない
fact25 -> int9: もしもその毎期が嘘っぽいということはないとすれば甲斐甲斐しいしその上それは小憎らしい; fact26 -> int10: もし仮にそのダンス・ミュージックは哀れっぽくないなら「それは生え易くてまた嘘っぽい」ということは間違いだ; fact24 -> int11: 「「笑い続けないし兼任出来ない」ということは誤りな」ものはある; fact23 & fact22 & fact28 -> int12: あのＲＢＴは惜しみ無い;
$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: 以下のように仮定する。その毎期は異状である; fact15 & assump1 -> int1: そのダンス・ミュージックは甲斐甲斐しい; int1 -> int2: そのダンス・ミュージックは甲斐甲斐しいかもしくはそれは小憎らしい; int2 & fact17 -> int3: あのＲＢＴは嘘っぽくない; int3 & fact12 -> int4: その最果ては生え易くないかまたは哀れっぽいか両方ともである; fact5 -> int5: もしもその最果ては笑い続けるとしたら「生え易くないか哀れっぽいかもしくは両方ともである」ということは誤りである; int5 & fact7 -> int6: 「その最果ては生え易くないかそれは哀れっぽいか両方ともだ」ということは間違いだ; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: その毎期は異状でない; int8 & fact4 -> hypothesis; __PROVED__
事実1: もし仮にその毎期が異状でないとしたらこの閣僚ポストは灯らない
事実2: もしその毎期は甲斐甲斐しいとすれば「「この閣僚ポストは灯らなくて異状でない」ということは真実だ」ということは事実と異なる
事実3: そのダンス・ミュージックは使用し易くない
事実4: その毎期が異状でないとすればこの閣僚ポストは灯らなくてかつそれは異状でない
事実5: もし仮に何らかの物は笑い続けるとすると「それは生え易いということはないかもしくはそれは哀れっぽいかあるいは両方ともだ」ということは間違いである
事実6: あのＲＢＴは手酷いとしたら「それは惜しみ無い」ということは成り立つ
事実7: その最果ては笑い続ける
事実8: もしあのＲＢＴが振り立てるとするとそれは惜しみ無い
事実9: もし仮にとあるものは哀れっぽくないとすれば「生え易くて加えてそれは嘘っぽい」ということは事実と異なる
事実10: その文脈は甲斐甲斐しい
事実11: もしもその毎期が生え易いが甲斐甲斐しいということはないならばこの坑夫は甲斐甲斐しいということはない
事実12: もしあのＲＢＴが嘘っぽくないとするとその最果ては生え易くないかもしくは哀れっぽいか両方だ
事実13: 「その最果ては笑い続けなくて更に兼任出来ない」ということは誤っている
事実14: あのクライアントは笑い続ける
事実15: 仮にその毎期が異状であるとするとそのダンス・ミュージックは甲斐甲斐しい
事実16: 「あのＲＢＴは振り立てるかもしくは手酷いかもしくはどちらもだ」ということは本当だ
事実17: もし仮にそのダンス・ミュージックは甲斐甲斐しいかまたは小憎らしいなら「あのＲＢＴは嘘っぽくない」ということは正しい
事実18: 「この閣僚ポストは灯らない」ということは事実だ
事実19: 嘘っぽくない物は甲斐甲斐しいしまた小憎らしい
事実20: もしあのＲＢＴが笑い続けるしそれが惜しみ無いならそのダンス・ミュージックは哀れっぽいということはない

仮説: この閣僚ポストは灯るということはなくて更にそれは異状でない
1. 仮定1: 以下のように仮定する。その毎期は異状である
2. 事実15と仮定1から、推論1: "そのダンス・ミュージックは甲斐甲斐しい"が導かれる
3. 推論1から、推論2: "そのダンス・ミュージックは甲斐甲斐しいかもしくはそれは小憎らしい"が導かれる
4. 推論2と事実17から、推論3: "あのＲＢＴは嘘っぽくない"が導かれる
5. 推論3と事実12から、推論4: "その最果ては生え易くないかまたは哀れっぽいか両方ともである"が導かれる
6. 事実5から、推論5: "もしもその最果ては笑い続けるとしたら「生え易くないか哀れっぽいかもしくは両方ともである」ということは誤りである"が導かれる
7. 推論5と事実7から、推論6: "「その最果ては生え易くないかそれは哀れっぽいか両方ともだ」ということは間違いだ"が導かれる
8. 推論4と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "その毎期は異状でない"が導かれる
10. 推論8と事実4から、仮説が導かれる

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