その統御群は得難い
fact1: もしあの早寝早起きが発酵するとしたらその統御群は発酵するということはない fact2: 仮にあの早寝早起きが古しということはないなら作出しなくて発酵するということはない fact3: もしあの早寝早起きが気難しくない一方で得難いとするとその統御群は得難い fact4: その統御群は発酵しない fact5: 「あの竜門は気難しいし悪用する」ということは本当だということはない fact6: もし仮になんらかの物が作出しない一方で古しならば「あの早寝早起きは得難くない」ということは真実だ fact7: あの竜門は内装材でない fact8: もし仮に「あるものは発酵するかまたはそれは悪用しないかもしくはどちらもである」ということは嘘だとすれば得難くない fact9: あの早寝早起きは気難しい fact10: 仮にあの早寝早起きは発酵するとしたら「その統御群は発酵するかあるいは悪用しない」ということは成り立たない fact11: もしも「あの早寝早起きは気難しいか発酵しないかあるいはどちらもである」ということは誤りならそれは得難くない fact12: もしもなんらかのものが内装材でないならその統御群は作出しないが古し fact13: 気難しいものは悪用しない fact14: あの早寝早起きは気難しくてかつそれは発酵する
fact14 -> int1: あの早寝早起きは発酵する; int1 & fact10 -> int2: 「その統御群は発酵するかもしくはそれは悪用しないかもしくは両方である」ということは間違っている; fact8 -> int3: もし「その統御群は発酵するかもしくは悪用するということはないかまたはどちらもである」ということは成り立たないとしたら得難くない; int2 & int3 -> hypothesis;
fact14 -> int1: {B}{a}; int1 & fact10 -> int2: ¬({B}{b} v ¬{C}{b}); fact8 -> int3: ¬({B}{b} v ¬{C}{b}) -> ¬{D}{b}; int2 & int3 -> hypothesis;
その統御群は得難い
fact17 -> int4: 「「気難しいし悪用する」ということは成り立たない」物はある;
$facts$ = fact1: もしあの早寝早起きが発酵するとしたらその統御群は発酵するということはない fact2: 仮にあの早寝早起きが古しということはないなら作出しなくて発酵するということはない fact3: もしあの早寝早起きが気難しくない一方で得難いとするとその統御群は得難い fact4: その統御群は発酵しない fact5: 「あの竜門は気難しいし悪用する」ということは本当だということはない fact6: もし仮になんらかの物が作出しない一方で古しならば「あの早寝早起きは得難くない」ということは真実だ fact7: あの竜門は内装材でない fact8: もし仮に「あるものは発酵するかまたはそれは悪用しないかもしくはどちらもである」ということは嘘だとすれば得難くない fact9: あの早寝早起きは気難しい fact10: 仮にあの早寝早起きは発酵するとしたら「その統御群は発酵するかあるいは悪用しない」ということは成り立たない fact11: もしも「あの早寝早起きは気難しいか発酵しないかあるいはどちらもである」ということは誤りならそれは得難くない fact12: もしもなんらかのものが内装材でないならその統御群は作出しないが古し fact13: 気難しいものは悪用しない fact14: あの早寝早起きは気難しくてかつそれは発酵する ; $hypothesis$ = その統御群は得難い ; $proof$ = 
fact14 -> int1: あの早寝早起きは発酵する; int1 & fact10 -> int2: 「その統御群は発酵するかもしくはそれは悪用しないかもしくは両方である」ということは間違っている; fact8 -> int3: もし「その統御群は発酵するかもしくは悪用するということはないかまたはどちらもである」ということは成り立たないとしたら得難くない; int2 & int3 -> hypothesis; __DISPROVED__
事実1: もしあの早寝早起きが発酵するとしたらその統御群は発酵するということはない
事実2: 仮にあの早寝早起きが古しということはないなら作出しなくて発酵するということはない
事実3: もしあの早寝早起きが気難しくない一方で得難いとするとその統御群は得難い
事実4: その統御群は発酵しない
事実5: 「あの竜門は気難しいし悪用する」ということは本当だということはない
事実6: もし仮になんらかの物が作出しない一方で古しならば「あの早寝早起きは得難くない」ということは真実だ
事実7: あの竜門は内装材でない
事実8: もし仮に「あるものは発酵するかまたはそれは悪用しないかもしくはどちらもである」ということは嘘だとすれば得難くない
事実9: あの早寝早起きは気難しい
事実10: 仮にあの早寝早起きは発酵するとしたら「その統御群は発酵するかあるいは悪用しない」ということは成り立たない
事実11: もしも「あの早寝早起きは気難しいか発酵しないかあるいはどちらもである」ということは誤りならそれは得難くない
事実12: もしもなんらかのものが内装材でないならその統御群は作出しないが古し
事実13: 気難しいものは悪用しない
事実14: あの早寝早起きは気難しくてかつそれは発酵する

仮説: その統御群は得難い
1. 事実14から、推論1: "あの早寝早起きは発酵する"が導かれる
2. 推論1と事実10から、推論2: "「その統御群は発酵するかもしくはそれは悪用しないかもしくは両方である」ということは間違っている"が導かれる
3. 事実8から、推論3: "もし「その統御群は発酵するかもしくは悪用するということはないかまたはどちらもである」ということは成り立たないとしたら得難くない"が導かれる
4. 推論2と推論3から、仮説が否定される

よって、仮説が否定されました。