「その層状組織は居らんさんでない」ということは本当だ
fact1: そのネルがＷゲットだとするとそれは同文だ fact2: もし仮にこの表意者は売り難くないが年寄り猫であるなら有料道路だ fact3: その層状組織はＷゲットだ fact4: 「捕まえ易いものは低し」ということは成り立つ fact5: 競馬場代わりは居らんさんだ fact6: なにかは着るとしたらそれは通行出来る fact7: もし仮になにがしかの物が有料道路であるならばあの層状組織は熊野参りであるけどそれは相続税法でない fact8: もしその層状組織はＷゲットだとすれば「競馬場代わりである」ということは成り立つ fact9: 仮にその層状組織が静態なら競馬場代わりである fact10: 仮にとあるものは居らんさんでないならば「競馬場代わりだけどＷゲットでない」ということは嘘である fact11: その層状組織はし給う fact12: 仮に何かは熊野参りでないなら競馬場代わりであるしかつ居らんさんだ fact13: すべてはダイブしない fact14: 「収穫は動かせる」ということは本当だ fact15: もしも熊野参りが相続税法でないならあの会計事実は居らんさんでない fact16: 競馬場代わりはＷゲットだ fact17: この第三十九戦車連隊はＷゲットだ fact18: もし何かは相続税法だとすれば「それは競馬場代わりであるということはないかあるいは熊野参りだ」ということは事実と異なる fact19: なんらかの物がダイブしないなら売り難くなくてまた年寄り猫だ fact20: この忍従はＷゲットである fact21: もしも「この表意者は競馬場代わりでないか熊野参りであるかあるいは両方である」ということは間違いであるとしたらその層状組織は競馬場代わりであるということはない fact22: もし何かは居らんさんであるとするとそれはＷゲットである
fact8 & fact3 -> int1: その層状組織は競馬場代わりである; fact5 -> int2: もしもその層状組織は競馬場代わりであるとしたら居らんさんである; int1 & int2 -> hypothesis;
その層状組織は居らんさんだということはない
fact24 -> int3: 仮にこの表意者は相続税法であるとしたら「それは競馬場代わりであるということはないかもしくは熊野参りであるか両方ともである」ということは成り立たない;
$facts$ = fact1: そのネルがＷゲットだとするとそれは同文だ fact2: もし仮にこの表意者は売り難くないが年寄り猫であるなら有料道路だ fact3: その層状組織はＷゲットだ fact4: 「捕まえ易いものは低し」ということは成り立つ fact5: 競馬場代わりは居らんさんだ fact6: なにかは着るとしたらそれは通行出来る fact7: もし仮になにがしかの物が有料道路であるならばあの層状組織は熊野参りであるけどそれは相続税法でない fact8: もしその層状組織はＷゲットだとすれば「競馬場代わりである」ということは成り立つ fact9: 仮にその層状組織が静態なら競馬場代わりである fact10: 仮にとあるものは居らんさんでないならば「競馬場代わりだけどＷゲットでない」ということは嘘である fact11: その層状組織はし給う fact12: 仮に何かは熊野参りでないなら競馬場代わりであるしかつ居らんさんだ fact13: すべてはダイブしない fact14: 「収穫は動かせる」ということは本当だ fact15: もしも熊野参りが相続税法でないならあの会計事実は居らんさんでない fact16: 競馬場代わりはＷゲットだ fact17: この第三十九戦車連隊はＷゲットだ fact18: もし何かは相続税法だとすれば「それは競馬場代わりであるということはないかあるいは熊野参りだ」ということは事実と異なる fact19: なんらかの物がダイブしないなら売り難くなくてまた年寄り猫だ fact20: この忍従はＷゲットである fact21: もしも「この表意者は競馬場代わりでないか熊野参りであるかあるいは両方である」ということは間違いであるとしたらその層状組織は競馬場代わりであるということはない fact22: もし何かは居らんさんであるとするとそれはＷゲットである ; $hypothesis$ = 「その層状組織は居らんさんでない」ということは本当だ ; $proof$ = 
fact8 & fact3 -> int1: その層状組織は競馬場代わりである; fact5 -> int2: もしもその層状組織は競馬場代わりであるとしたら居らんさんである; int1 & int2 -> hypothesis; __DISPROVED__
事実1: そのネルがＷゲットだとするとそれは同文だ
事実2: もし仮にこの表意者は売り難くないが年寄り猫であるなら有料道路だ
事実3: その層状組織はＷゲットだ
事実4: 「捕まえ易いものは低し」ということは成り立つ
事実5: 競馬場代わりは居らんさんだ
事実6: なにかは着るとしたらそれは通行出来る
事実7: もし仮になにがしかの物が有料道路であるならばあの層状組織は熊野参りであるけどそれは相続税法でない
事実8: もしその層状組織はＷゲットだとすれば「競馬場代わりである」ということは成り立つ
事実9: 仮にその層状組織が静態なら競馬場代わりである
事実10: 仮にとあるものは居らんさんでないならば「競馬場代わりだけどＷゲットでない」ということは嘘である
事実11: その層状組織はし給う
事実12: 仮に何かは熊野参りでないなら競馬場代わりであるしかつ居らんさんだ
事実13: すべてはダイブしない
事実14: 「収穫は動かせる」ということは本当だ
事実15: もしも熊野参りが相続税法でないならあの会計事実は居らんさんでない
事実16: 競馬場代わりはＷゲットだ
事実17: この第三十九戦車連隊はＷゲットだ
事実18: もし何かは相続税法だとすれば「それは競馬場代わりであるということはないかあるいは熊野参りだ」ということは事実と異なる
事実19: なんらかの物がダイブしないなら売り難くなくてまた年寄り猫だ
事実20: この忍従はＷゲットである
事実21: もしも「この表意者は競馬場代わりでないか熊野参りであるかあるいは両方である」ということは間違いであるとしたらその層状組織は競馬場代わりであるということはない
事実22: もし何かは居らんさんであるとするとそれはＷゲットである

仮説: 「その層状組織は居らんさんでない」ということは本当だ
1. 事実8と事実3から、推論1: "その層状組織は競馬場代わりである"が導かれる
2. 事実5から、推論2: "もしもその層状組織は競馬場代わりであるとしたら居らんさんである"が導かれる
3. 推論1と推論2から、仮説が否定される

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