この若手投手は発生し難くないとすれば「この一時所得は巻ける」ということは偽でない
fact1: なにかは太郎山だとしたらこの若手投手は予知出来るということはない fact2: 太郎山は写生帳でなくてまた入り易くない fact3: なにがしかの物は予知出来ない fact4: 仮にこの若手投手が巻けないならばこの一時所得は発生し難い fact5: 「予知出来るしその上発生し難くない」物はある fact6: もし仮に「予知出来る」ものがあるならこの若手投手は巻けない fact7: 仮にとあるものが予知出来ないし更に発生し難くないとすればこの一時所得は巻ける fact8: この一時所得は予知出来る fact9: 「太郎山な」ものはある fact10: もしも「鴎である」物があればこの一時所得は予知出来るということはない fact11: 「遅くない一方で面倒臭い」物はある fact12: もしこの一時所得が発生し難くないならこの若手投手は巻ける fact13: なんらかのものは巻けない fact14: なんらかのものは巻けるけれど発生し難くない fact15: 発生し難くないものはある fact16: なにかは予知出来ないけれどそれは発生し難い fact17: 仮にこの若手投手が発生し難いとすればこの一時所得は巻ける
fact9 & fact1 -> int1: この若手投手は予知出来るということはない; void -> assump1: 以下のように仮定する。この若手投手は発生し難いということはない; int1 & assump1 -> int2: この若手投手は予知出来なくて更に発生し難くない; int2 -> int3: 「予知出来なくて発生し難くない」ものはある; int3 & fact7 -> int4: この一時所得は巻ける; [assump1] & int4 -> hypothesis;
この若手投手は写生帳でないしかつ入り易いということはない
fact18 -> int5: もしもこの若手投手が太郎山ならばそれは写生帳でなくてかつそれは入り易くない;
$facts$ = fact1: なにかは太郎山だとしたらこの若手投手は予知出来るということはない fact2: 太郎山は写生帳でなくてまた入り易くない fact3: なにがしかの物は予知出来ない fact4: 仮にこの若手投手が巻けないならばこの一時所得は発生し難い fact5: 「予知出来るしその上発生し難くない」物はある fact6: もし仮に「予知出来る」ものがあるならこの若手投手は巻けない fact7: 仮にとあるものが予知出来ないし更に発生し難くないとすればこの一時所得は巻ける fact8: この一時所得は予知出来る fact9: 「太郎山な」ものはある fact10: もしも「鴎である」物があればこの一時所得は予知出来るということはない fact11: 「遅くない一方で面倒臭い」物はある fact12: もしこの一時所得が発生し難くないならこの若手投手は巻ける fact13: なんらかのものは巻けない fact14: なんらかのものは巻けるけれど発生し難くない fact15: 発生し難くないものはある fact16: なにかは予知出来ないけれどそれは発生し難い fact17: 仮にこの若手投手が発生し難いとすればこの一時所得は巻ける ; $hypothesis$ = この若手投手は発生し難くないとすれば「この一時所得は巻ける」ということは偽でない ; $proof$ = 
fact9 & fact1 -> int1: この若手投手は予知出来るということはない; void -> assump1: 以下のように仮定する。この若手投手は発生し難いということはない; int1 & assump1 -> int2: この若手投手は予知出来なくて更に発生し難くない; int2 -> int3: 「予知出来なくて発生し難くない」ものはある; int3 & fact7 -> int4: この一時所得は巻ける; [assump1] & int4 -> hypothesis; __PROVED__
事実1: なにかは太郎山だとしたらこの若手投手は予知出来るということはない
事実2: 太郎山は写生帳でなくてまた入り易くない
事実3: なにがしかの物は予知出来ない
事実4: 仮にこの若手投手が巻けないならばこの一時所得は発生し難い
事実5: 「予知出来るしその上発生し難くない」物はある
事実6: もし仮に「予知出来る」ものがあるならこの若手投手は巻けない
事実7: 仮にとあるものが予知出来ないし更に発生し難くないとすればこの一時所得は巻ける
事実8: この一時所得は予知出来る
事実9: 「太郎山な」ものはある
事実10: もしも「鴎である」物があればこの一時所得は予知出来るということはない
事実11: 「遅くない一方で面倒臭い」物はある
事実12: もしこの一時所得が発生し難くないならこの若手投手は巻ける
事実13: なんらかのものは巻けない
事実14: なんらかのものは巻けるけれど発生し難くない
事実15: 発生し難くないものはある
事実16: なにかは予知出来ないけれどそれは発生し難い
事実17: 仮にこの若手投手が発生し難いとすればこの一時所得は巻ける

仮説: この若手投手は発生し難くないとすれば「この一時所得は巻ける」ということは偽でない
1. 事実9と事実1から、推論1: "この若手投手は予知出来るということはない"が導かれる
2. 仮定1: 以下のように仮定する。この若手投手は発生し難いということはない
3. 推論1と仮定1から、推論2: "この若手投手は予知出来なくて更に発生し難くない"が導かれる
4. 推論2から、推論3: "「予知出来なくて発生し難くない」ものはある"が導かれる
5. 推論3と事実7から、推論4: "この一時所得は巻ける"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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