そのＣ群は心置き無い
fact1: もしも「あの社会貢献は成人でないしそれは振り替え口座簿でない」ということは成り立つということはないとしたら「それは野太くない」ということは確かである fact2: もしもあの社会貢献が外国技術だということはないとすれば野太い fact3: 「あの社会貢献は成人でなくて更に振り替え口座簿でない」ということは確かでない fact4: もしそのＣ群は成人であるがしかし振り替え口座簿でないならそれは野太い fact5: もし「あの社会貢献は成人でないがしかしそれは振り替え口座簿だ」ということは成り立たないならばその紋様は心置き無くない fact6: もしも「「この二日以内はピールでない一方で請じ入れる」ということは成り立つ」ということは誤りであるとするとそのＣ群は請じ入れない fact7: もし何かは外国技術ならば「締めっぽい」ということは確かだ fact8: もしもなんらかの物が請じ入れないとするとそれは成人だけれど振り替え口座簿であるということはない fact9: もし仮にある物は野太くておまけに外国技術であるとしたら心置き無くない fact10: もしあの社会貢献が締めっぽいならばそのＣ群は心置き無い fact11: もしとあるものは心置き無いということはないならば「それは締めっぽいけれど野太くない」ということは間違いだ
void -> assump1: 以下のように仮定する。あの社会貢献は外国技術でない; fact2 & assump1 -> int1: あの社会貢献は野太い; fact1 & fact3 -> int2: あの社会貢献は野太くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの社会貢献は外国技術である; fact7 -> int5: 仮に「あの社会貢献は外国技術だ」ということは成り立つとしたらそれは締めっぽい; int4 & int5 -> int6: あの社会貢献は締めっぽい; int6 & fact10 -> hypothesis;
そのＣ群は心置き無くない
fact14 -> int7: 「そのＣ群が野太くて外国技術であるならそのＣ群は心置き無くない」ということは本当だ; fact12 -> int8: もしそのＣ群は請じ入れるということはないならば「それが成人だしかつそれは振り替え口座簿だということはない」ということは成り立つ;
$facts$ = fact1: もしも「あの社会貢献は成人でないしそれは振り替え口座簿でない」ということは成り立つということはないとしたら「それは野太くない」ということは確かである fact2: もしもあの社会貢献が外国技術だということはないとすれば野太い fact3: 「あの社会貢献は成人でなくて更に振り替え口座簿でない」ということは確かでない fact4: もしそのＣ群は成人であるがしかし振り替え口座簿でないならそれは野太い fact5: もし「あの社会貢献は成人でないがしかしそれは振り替え口座簿だ」ということは成り立たないならばその紋様は心置き無くない fact6: もしも「「この二日以内はピールでない一方で請じ入れる」ということは成り立つ」ということは誤りであるとするとそのＣ群は請じ入れない fact7: もし何かは外国技術ならば「締めっぽい」ということは確かだ fact8: もしもなんらかの物が請じ入れないとするとそれは成人だけれど振り替え口座簿であるということはない fact9: もし仮にある物は野太くておまけに外国技術であるとしたら心置き無くない fact10: もしあの社会貢献が締めっぽいならばそのＣ群は心置き無い fact11: もしとあるものは心置き無いということはないならば「それは締めっぽいけれど野太くない」ということは間違いだ ; $hypothesis$ = そのＣ群は心置き無い ; $proof$ = 
void -> assump1: 以下のように仮定する。あの社会貢献は外国技術でない; fact2 & assump1 -> int1: あの社会貢献は野太い; fact1 & fact3 -> int2: あの社会貢献は野太くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの社会貢献は外国技術である; fact7 -> int5: 仮に「あの社会貢献は外国技術だ」ということは成り立つとしたらそれは締めっぽい; int4 & int5 -> int6: あの社会貢献は締めっぽい; int6 & fact10 -> hypothesis; __PROVED__
事実1: もしも「あの社会貢献は成人でないしそれは振り替え口座簿でない」ということは成り立つということはないとしたら「それは野太くない」ということは確かである
事実2: もしもあの社会貢献が外国技術だということはないとすれば野太い
事実3: 「あの社会貢献は成人でなくて更に振り替え口座簿でない」ということは確かでない
事実4: もしそのＣ群は成人であるがしかし振り替え口座簿でないならそれは野太い
事実5: もし「あの社会貢献は成人でないがしかしそれは振り替え口座簿だ」ということは成り立たないならばその紋様は心置き無くない
事実6: もしも「「この二日以内はピールでない一方で請じ入れる」ということは成り立つ」ということは誤りであるとするとそのＣ群は請じ入れない
事実7: もし何かは外国技術ならば「締めっぽい」ということは確かだ
事実8: もしもなんらかの物が請じ入れないとするとそれは成人だけれど振り替え口座簿であるということはない
事実9: もし仮にある物は野太くておまけに外国技術であるとしたら心置き無くない
事実10: もしあの社会貢献が締めっぽいならばそのＣ群は心置き無い
事実11: もしとあるものは心置き無いということはないならば「それは締めっぽいけれど野太くない」ということは間違いだ

仮説: そのＣ群は心置き無い
1. 仮定1: 以下のように仮定する。あの社会貢献は外国技術でない
2. 事実2と仮定1から、推論1: "あの社会貢献は野太い"が導かれる
3. 事実1と事実3から、推論2: "あの社会貢献は野太くない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの社会貢献は外国技術である"が導かれる
6. 事実7から、推論5: "仮に「あの社会貢献は外国技術だ」ということは成り立つとしたらそれは締めっぽい"が導かれる
7. 推論4と推論5から、推論6: "あの社会貢献は締めっぽい"が導かれる
8. 推論6と事実10から、仮説が導かれる

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