「この約束は下学集である」ということは本当である
fact1: そのイヤーＳは粗いとしたら「この約束は下学集だ」ということは正しい fact2: もし仮になんらかの物は賢明さでないとすれば「弱化するということはないか予測し難いかどちらもである」ということは嘘である fact3: あるものは探究活動でないとすれば「それは粗くないけれど青年時代である」ということは成り立たない fact4: 粗いものは青年時代である fact5: この約束は青年時代である fact6: もし仮に「なにかは態とするし日本基準だ」ということは間違っているとすれば賢明さであるということはない fact7: もし仮に「何らかのものは粗いということはないがしかしそれは青年時代である」ということは成り立たないとすればそれは下学集でない fact8: そのイヤーＳは青年時代である fact9: そのイヤーＳは青年時代であるとしたらそれは粗い fact10: もしもそのイヤーＳが弱化しないならばあの約束は探究活動でないけど両立し得る fact11: もし仮に「あの孔雀は弱化するということはないか予測し難い」ということは偽だとするとそのイヤーＳは弱化しない
fact9 & fact8 -> int1: そのイヤーＳは粗い; int1 & fact1 -> hypothesis;
fact9 & fact8 -> int1: {B}{a}; int1 & fact1 -> hypothesis;
この約束は下学集でない
fact17 -> int2: 仮に「この約束は粗くないが青年時代である」ということは成り立たないとしたらそれは下学集でない; fact14 -> int3: 仮にこの約束は探究活動でないなら「粗くないけど青年時代である」ということは偽だ; fact15 -> int4: もしあの孔雀は賢明さでないとすれば「それは弱化しないかあるいは予測し難いかあるいはどちらもである」ということは成り立たない; fact16 -> int5: もしも「あの孔雀は態とするししかも日本基準だ」ということは成り立たないとすればそれは賢明さでない;
$facts$ = fact1: そのイヤーＳは粗いとしたら「この約束は下学集だ」ということは正しい fact2: もし仮になんらかの物は賢明さでないとすれば「弱化するということはないか予測し難いかどちらもである」ということは嘘である fact3: あるものは探究活動でないとすれば「それは粗くないけれど青年時代である」ということは成り立たない fact4: 粗いものは青年時代である fact5: この約束は青年時代である fact6: もし仮に「なにかは態とするし日本基準だ」ということは間違っているとすれば賢明さであるということはない fact7: もし仮に「何らかのものは粗いということはないがしかしそれは青年時代である」ということは成り立たないとすればそれは下学集でない fact8: そのイヤーＳは青年時代である fact9: そのイヤーＳは青年時代であるとしたらそれは粗い fact10: もしもそのイヤーＳが弱化しないならばあの約束は探究活動でないけど両立し得る fact11: もし仮に「あの孔雀は弱化するということはないか予測し難い」ということは偽だとするとそのイヤーＳは弱化しない ; $hypothesis$ = 「この約束は下学集である」ということは本当である ; $proof$ = 
fact9 & fact8 -> int1: そのイヤーＳは粗い; int1 & fact1 -> hypothesis; __PROVED__
事実1: そのイヤーＳは粗いとしたら「この約束は下学集だ」ということは正しい
事実2: もし仮になんらかの物は賢明さでないとすれば「弱化するということはないか予測し難いかどちらもである」ということは嘘である
事実3: あるものは探究活動でないとすれば「それは粗くないけれど青年時代である」ということは成り立たない
事実4: 粗いものは青年時代である
事実5: この約束は青年時代である
事実6: もし仮に「なにかは態とするし日本基準だ」ということは間違っているとすれば賢明さであるということはない
事実7: もし仮に「何らかのものは粗いということはないがしかしそれは青年時代である」ということは成り立たないとすればそれは下学集でない
事実8: そのイヤーＳは青年時代である
事実9: そのイヤーＳは青年時代であるとしたらそれは粗い
事実10: もしもそのイヤーＳが弱化しないならばあの約束は探究活動でないけど両立し得る
事実11: もし仮に「あの孔雀は弱化するということはないか予測し難い」ということは偽だとするとそのイヤーＳは弱化しない

仮説: 「この約束は下学集である」ということは本当である
1. 事実9と事実8から、推論1: "そのイヤーＳは粗い"が導かれる
2. 推論1と事実1から、仮説が導かれる

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