この排膿散は切り伏せる
fact1: 仮にとあるものが発布すればそれは水抜きだということはない fact2: 「この排膿散は水抜きでない」ということは成り立つ fact3: あの管理権は計上すらないけれどそれは荒っぽい fact4: あの管理権は発布しない fact5: あの管理権が水抜きであるならばこの排膿散は発布しない fact6: あの管理権は見聞きしないがしかし水抜きである fact7: もしこの排膿散は発布するか持ち切れないかまたはどちらもであるなら発布する fact8: あの管理権は見聞きしない fact9: この百円以下は福祉用具でないがしかし等間隔だ fact10: この排膿散が切り伏せるということはないとするとそれは見聞きしない fact11: もし仮になんらかのものが切り伏せないとすると見聞きするということはない fact12: とある物が発布しないとすれば切り伏せない
fact6 -> int1: あの管理権は水抜きだ; int1 & fact5 -> int2: この排膿散は発布しない; fact12 -> int3: もしも「この排膿散は発布するということはない」ということは事実だとしたら切り伏せない; int2 & int3 -> hypothesis;
「この排膿散は切り伏せる」ということは確かである
fact13 -> int4: もしこの排膿散が発布するならそれは水抜きでない;
$facts$ = fact1: 仮にとあるものが発布すればそれは水抜きだということはない fact2: 「この排膿散は水抜きでない」ということは成り立つ fact3: あの管理権は計上すらないけれどそれは荒っぽい fact4: あの管理権は発布しない fact5: あの管理権が水抜きであるならばこの排膿散は発布しない fact6: あの管理権は見聞きしないがしかし水抜きである fact7: もしこの排膿散は発布するか持ち切れないかまたはどちらもであるなら発布する fact8: あの管理権は見聞きしない fact9: この百円以下は福祉用具でないがしかし等間隔だ fact10: この排膿散が切り伏せるということはないとするとそれは見聞きしない fact11: もし仮になんらかのものが切り伏せないとすると見聞きするということはない fact12: とある物が発布しないとすれば切り伏せない ; $hypothesis$ = この排膿散は切り伏せる ; $proof$ = 
fact6 -> int1: あの管理権は水抜きだ; int1 & fact5 -> int2: この排膿散は発布しない; fact12 -> int3: もしも「この排膿散は発布するということはない」ということは事実だとしたら切り伏せない; int2 & int3 -> hypothesis; __DISPROVED__
事実1: 仮にとあるものが発布すればそれは水抜きだということはない
事実2: 「この排膿散は水抜きでない」ということは成り立つ
事実3: あの管理権は計上すらないけれどそれは荒っぽい
事実4: あの管理権は発布しない
事実5: あの管理権が水抜きであるならばこの排膿散は発布しない
事実6: あの管理権は見聞きしないがしかし水抜きである
事実7: もしこの排膿散は発布するか持ち切れないかまたはどちらもであるなら発布する
事実8: あの管理権は見聞きしない
事実9: この百円以下は福祉用具でないがしかし等間隔だ
事実10: この排膿散が切り伏せるということはないとするとそれは見聞きしない
事実11: もし仮になんらかのものが切り伏せないとすると見聞きするということはない
事実12: とある物が発布しないとすれば切り伏せない

仮説: この排膿散は切り伏せる
1. 事実6から、推論1: "あの管理権は水抜きだ"が導かれる
2. 推論1と事実5から、推論2: "この排膿散は発布しない"が導かれる
3. 事実12から、推論3: "もしも「この排膿散は発布するということはない」ということは事実だとしたら切り伏せない"が導かれる
4. 推論2と推論3から、仮説が否定される

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