「あの買い取りはきっぱりする」ということは正しい
fact1: 「出易い」ものはある fact2: 仮に何らかの物が迎え酒でないかあるいはそれは二日以後生まれでないか両方であるとすると二日以後生まれでない fact3: 仮に「あのレジは出易くないが二日以後生まれだ」ということは間違っているとしたらそれは二日以後生まれでない fact4: 仮に「この事前・事後テストはクランプしないがしかしそれはきっぱりする」ということは偽ならあの買い取りはきっぱりしない fact5: あの買い取りはクランプするしそれにそれはきっぱりする fact6: もしもその表示範囲は発生し難いならば「あのレジは発生し難い」ということは確かである fact7: 「あの買い取りは萎びる」ということは確かだ fact8: もし何かは太り過ぎないならば「クランプしないがきっぱりする」ということは誤りである fact9: もし仮になにがしかの物は出易いならば「あのレジは出易くないが二日以後生まれである」ということは成り立たない fact10: その大らかさはクランプする fact11: あの買い取りはクランプする fact12: もし仮にあの買い取りが二日以後生まれでないなら太り過ぎるしそれは発生し難い
fact5 -> hypothesis;
fact5 -> hypothesis;
この御役目はきっぱりする
fact14 -> int1: あの買い取りは迎え酒でないか二日以後生まれであるということはないかあるいはどちらもだとすると二日以後生まれでない;
$facts$ = fact1: 「出易い」ものはある fact2: 仮に何らかの物が迎え酒でないかあるいはそれは二日以後生まれでないか両方であるとすると二日以後生まれでない fact3: 仮に「あのレジは出易くないが二日以後生まれだ」ということは間違っているとしたらそれは二日以後生まれでない fact4: 仮に「この事前・事後テストはクランプしないがしかしそれはきっぱりする」ということは偽ならあの買い取りはきっぱりしない fact5: あの買い取りはクランプするしそれにそれはきっぱりする fact6: もしもその表示範囲は発生し難いならば「あのレジは発生し難い」ということは確かである fact7: 「あの買い取りは萎びる」ということは確かだ fact8: もし何かは太り過ぎないならば「クランプしないがきっぱりする」ということは誤りである fact9: もし仮になにがしかの物は出易いならば「あのレジは出易くないが二日以後生まれである」ということは成り立たない fact10: その大らかさはクランプする fact11: あの買い取りはクランプする fact12: もし仮にあの買い取りが二日以後生まれでないなら太り過ぎるしそれは発生し難い ; $hypothesis$ = 「あの買い取りはきっぱりする」ということは正しい ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: 「出易い」ものはある
事実2: 仮に何らかの物が迎え酒でないかあるいはそれは二日以後生まれでないか両方であるとすると二日以後生まれでない
事実3: 仮に「あのレジは出易くないが二日以後生まれだ」ということは間違っているとしたらそれは二日以後生まれでない
事実4: 仮に「この事前・事後テストはクランプしないがしかしそれはきっぱりする」ということは偽ならあの買い取りはきっぱりしない
事実5: あの買い取りはクランプするしそれにそれはきっぱりする
事実6: もしもその表示範囲は発生し難いならば「あのレジは発生し難い」ということは確かである
事実7: 「あの買い取りは萎びる」ということは確かだ
事実8: もし何かは太り過ぎないならば「クランプしないがきっぱりする」ということは誤りである
事実9: もし仮になにがしかの物は出易いならば「あのレジは出易くないが二日以後生まれである」ということは成り立たない
事実10: その大らかさはクランプする
事実11: あの買い取りはクランプする
事実12: もし仮にあの買い取りが二日以後生まれでないなら太り過ぎるしそれは発生し難い

仮説: 「あの買い取りはきっぱりする」ということは正しい
1. 事実5から、仮説が導かれる

よって、仮説が証明されました。