あのハード・ドラッグは押し入れない
fact1: 仮にこのアパートがかわゆいとすると生まれ付かない fact2: その満点はかわゆい fact3: あのハード・ドラッグはかわゆい fact4: 「ある物は山川であるしそれにそれは馴染み易い」ということは誤っているとすれば薄明るくない fact5: 仮に「なにかは救い出すしそれにそれは徹底介入する」ということは誤りであるならそれは徹底介入しない fact6: 仮にあの作人は開削しないとすれば「あのハード・ドラッグは救い出すしそれは徹底介入する」ということは間違いである fact7: この教科領域が信仰深いとしたらあの作人は開削しない fact8: もしなにがしかの物は徹底介入しないとすれば「山川だししかも馴染み易い」ということは成り立たない fact9: もし仮に「そのブラックペッパーは生まれ付く」ということは事実と異ならないとすればあの教科領域は信仰深い fact10: 仮に何かは薄明るくないとするとそれは押し入れるししかもかわゆい fact11: あの作人が薄明るくないとしたらあのハード・ドラッグは押し入れるしそれにかわゆい fact12: もしあのハード・ドラッグがかわゆいとすればそれは押し入れるということはない fact13: 仮に何かは特定分野だとすれば上げ易くない
fact12 & fact3 -> hypothesis;
fact12 & fact3 -> hypothesis;
あのハード・ドラッグは押し入れる
$facts$ = fact1: 仮にこのアパートがかわゆいとすると生まれ付かない fact2: その満点はかわゆい fact3: あのハード・ドラッグはかわゆい fact4: 「ある物は山川であるしそれにそれは馴染み易い」ということは誤っているとすれば薄明るくない fact5: 仮に「なにかは救い出すしそれにそれは徹底介入する」ということは誤りであるならそれは徹底介入しない fact6: 仮にあの作人は開削しないとすれば「あのハード・ドラッグは救い出すしそれは徹底介入する」ということは間違いである fact7: この教科領域が信仰深いとしたらあの作人は開削しない fact8: もしなにがしかの物は徹底介入しないとすれば「山川だししかも馴染み易い」ということは成り立たない fact9: もし仮に「そのブラックペッパーは生まれ付く」ということは事実と異ならないとすればあの教科領域は信仰深い fact10: 仮に何かは薄明るくないとするとそれは押し入れるししかもかわゆい fact11: あの作人が薄明るくないとしたらあのハード・ドラッグは押し入れるしそれにかわゆい fact12: もしあのハード・ドラッグがかわゆいとすればそれは押し入れるということはない fact13: 仮に何かは特定分野だとすれば上げ易くない ; $hypothesis$ = あのハード・ドラッグは押し入れない ; $proof$ = 
fact12 & fact3 -> hypothesis; __PROVED__
事実1: 仮にこのアパートがかわゆいとすると生まれ付かない
事実2: その満点はかわゆい
事実3: あのハード・ドラッグはかわゆい
事実4: 「ある物は山川であるしそれにそれは馴染み易い」ということは誤っているとすれば薄明るくない
事実5: 仮に「なにかは救い出すしそれにそれは徹底介入する」ということは誤りであるならそれは徹底介入しない
事実6: 仮にあの作人は開削しないとすれば「あのハード・ドラッグは救い出すしそれは徹底介入する」ということは間違いである
事実7: この教科領域が信仰深いとしたらあの作人は開削しない
事実8: もしなにがしかの物は徹底介入しないとすれば「山川だししかも馴染み易い」ということは成り立たない
事実9: もし仮に「そのブラックペッパーは生まれ付く」ということは事実と異ならないとすればあの教科領域は信仰深い
事実10: 仮に何かは薄明るくないとするとそれは押し入れるししかもかわゆい
事実11: あの作人が薄明るくないとしたらあのハード・ドラッグは押し入れるしそれにかわゆい
事実12: もしあのハード・ドラッグがかわゆいとすればそれは押し入れるということはない
事実13: 仮に何かは特定分野だとすれば上げ易くない

仮説: あのハード・ドラッグは押し入れない
1. 事実12と事実3から、仮説が導かれる

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