この御方様は辛くない
fact1: もしも何かは固定資本であるなら「開き易いということはないししかもそれは分葱でない」ということは成り立たない fact2: もし仮にあるものは固定資本だとすると「開き易いが分葱でない」ということは間違っている fact3: その未払い分は割れ難くて更に固定資本である fact4: もしも「その未払い分は開き易くないししかもそれは分葱でない」ということは成り立たないとするとこの御方様は辛い fact5: 仮にその未払い分は固定資本であるならば「それは開き易いがしかし分葱でない」ということは誤りである fact6: 「その未払い分は開き易いけどそれは分葱でない」ということは間違いである fact7: もしも何かは固定資本でなくて割れ難くないとすれば辛くない fact8: 仮にその未払い分は固定資本であるならば「それは開き易くないけれど分葱である」ということは事実でない fact9: もしもあるものは固定資本だとしたら「「それは開き易くないがしかし分葱だ」ということは本当だ」ということは誤りだ
fact3 -> int1: その未払い分は固定資本である; fact1 -> int2: もしその未払い分は固定資本であるならば「「開き易くなくて加えて分葱でない」ということは成り立つ」ということは事実と異なる; int1 & int2 -> int3: 「「その未払い分は開き易くないし分葱でない」ということは誤りだ」ということは事実だ; int3 & fact4 -> hypothesis;
fact3 -> int1: {B}{a}; fact1 -> int2: {B}{a} -> ¬(¬{C}{a} & ¬{D}{a}); int1 & int2 -> int3: ¬(¬{C}{a} & ¬{D}{a}); int3 & fact4 -> hypothesis;
この御方様は辛くない
fact10 -> int4: もし「この御方様は固定資本でなくてそれに割れ難いということはない」ということは本当だとすればそれは辛くない;
$facts$ = fact1: もしも何かは固定資本であるなら「開き易いということはないししかもそれは分葱でない」ということは成り立たない fact2: もし仮にあるものは固定資本だとすると「開き易いが分葱でない」ということは間違っている fact3: その未払い分は割れ難くて更に固定資本である fact4: もしも「その未払い分は開き易くないししかもそれは分葱でない」ということは成り立たないとするとこの御方様は辛い fact5: 仮にその未払い分は固定資本であるならば「それは開き易いがしかし分葱でない」ということは誤りである fact6: 「その未払い分は開き易いけどそれは分葱でない」ということは間違いである fact7: もしも何かは固定資本でなくて割れ難くないとすれば辛くない fact8: 仮にその未払い分は固定資本であるならば「それは開き易くないけれど分葱である」ということは事実でない fact9: もしもあるものは固定資本だとしたら「「それは開き易くないがしかし分葱だ」ということは本当だ」ということは誤りだ ; $hypothesis$ = この御方様は辛くない ; $proof$ = 
fact3 -> int1: その未払い分は固定資本である; fact1 -> int2: もしその未払い分は固定資本であるならば「「開き易くなくて加えて分葱でない」ということは成り立つ」ということは事実と異なる; int1 & int2 -> int3: 「「その未払い分は開き易くないし分葱でない」ということは誤りだ」ということは事実だ; int3 & fact4 -> hypothesis; __DISPROVED__
事実1: もしも何かは固定資本であるなら「開き易いということはないししかもそれは分葱でない」ということは成り立たない
事実2: もし仮にあるものは固定資本だとすると「開き易いが分葱でない」ということは間違っている
事実3: その未払い分は割れ難くて更に固定資本である
事実4: もしも「その未払い分は開き易くないししかもそれは分葱でない」ということは成り立たないとするとこの御方様は辛い
事実5: 仮にその未払い分は固定資本であるならば「それは開き易いがしかし分葱でない」ということは誤りである
事実6: 「その未払い分は開き易いけどそれは分葱でない」ということは間違いである
事実7: もしも何かは固定資本でなくて割れ難くないとすれば辛くない
事実8: 仮にその未払い分は固定資本であるならば「それは開き易くないけれど分葱である」ということは事実でない
事実9: もしもあるものは固定資本だとしたら「「それは開き易くないがしかし分葱だ」ということは本当だ」ということは誤りだ

仮説: この御方様は辛くない
1. 事実3から、推論1: "その未払い分は固定資本である"が導かれる
2. 事実1から、推論2: "もしその未払い分は固定資本であるならば「「開き易くなくて加えて分葱でない」ということは成り立つ」ということは事実と異なる"が導かれる
3. 推論1と推論2から、推論3: "「「その未払い分は開き易くないし分葱でない」ということは誤りだ」ということは事実だ"が導かれる
4. 推論3と事実4から、仮説が否定される

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