この十年以内は卑賤視する
fact1: あの三部隊が形容し難くないとしたらそれが成り易くないしさらにそれは安くない fact2: この賤民制は安いということはない fact3: この十年以内は成り易いということはない fact4: 「あの計画中は形容し難いということはない」ということは成り立つ fact5: この十年以内は安くない fact6: あの三部隊が成り易いしその上それは懐かしい fact7: もしある物が黙りこくらないし形容し難くないとすればあの十年以内は卑賤視する fact8: あの三部隊が形容し難いとすればこの賤民制は黙りこくらないし形容し難くない
void -> assump1: 以下のように仮定する。あの三部隊は形容し難いということはない; fact1 & assump1 -> int1: あの三部隊は成り易くないしそれは安くない; int1 -> int2: あの三部隊は成り易くない; fact6 -> int3: あの三部隊は成り易い; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「あの三部隊は形容し難い」ということは確かだ; int5 & fact8 -> int6: この賤民制は黙りこくらないしその上それは形容し難くない; int6 -> int7: 「黙りこくらなくて更に形容し難くない」ものはある; int7 & fact7 -> hypothesis;
$facts$ = fact1: あの三部隊が形容し難くないとしたらそれが成り易くないしさらにそれは安くない fact2: この賤民制は安いということはない fact3: この十年以内は成り易いということはない fact4: 「あの計画中は形容し難いということはない」ということは成り立つ fact5: この十年以内は安くない fact6: あの三部隊が成り易いしその上それは懐かしい fact7: もしある物が黙りこくらないし形容し難くないとすればあの十年以内は卑賤視する fact8: あの三部隊が形容し難いとすればこの賤民制は黙りこくらないし形容し難くない ; $hypothesis$ = この十年以内は卑賤視する ; $proof$ = 
void -> assump1: 以下のように仮定する。あの三部隊は形容し難いということはない; fact1 & assump1 -> int1: あの三部隊は成り易くないしそれは安くない; int1 -> int2: あの三部隊は成り易くない; fact6 -> int3: あの三部隊は成り易い; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「あの三部隊は形容し難い」ということは確かだ; int5 & fact8 -> int6: この賤民制は黙りこくらないしその上それは形容し難くない; int6 -> int7: 「黙りこくらなくて更に形容し難くない」ものはある; int7 & fact7 -> hypothesis; __PROVED__
事実1: あの三部隊が形容し難くないとしたらそれが成り易くないしさらにそれは安くない
事実2: この賤民制は安いということはない
事実3: この十年以内は成り易いということはない
事実4: 「あの計画中は形容し難いということはない」ということは成り立つ
事実5: この十年以内は安くない
事実6: あの三部隊が成り易いしその上それは懐かしい
事実7: もしある物が黙りこくらないし形容し難くないとすればあの十年以内は卑賤視する
事実8: あの三部隊が形容し難いとすればこの賤民制は黙りこくらないし形容し難くない

仮説: この十年以内は卑賤視する
1. 仮定1: 以下のように仮定する。あの三部隊は形容し難いということはない
2. 事実1と仮定1から、推論1: "あの三部隊は成り易くないしそれは安くない"が導かれる
3. 推論1から、推論2: "あの三部隊は成り易くない"が導かれる
4. 事実6から、推論3: "あの三部隊は成り易い"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「あの三部隊は形容し難い」ということは確かだ"が導かれる
7. 推論5と事実8から、推論6: "この賤民制は黙りこくらないしその上それは形容し難くない"が導かれる
8. 推論6から、推論7: "「黙りこくらなくて更に形容し難くない」ものはある"が導かれる
9. 推論7と事実7から、仮説が導かれる

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