あの同人誌漫画家は見捨てるが得意でない
fact1: なにがしかの物は地下深くない fact2: とあるものが地下深くないならあの同人誌漫画家は見捨てる fact3: 大衆小説は祭る fact4: 仮にこのマネー・サプライが医師・歯科医師ならそれは大衆小説だ fact5: 仮にあの普段通りは地下深くないとしたら「あの同人誌漫画家は見捨てるが得意でない」ということは事実と異なる fact6: 仮になにかは地下深くないなら「あの同人誌漫画家は見捨てるけれどそれは得意であるということはない」ということは真実だ fact7: 「とあるものは祭る」ということは真実だとすると白黒付けるしさらにそれは生活しない
fact1 & fact6 -> hypothesis;
fact1 & fact6 -> hypothesis;
「「あの同人誌漫画家は見捨てるけれど得意でない」ということは事実である」ということは誤りである
fact10 -> int1: このマネー・サプライが祭るとすると白黒付ける一方で生活しない; fact11 -> int2: もし仮にこのマネー・サプライは大衆小説であるならそれは祭る;
$facts$ = fact1: なにがしかの物は地下深くない fact2: とあるものが地下深くないならあの同人誌漫画家は見捨てる fact3: 大衆小説は祭る fact4: 仮にこのマネー・サプライが医師・歯科医師ならそれは大衆小説だ fact5: 仮にあの普段通りは地下深くないとしたら「あの同人誌漫画家は見捨てるが得意でない」ということは事実と異なる fact6: 仮になにかは地下深くないなら「あの同人誌漫画家は見捨てるけれどそれは得意であるということはない」ということは真実だ fact7: 「とあるものは祭る」ということは真実だとすると白黒付けるしさらにそれは生活しない ; $hypothesis$ = あの同人誌漫画家は見捨てるが得意でない ; $proof$ = 
fact1 & fact6 -> hypothesis; __PROVED__
事実1: なにがしかの物は地下深くない
事実2: とあるものが地下深くないならあの同人誌漫画家は見捨てる
事実3: 大衆小説は祭る
事実4: 仮にこのマネー・サプライが医師・歯科医師ならそれは大衆小説だ
事実5: 仮にあの普段通りは地下深くないとしたら「あの同人誌漫画家は見捨てるが得意でない」ということは事実と異なる
事実6: 仮になにかは地下深くないなら「あの同人誌漫画家は見捨てるけれどそれは得意であるということはない」ということは真実だ
事実7: 「とあるものは祭る」ということは真実だとすると白黒付けるしさらにそれは生活しない

仮説: あの同人誌漫画家は見捨てるが得意でない
1. 事実1と事実6から、仮説が導かれる

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