その下級条件は狭くない
fact1: 「あの継承は狭い」ということは本当である fact2: あの継承は弱し fact3: もしあの継承が弛み無いならあの一泡は走り切る fact4: あの継承はんするかあるいは狭いかまたは両方である fact5: もしあの一泡が弛み無いならばあの継承は走り切る fact6: あの一泡は公用であるかあるいは狭い fact7: もし仮に「公用であるか走り切るかまたは両方ともな」ものがあるとするとその下級条件は狭い fact8: もしもあの一泡が漏れ出ればそれは走り切る fact9: 何らかの物は貧乏臭いかあるいは枯山水であるかもしくはどちらもである fact10: もし仮にとあるものは走り切るなら「それが弛み無くないしさらに漏れ出ない」ということは成り立たない fact11: もし仮にその一酸化炭素が公用だ一方で極まりなくないならばあの一泡は走り切らない fact12: もし仮にその下級条件が狭いならそれは弛み無い fact13: その下級条件は溶け易い fact14: もし「「弛み無くなくて漏れ出ない」ということは真実であるということはない」物があるならあの当該申請書は寺社である fact15: そのＫ子さんは漏れ出る fact16: あの継承は漏れ出る fact17: あの一泡は狭いかもしくは公用だ fact18: 仮にあの継承が漏れ出れば弛み無い fact19: 「公用であるか漏れ出るかまたは両方な」ものはある fact20: あの継承は素晴らしい
fact18 & fact16 -> int1: あの継承は弛み無い; int1 & fact3 -> int2: あの一泡は走り切る; int2 -> int3: あの一泡は公用であるかまたは走り切る; int3 -> int4: 「公用であるかあるいは走り切るか両方である」物はある; int4 & fact7 -> hypothesis;
その下級条件は狭くない
$facts$ = fact1: 「あの継承は狭い」ということは本当である fact2: あの継承は弱し fact3: もしあの継承が弛み無いならあの一泡は走り切る fact4: あの継承はんするかあるいは狭いかまたは両方である fact5: もしあの一泡が弛み無いならばあの継承は走り切る fact6: あの一泡は公用であるかあるいは狭い fact7: もし仮に「公用であるか走り切るかまたは両方ともな」ものがあるとするとその下級条件は狭い fact8: もしもあの一泡が漏れ出ればそれは走り切る fact9: 何らかの物は貧乏臭いかあるいは枯山水であるかもしくはどちらもである fact10: もし仮にとあるものは走り切るなら「それが弛み無くないしさらに漏れ出ない」ということは成り立たない fact11: もし仮にその一酸化炭素が公用だ一方で極まりなくないならばあの一泡は走り切らない fact12: もし仮にその下級条件が狭いならそれは弛み無い fact13: その下級条件は溶け易い fact14: もし「「弛み無くなくて漏れ出ない」ということは真実であるということはない」物があるならあの当該申請書は寺社である fact15: そのＫ子さんは漏れ出る fact16: あの継承は漏れ出る fact17: あの一泡は狭いかもしくは公用だ fact18: 仮にあの継承が漏れ出れば弛み無い fact19: 「公用であるか漏れ出るかまたは両方な」ものはある fact20: あの継承は素晴らしい ; $hypothesis$ = その下級条件は狭くない ; $proof$ = 
fact18 & fact16 -> int1: あの継承は弛み無い; int1 & fact3 -> int2: あの一泡は走り切る; int2 -> int3: あの一泡は公用であるかまたは走り切る; int3 -> int4: 「公用であるかあるいは走り切るか両方である」物はある; int4 & fact7 -> hypothesis; __DISPROVED__
事実1: 「あの継承は狭い」ということは本当である
事実2: あの継承は弱し
事実3: もしあの継承が弛み無いならあの一泡は走り切る
事実4: あの継承はんするかあるいは狭いかまたは両方である
事実5: もしあの一泡が弛み無いならばあの継承は走り切る
事実6: あの一泡は公用であるかあるいは狭い
事実7: もし仮に「公用であるか走り切るかまたは両方ともな」ものがあるとするとその下級条件は狭い
事実8: もしもあの一泡が漏れ出ればそれは走り切る
事実9: 何らかの物は貧乏臭いかあるいは枯山水であるかもしくはどちらもである
事実10: もし仮にとあるものは走り切るなら「それが弛み無くないしさらに漏れ出ない」ということは成り立たない
事実11: もし仮にその一酸化炭素が公用だ一方で極まりなくないならばあの一泡は走り切らない
事実12: もし仮にその下級条件が狭いならそれは弛み無い
事実13: その下級条件は溶け易い
事実14: もし「「弛み無くなくて漏れ出ない」ということは真実であるということはない」物があるならあの当該申請書は寺社である
事実15: そのＫ子さんは漏れ出る
事実16: あの継承は漏れ出る
事実17: あの一泡は狭いかもしくは公用だ
事実18: 仮にあの継承が漏れ出れば弛み無い
事実19: 「公用であるか漏れ出るかまたは両方な」ものはある
事実20: あの継承は素晴らしい

仮説: その下級条件は狭くない
1. 事実18と事実16から、推論1: "あの継承は弛み無い"が導かれる
2. 推論1と事実3から、推論2: "あの一泡は走り切る"が導かれる
3. 推論2から、推論3: "あの一泡は公用であるかまたは走り切る"が導かれる
4. 推論3から、推論4: "「公用であるかあるいは走り切るか両方である」物はある"が導かれる
5. 推論4と事実7から、仮説が否定される

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