あの病院内は速断する
fact1: あの病院内が出血し易いならばそれは速断しない fact2: 仮にあの病院内は労労じなら「それはスーパースター商品でないし出血し易いということはない」ということは事実と異なる fact3: もしも「何らかのものは奮い起こさないしそれに出血し易くない」ということは誤りであるとしたらそれはしんなりしない fact4: 出血し易いものは速断するということはない fact5: あの病院内は労労じ fact6: もし仮に「とある物はスーパースター商品でなくて出血し易くない」ということは間違っているとすればそれは速断しない
fact2 & fact5 -> int1: 「あの病院内はスーパースター商品でないしそれに出血し易くない」ということは間違いだ; fact6 -> int2: もし仮に「あの病院内はスーパースター商品でないし出血し易いということはない」ということは成り立たないならば速断しない; int1 & int2 -> hypothesis;
もしも「「あの病院内は奮い起こさなくて出血し易くない」ということは真実である」ということは事実と異なるとするとしんなりしない
fact7 -> hypothesis;
$facts$ = fact1: あの病院内が出血し易いならばそれは速断しない fact2: 仮にあの病院内は労労じなら「それはスーパースター商品でないし出血し易いということはない」ということは事実と異なる fact3: もしも「何らかのものは奮い起こさないしそれに出血し易くない」ということは誤りであるとしたらそれはしんなりしない fact4: 出血し易いものは速断するということはない fact5: あの病院内は労労じ fact6: もし仮に「とある物はスーパースター商品でなくて出血し易くない」ということは間違っているとすればそれは速断しない ; $hypothesis$ = あの病院内は速断する ; $proof$ = 
fact2 & fact5 -> int1: 「あの病院内はスーパースター商品でないしそれに出血し易くない」ということは間違いだ; fact6 -> int2: もし仮に「あの病院内はスーパースター商品でないし出血し易いということはない」ということは成り立たないならば速断しない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: あの病院内が出血し易いならばそれは速断しない
事実2: 仮にあの病院内は労労じなら「それはスーパースター商品でないし出血し易いということはない」ということは事実と異なる
事実3: もしも「何らかのものは奮い起こさないしそれに出血し易くない」ということは誤りであるとしたらそれはしんなりしない
事実4: 出血し易いものは速断するということはない
事実5: あの病院内は労労じ
事実6: もし仮に「とある物はスーパースター商品でなくて出血し易くない」ということは間違っているとすればそれは速断しない

仮説: あの病院内は速断する
1. 事実2と事実5から、推論1: "「あの病院内はスーパースター商品でないしそれに出血し易くない」ということは間違いだ"が導かれる
2. 事実6から、推論2: "もし仮に「あの病院内はスーパースター商品でないし出血し易いということはない」ということは成り立たないならば速断しない"が導かれる
3. 推論1と推論2から、仮説が否定される

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