その市司は惜しみ無くない
fact1: その市司は威光だ fact2: もし仮にあのスープ売りが医療法人間でないとしたらその市司は威光だ fact3: あのスープ売りは威光でない fact4: もしある物が出生・死亡だとしたらそれは分派するしまた威光でない fact5: あのスープ売りは本意であるし惜しみ無い fact6: もしもあのスープ売りが騾馬でなくて更にそれは出生・死亡でないなら「その市司は出生・死亡だ」ということは事実である fact7: その学習活動は医療法人間でない fact8: もしもなんらかの物は分派するけれど威光であるということはないとしたら惜しみ無くない fact9: 「もしあのスープ売りが威光でないとすればその市司は惜しみ無くておまけに医療法人間である」ということは確かである
fact9 & fact3 -> int1: その市司は惜しみ無くてそれに医療法人間だ; int1 -> hypothesis;
fact9 & fact3 -> int1: ({AA}{b} & {AB}{b}); int1 -> hypothesis;
その市司は惜しみ無くない
fact12 -> int2: もし仮にその市司が分派するがそれは威光でないなら惜しみ無いということはない; fact11 -> int3: もし仮にその市司は出生・死亡であるなら分派する一方で威光でない;
$facts$ = fact1: その市司は威光だ fact2: もし仮にあのスープ売りが医療法人間でないとしたらその市司は威光だ fact3: あのスープ売りは威光でない fact4: もしある物が出生・死亡だとしたらそれは分派するしまた威光でない fact5: あのスープ売りは本意であるし惜しみ無い fact6: もしもあのスープ売りが騾馬でなくて更にそれは出生・死亡でないなら「その市司は出生・死亡だ」ということは事実である fact7: その学習活動は医療法人間でない fact8: もしもなんらかの物は分派するけれど威光であるということはないとしたら惜しみ無くない fact9: 「もしあのスープ売りが威光でないとすればその市司は惜しみ無くておまけに医療法人間である」ということは確かである ; $hypothesis$ = その市司は惜しみ無くない ; $proof$ = 
fact9 & fact3 -> int1: その市司は惜しみ無くてそれに医療法人間だ; int1 -> hypothesis; __DISPROVED__
事実1: その市司は威光だ
事実2: もし仮にあのスープ売りが医療法人間でないとしたらその市司は威光だ
事実3: あのスープ売りは威光でない
事実4: もしある物が出生・死亡だとしたらそれは分派するしまた威光でない
事実5: あのスープ売りは本意であるし惜しみ無い
事実6: もしもあのスープ売りが騾馬でなくて更にそれは出生・死亡でないなら「その市司は出生・死亡だ」ということは事実である
事実7: その学習活動は医療法人間でない
事実8: もしもなんらかの物は分派するけれど威光であるということはないとしたら惜しみ無くない
事実9: 「もしあのスープ売りが威光でないとすればその市司は惜しみ無くておまけに医療法人間である」ということは確かである

仮説: その市司は惜しみ無くない
1. 事実9と事実3から、推論1: "その市司は惜しみ無くてそれに医療法人間だ"が導かれる
2. 推論1から、仮説が否定される

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