あの地層は燃やす
fact1: もし仮にあの研究費は燃やすし移り難いとしたらそれは安しない fact2: もし仮になにがしかのものが塩作りでないとするとそれは立ち寄るしさらにそれは労労じ fact3: もし仮にあの研究費が移り難いとしたらそれはリフレッシュ出来る fact4: あの研究費は塩作りだ fact5: 「仮に「この瞑想は塩作りであるかまたはそれは移り難くないか両方だ」ということは誤っているならあの木曽路名所図会は移り難くない」ということは成り立つ fact6: もしもなんらかのものは通せん坊するし立ち寄るとすればそれは燃やさない fact7: あの地層が安しならばそれは立ち寄る fact8: もし仮にあの研究費が安しとするとそれは垢染みる fact9: もし何らかの物は塩作りでないとすると「移り難くないしまた燃やさない」ということは成り立たない fact10: あの研究費は塩作りであるとすれば移り難い fact11: 仮にあの研究費が垢染みるならあの地層は通せん坊する fact12: あの地層は立ち寄る fact13: 「「安ししリフレッシュ出来る」ということは誤っている」ものはある fact14: 何かはリフレッシュ出来るとすると安し
fact10 & fact4 -> int1: あの研究費は移り難い; int1 & fact3 -> int2: あの研究費はリフレッシュ出来る; fact14 -> int3: あの研究費がリフレッシュ出来るとすればそれは安し; int2 & int3 -> int4: あの研究費は安し; int4 & fact8 -> int5: あの研究費は垢染みる; int5 & fact11 -> int6: あの地層は通せん坊する; int6 & fact12 -> int7: あの地層は通せん坊するしかつ立ち寄る; fact6 -> int8: もしもあの地層が通せん坊するしさらに立ち寄るとすればそれは燃やすということはない; int7 & int8 -> hypothesis;
あの地層は燃やす
fact15 -> int9: 仮に「あの地層は塩作りでない」ということは正しいならば「移り難くないし燃やさない」ということは成り立たない;
$facts$ = fact1: もし仮にあの研究費は燃やすし移り難いとしたらそれは安しない fact2: もし仮になにがしかのものが塩作りでないとするとそれは立ち寄るしさらにそれは労労じ fact3: もし仮にあの研究費が移り難いとしたらそれはリフレッシュ出来る fact4: あの研究費は塩作りだ fact5: 「仮に「この瞑想は塩作りであるかまたはそれは移り難くないか両方だ」ということは誤っているならあの木曽路名所図会は移り難くない」ということは成り立つ fact6: もしもなんらかのものは通せん坊するし立ち寄るとすればそれは燃やさない fact7: あの地層が安しならばそれは立ち寄る fact8: もし仮にあの研究費が安しとするとそれは垢染みる fact9: もし何らかの物は塩作りでないとすると「移り難くないしまた燃やさない」ということは成り立たない fact10: あの研究費は塩作りであるとすれば移り難い fact11: 仮にあの研究費が垢染みるならあの地層は通せん坊する fact12: あの地層は立ち寄る fact13: 「「安ししリフレッシュ出来る」ということは誤っている」ものはある fact14: 何かはリフレッシュ出来るとすると安し ; $hypothesis$ = あの地層は燃やす ; $proof$ = 
fact10 & fact4 -> int1: あの研究費は移り難い; int1 & fact3 -> int2: あの研究費はリフレッシュ出来る; fact14 -> int3: あの研究費がリフレッシュ出来るとすればそれは安し; int2 & int3 -> int4: あの研究費は安し; int4 & fact8 -> int5: あの研究費は垢染みる; int5 & fact11 -> int6: あの地層は通せん坊する; int6 & fact12 -> int7: あの地層は通せん坊するしかつ立ち寄る; fact6 -> int8: もしもあの地層が通せん坊するしさらに立ち寄るとすればそれは燃やすということはない; int7 & int8 -> hypothesis; __DISPROVED__
事実1: もし仮にあの研究費は燃やすし移り難いとしたらそれは安しない
事実2: もし仮になにがしかのものが塩作りでないとするとそれは立ち寄るしさらにそれは労労じ
事実3: もし仮にあの研究費が移り難いとしたらそれはリフレッシュ出来る
事実4: あの研究費は塩作りだ
事実5: 「仮に「この瞑想は塩作りであるかまたはそれは移り難くないか両方だ」ということは誤っているならあの木曽路名所図会は移り難くない」ということは成り立つ
事実6: もしもなんらかのものは通せん坊するし立ち寄るとすればそれは燃やさない
事実7: あの地層が安しならばそれは立ち寄る
事実8: もし仮にあの研究費が安しとするとそれは垢染みる
事実9: もし何らかの物は塩作りでないとすると「移り難くないしまた燃やさない」ということは成り立たない
事実10: あの研究費は塩作りであるとすれば移り難い
事実11: 仮にあの研究費が垢染みるならあの地層は通せん坊する
事実12: あの地層は立ち寄る
事実13: 「「安ししリフレッシュ出来る」ということは誤っている」ものはある
事実14: 何かはリフレッシュ出来るとすると安し

仮説: あの地層は燃やす
1. 事実10と事実4から、推論1: "あの研究費は移り難い"が導かれる
2. 推論1と事実3から、推論2: "あの研究費はリフレッシュ出来る"が導かれる
3. 事実14から、推論3: "あの研究費がリフレッシュ出来るとすればそれは安し"が導かれる
4. 推論2と推論3から、推論4: "あの研究費は安し"が導かれる
5. 推論4と事実8から、推論5: "あの研究費は垢染みる"が導かれる
6. 推論5と事実11から、推論6: "あの地層は通せん坊する"が導かれる
7. 推論6と事実12から、推論7: "あの地層は通せん坊するしかつ立ち寄る"が導かれる
8. 事実6から、推論8: "もしもあの地層が通せん坊するしさらに立ち寄るとすればそれは燃やすということはない"が導かれる
9. 推論7と推論8から、仮説が否定される

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