この失望感は売り捌かない
fact1: 仮にこの海難供養碑が厳めしいとすればしゃんとする fact2: 染み込み易いものは売り捌く fact3: もし仮に「この失望感は茶色い一方でそれは染み込み易くない」ということは間違いでないなら牧草地だ fact4: この失望感は色っぽいけれど染み込み易くない fact5: この失望感は多角化する fact6: この失望感は丸い fact7: この松茂君は売り捌く fact8: もしもこの失望感は色っぽいけれど染み込み易くないならそれは延長出来る fact9: もし仮に何らかの物が延長出来るとすれば売り捌く
fact8 & fact4 -> int1: この失望感は延長出来る; fact9 -> int2: もし仮にこの失望感が延長出来るとすれば売り捌く; int1 & int2 -> hypothesis;
fact8 & fact4 -> int1: {B}{a}; fact9 -> int2: {B}{a} -> {A}{a}; int1 & int2 -> hypothesis;
$facts$ = fact1: 仮にこの海難供養碑が厳めしいとすればしゃんとする fact2: 染み込み易いものは売り捌く fact3: もし仮に「この失望感は茶色い一方でそれは染み込み易くない」ということは間違いでないなら牧草地だ fact4: この失望感は色っぽいけれど染み込み易くない fact5: この失望感は多角化する fact6: この失望感は丸い fact7: この松茂君は売り捌く fact8: もしもこの失望感は色っぽいけれど染み込み易くないならそれは延長出来る fact9: もし仮に何らかの物が延長出来るとすれば売り捌く ; $hypothesis$ = この失望感は売り捌かない ; $proof$ = 
fact8 & fact4 -> int1: この失望感は延長出来る; fact9 -> int2: もし仮にこの失望感が延長出来るとすれば売り捌く; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 仮にこの海難供養碑が厳めしいとすればしゃんとする
事実2: 染み込み易いものは売り捌く
事実3: もし仮に「この失望感は茶色い一方でそれは染み込み易くない」ということは間違いでないなら牧草地だ
事実4: この失望感は色っぽいけれど染み込み易くない
事実5: この失望感は多角化する
事実6: この失望感は丸い
事実7: この松茂君は売り捌く
事実8: もしもこの失望感は色っぽいけれど染み込み易くないならそれは延長出来る
事実9: もし仮に何らかの物が延長出来るとすれば売り捌く

仮説: この失望感は売り捌かない
1. 事実8と事実4から、推論1: "この失望感は延長出来る"が導かれる
2. 事実9から、推論2: "もし仮にこの失望感が延長出来るとすれば売り捌く"が導かれる
3. 推論1と推論2から、仮説が否定される

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