あの増発は捕らえ難いがＯＢ臭くない
fact1: 仮にあの増発がキャッチするとすればこの投資者保護はＯＢ臭い fact2: その核反応は利用され易いけれどそれは船酔いしない fact3: もし仮にその核反応が利き難くて加えてそれがＯＢ臭いとするとあの増発は展開し易くない fact4: もしあの増発が利き難くてまた展開し易いならばあの核反応はＯＢ臭くない fact5: あの増発は御恥ずかしい fact6: その核反応はキャッチする一方で展開し易くない fact7: もしもその核反応がキャッチするけど展開し易くないならばこの投資者保護は利き難くない fact8: もし仮にこの投資者保護がＯＢ臭くておまけにキャッチするならその核反応は利き難くない fact9: 仮にあの増発が展開し易いならその核反応は捕らえ難い fact10: もしもあの増発が展開し易いけれどＯＢ臭くないならその核反応は利き難くない fact11: 仮にその核反応が利き難いけれどそれが展開し易くないとするとあの増発はＯＢ臭くない fact12: その核反応は捕らえ難いがしかし展開し易いということはない fact13: この投資者保護は捕らえ難い fact14: 「あの増発は厭わしい」ということは確かだ fact15: そのブラック・ショールズ・モデルは捕らえ難い fact16: この投資者保護はキャッチする fact17: この投資者保護がキャッチするとしたらあの増発は捕らえ難い fact18: もし仮にこの投資者保護が利き難いしその上ｏＢ臭いとするとあの増発はキャッチするということはない fact19: 「その核反応は展開し易いし捕らえ難い」ということは真実であるならばこの投資者保護はキャッチするということはない fact20: その核反応は編成法だが展開し易くない fact21: その核反応は利き難いけど展開し易くない fact22: もしこの投資者保護が利き難いとするとその核反応はキャッチする fact23: あの御壮健はキャッチする
fact17 & fact16 -> int1: あの増発は捕らえ難い; fact21 & fact11 -> int2: あの増発はＯＢ臭くない; int1 & int2 -> hypothesis;
fact17 & fact16 -> int1: {B}{b}; fact21 & fact11 -> int2: ¬{C}{b}; int1 & int2 -> hypothesis;
$facts$ = fact1: 仮にあの増発がキャッチするとすればこの投資者保護はＯＢ臭い fact2: その核反応は利用され易いけれどそれは船酔いしない fact3: もし仮にその核反応が利き難くて加えてそれがＯＢ臭いとするとあの増発は展開し易くない fact4: もしあの増発が利き難くてまた展開し易いならばあの核反応はＯＢ臭くない fact5: あの増発は御恥ずかしい fact6: その核反応はキャッチする一方で展開し易くない fact7: もしもその核反応がキャッチするけど展開し易くないならばこの投資者保護は利き難くない fact8: もし仮にこの投資者保護がＯＢ臭くておまけにキャッチするならその核反応は利き難くない fact9: 仮にあの増発が展開し易いならその核反応は捕らえ難い fact10: もしもあの増発が展開し易いけれどＯＢ臭くないならその核反応は利き難くない fact11: 仮にその核反応が利き難いけれどそれが展開し易くないとするとあの増発はＯＢ臭くない fact12: その核反応は捕らえ難いがしかし展開し易いということはない fact13: この投資者保護は捕らえ難い fact14: 「あの増発は厭わしい」ということは確かだ fact15: そのブラック・ショールズ・モデルは捕らえ難い fact16: この投資者保護はキャッチする fact17: この投資者保護がキャッチするとしたらあの増発は捕らえ難い fact18: もし仮にこの投資者保護が利き難いしその上ｏＢ臭いとするとあの増発はキャッチするということはない fact19: 「その核反応は展開し易いし捕らえ難い」ということは真実であるならばこの投資者保護はキャッチするということはない fact20: その核反応は編成法だが展開し易くない fact21: その核反応は利き難いけど展開し易くない fact22: もしこの投資者保護が利き難いとするとその核反応はキャッチする fact23: あの御壮健はキャッチする ; $hypothesis$ = あの増発は捕らえ難いがＯＢ臭くない ; $proof$ = 
fact17 & fact16 -> int1: あの増発は捕らえ難い; fact21 & fact11 -> int2: あの増発はＯＢ臭くない; int1 & int2 -> hypothesis; __PROVED__
事実1: 仮にあの増発がキャッチするとすればこの投資者保護はＯＢ臭い
事実2: その核反応は利用され易いけれどそれは船酔いしない
事実3: もし仮にその核反応が利き難くて加えてそれがＯＢ臭いとするとあの増発は展開し易くない
事実4: もしあの増発が利き難くてまた展開し易いならばあの核反応はＯＢ臭くない
事実5: あの増発は御恥ずかしい
事実6: その核反応はキャッチする一方で展開し易くない
事実7: もしもその核反応がキャッチするけど展開し易くないならばこの投資者保護は利き難くない
事実8: もし仮にこの投資者保護がＯＢ臭くておまけにキャッチするならその核反応は利き難くない
事実9: 仮にあの増発が展開し易いならその核反応は捕らえ難い
事実10: もしもあの増発が展開し易いけれどＯＢ臭くないならその核反応は利き難くない
事実11: 仮にその核反応が利き難いけれどそれが展開し易くないとするとあの増発はＯＢ臭くない
事実12: その核反応は捕らえ難いがしかし展開し易いということはない
事実13: この投資者保護は捕らえ難い
事実14: 「あの増発は厭わしい」ということは確かだ
事実15: そのブラック・ショールズ・モデルは捕らえ難い
事実16: この投資者保護はキャッチする
事実17: この投資者保護がキャッチするとしたらあの増発は捕らえ難い
事実18: もし仮にこの投資者保護が利き難いしその上ｏＢ臭いとするとあの増発はキャッチするということはない
事実19: 「その核反応は展開し易いし捕らえ難い」ということは真実であるならばこの投資者保護はキャッチするということはない
事実20: その核反応は編成法だが展開し易くない
事実21: その核反応は利き難いけど展開し易くない
事実22: もしこの投資者保護が利き難いとするとその核反応はキャッチする
事実23: あの御壮健はキャッチする

仮説: あの増発は捕らえ難いがＯＢ臭くない
1. 事実17と事実16から、推論1: "あの増発は捕らえ難い"が導かれる
2. 事実21と事実11から、推論2: "あの増発はＯＢ臭くない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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