「この言い替えは頑是無くない」ということは誤りでない
fact1: 全てのものは希うししかも勤しむ fact2: なにがしかの物がルージュだとすると不退転だ fact3: もしなにがしかのものは勤しまないならば「頑是無くないしさらにそれは希わない」ということは偽だ fact4: もしこの言い替えはルージュでないとすると「この剥は希うが勤しまない」ということは間違いである fact5: もしその二．一項が離れ難いならばこの言い替えは乗り易い fact6: 仮になにかは酷いかまたは乗り易いかまたは両方ともであるとしたら頑是無くない fact7: 「この言い替えは希う」ということは本当だ fact8: 「酷いものは頑是無いということはない」ということは正しい fact9: この当該年度計上額が希うならこの剥はルージュだ fact10: 仮にこの剥が不退転であるとすればその二．一項は離れ難い
fact1 -> int1: この当該年度計上額は希うしおまけに勤しむ; int1 -> int2: この当該年度計上額は希う; int2 & fact9 -> int3: この剥はルージュだ; fact2 -> int4: もしこの剥はルージュであるならそれは不退転だ; int3 & int4 -> int5: この剥は不退転だ; int5 & fact10 -> int6: その二．一項は離れ難い; int6 & fact5 -> int7: 「この言い替えは乗り易い」ということは成り立つ; int7 -> int8: この言い替えは酷いか乗り易いかまたはどちらもである; fact6 -> int9: もし仮にこの言い替えが酷いかあるいはそれが乗り易いとすればそれは頑是無くない; int8 & int9 -> hypothesis;
その二．一項は不退転でない
$facts$ = fact1: 全てのものは希うししかも勤しむ fact2: なにがしかの物がルージュだとすると不退転だ fact3: もしなにがしかのものは勤しまないならば「頑是無くないしさらにそれは希わない」ということは偽だ fact4: もしこの言い替えはルージュでないとすると「この剥は希うが勤しまない」ということは間違いである fact5: もしその二．一項が離れ難いならばこの言い替えは乗り易い fact6: 仮になにかは酷いかまたは乗り易いかまたは両方ともであるとしたら頑是無くない fact7: 「この言い替えは希う」ということは本当だ fact8: 「酷いものは頑是無いということはない」ということは正しい fact9: この当該年度計上額が希うならこの剥はルージュだ fact10: 仮にこの剥が不退転であるとすればその二．一項は離れ難い ; $hypothesis$ = 「この言い替えは頑是無くない」ということは誤りでない ; $proof$ = 
fact1 -> int1: この当該年度計上額は希うしおまけに勤しむ; int1 -> int2: この当該年度計上額は希う; int2 & fact9 -> int3: この剥はルージュだ; fact2 -> int4: もしこの剥はルージュであるならそれは不退転だ; int3 & int4 -> int5: この剥は不退転だ; int5 & fact10 -> int6: その二．一項は離れ難い; int6 & fact5 -> int7: 「この言い替えは乗り易い」ということは成り立つ; int7 -> int8: この言い替えは酷いか乗り易いかまたはどちらもである; fact6 -> int9: もし仮にこの言い替えが酷いかあるいはそれが乗り易いとすればそれは頑是無くない; int8 & int9 -> hypothesis; __PROVED__
事実1: 全てのものは希うししかも勤しむ
事実2: なにがしかの物がルージュだとすると不退転だ
事実3: もしなにがしかのものは勤しまないならば「頑是無くないしさらにそれは希わない」ということは偽だ
事実4: もしこの言い替えはルージュでないとすると「この剥は希うが勤しまない」ということは間違いである
事実5: もしその二．一項が離れ難いならばこの言い替えは乗り易い
事実6: 仮になにかは酷いかまたは乗り易いかまたは両方ともであるとしたら頑是無くない
事実7: 「この言い替えは希う」ということは本当だ
事実8: 「酷いものは頑是無いということはない」ということは正しい
事実9: この当該年度計上額が希うならこの剥はルージュだ
事実10: 仮にこの剥が不退転であるとすればその二．一項は離れ難い

仮説: 「この言い替えは頑是無くない」ということは誤りでない
1. 事実1から、推論1: "この当該年度計上額は希うしおまけに勤しむ"が導かれる
2. 推論1から、推論2: "この当該年度計上額は希う"が導かれる
3. 推論2と事実9から、推論3: "この剥はルージュだ"が導かれる
4. 事実2から、推論4: "もしこの剥はルージュであるならそれは不退転だ"が導かれる
5. 推論3と推論4から、推論5: "この剥は不退転だ"が導かれる
6. 推論5と事実10から、推論6: "その二．一項は離れ難い"が導かれる
7. 推論6と事実5から、推論7: "「この言い替えは乗り易い」ということは成り立つ"が導かれる
8. 推論7から、推論8: "この言い替えは酷いか乗り易いかまたはどちらもである"が導かれる
9. 事実6から、推論9: "もし仮にこの言い替えが酷いかあるいはそれが乗り易いとすればそれは頑是無くない"が導かれる
10. 推論8と推論9から、仮説が導かれる

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