その御大将は御寒い
fact1: もしもこの物グリセリドは排泄しないとすれば「その漁民はＰＣＴでない一方で排泄する」ということは成り立つ fact2: もしその漁民はＰＣＴでない一方で排泄すれば生易しくない fact3: その漁民は届け出書きでないかもしくはそれは同封致す fact4: 「その再編は同封致すということはない」ということは確かだ fact5: 「その御大将は御寒くない」ということは成り立てば「その継投策は幕間であるし更に客観化する」ということは誤りだ fact6: もしもその漁民は生易しくないならば「それは届け出書きでないかあるいは同封致すかまたはどちらもだ」ということは成り立たない fact7: もし「その継投策は幕間であるしその上それは客観化する」ということは誤っているとすればこの物グリセリドは排泄しない fact8: 仮にＰＣＴが同封致せば生易しくない
void -> assump1: 以下のように仮定する。「その御大将は御寒くない」ということは間違っているということはない; fact5 & assump1 -> int1: 「その継投策は幕間であるしそれにそれは客観化する」ということは間違いだ; int1 & fact7 -> int2: この物グリセリドは排泄しない; int2 & fact1 -> int3: その漁民はＰＣＴでないけれど排泄する; int3 & fact2 -> int4: その漁民は生易しいということはない; int4 & fact6 -> int5: 「その漁民は届け出書きでないか同封致すかあるいは両方ともだ」ということは成り立つということはない; int5 & fact3 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
「その御大将は御寒くない」ということは確かだ
fact9 -> int7: 仮にその継投策はＰＣＴであるし同封致すとすると生易しくない;
$facts$ = fact1: もしもこの物グリセリドは排泄しないとすれば「その漁民はＰＣＴでない一方で排泄する」ということは成り立つ fact2: もしその漁民はＰＣＴでない一方で排泄すれば生易しくない fact3: その漁民は届け出書きでないかもしくはそれは同封致す fact4: 「その再編は同封致すということはない」ということは確かだ fact5: 「その御大将は御寒くない」ということは成り立てば「その継投策は幕間であるし更に客観化する」ということは誤りだ fact6: もしもその漁民は生易しくないならば「それは届け出書きでないかあるいは同封致すかまたはどちらもだ」ということは成り立たない fact7: もし「その継投策は幕間であるしその上それは客観化する」ということは誤っているとすればこの物グリセリドは排泄しない fact8: 仮にＰＣＴが同封致せば生易しくない ; $hypothesis$ = その御大将は御寒い ; $proof$ = 
void -> assump1: 以下のように仮定する。「その御大将は御寒くない」ということは間違っているということはない; fact5 & assump1 -> int1: 「その継投策は幕間であるしそれにそれは客観化する」ということは間違いだ; int1 & fact7 -> int2: この物グリセリドは排泄しない; int2 & fact1 -> int3: その漁民はＰＣＴでないけれど排泄する; int3 & fact2 -> int4: その漁民は生易しいということはない; int4 & fact6 -> int5: 「その漁民は届け出書きでないか同封致すかあるいは両方ともだ」ということは成り立つということはない; int5 & fact3 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis; __PROVED__
事実1: もしもこの物グリセリドは排泄しないとすれば「その漁民はＰＣＴでない一方で排泄する」ということは成り立つ
事実2: もしその漁民はＰＣＴでない一方で排泄すれば生易しくない
事実3: その漁民は届け出書きでないかもしくはそれは同封致す
事実4: 「その再編は同封致すということはない」ということは確かだ
事実5: 「その御大将は御寒くない」ということは成り立てば「その継投策は幕間であるし更に客観化する」ということは誤りだ
事実6: もしもその漁民は生易しくないならば「それは届け出書きでないかあるいは同封致すかまたはどちらもだ」ということは成り立たない
事実7: もし「その継投策は幕間であるしその上それは客観化する」ということは誤っているとすればこの物グリセリドは排泄しない
事実8: 仮にＰＣＴが同封致せば生易しくない

仮説: その御大将は御寒い
1. 仮定1: 以下のように仮定する。「その御大将は御寒くない」ということは間違っているということはない
2. 事実5と仮定1から、推論1: "「その継投策は幕間であるしそれにそれは客観化する」ということは間違いだ"が導かれる
3. 推論1と事実7から、推論2: "この物グリセリドは排泄しない"が導かれる
4. 推論2と事実1から、推論3: "その漁民はＰＣＴでないけれど排泄する"が導かれる
5. 推論3と事実2から、推論4: "その漁民は生易しいということはない"が導かれる
6. 推論4と事実6から、推論5: "「その漁民は届け出書きでないか同封致すかあるいは両方ともだ」ということは成り立つということはない"が導かれる
7. 推論5と事実3から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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