あの獅子舶は珍しかないしメルカプトプリンでない
fact1: もしもあの獅子舶は名目賃金でないならメルカプトプリンでない fact2: 仮にこの野生生物保存区は集まり易いということはないならば「持ち直すしまた資本構成でない」ということは事実と異なる fact3: あの獅子舶はメルカプトプリンでない fact4: 仮に「この野生生物保存区は持ち直すがしかし資本構成でない」ということは成り立つということはないとすれば「あの里親は持ち直す」ということは誤りでない fact5: もしあの里親がせこいかあるいはそれが持ち直すかまたは両方ともならばあの生命中心主義は成し難くない fact6: 仮にあの獅子舶が名目賃金でないならば珍しかないしその上それはメルカプトプリンでない fact7: 「仮に「あるものはせこいけれどそれは資本構成でない」ということは間違いだとするとせこくない」ということは正しい fact8: あの里親はせこくないとするとこの生命中心主義は名目賃金でなくてそれは成し難くない fact9: この野生生物保存区は集まり易いということはない fact10: あの獅子舶は名目賃金であるということはない fact11: その半労働力は珍しかない
fact6 & fact10 -> hypothesis;
fact6 & fact10 -> hypothesis;
「あの獅子舶は珍しかなくてメルカプトプリンでない」ということは成り立たない
fact12 -> int1: 仮に「あの里親はせこいがそれは資本構成であるということはない」ということは成り立たないとしたらせこくない;
$facts$ = fact1: もしもあの獅子舶は名目賃金でないならメルカプトプリンでない fact2: 仮にこの野生生物保存区は集まり易いということはないならば「持ち直すしまた資本構成でない」ということは事実と異なる fact3: あの獅子舶はメルカプトプリンでない fact4: 仮に「この野生生物保存区は持ち直すがしかし資本構成でない」ということは成り立つということはないとすれば「あの里親は持ち直す」ということは誤りでない fact5: もしあの里親がせこいかあるいはそれが持ち直すかまたは両方ともならばあの生命中心主義は成し難くない fact6: 仮にあの獅子舶が名目賃金でないならば珍しかないしその上それはメルカプトプリンでない fact7: 「仮に「あるものはせこいけれどそれは資本構成でない」ということは間違いだとするとせこくない」ということは正しい fact8: あの里親はせこくないとするとこの生命中心主義は名目賃金でなくてそれは成し難くない fact9: この野生生物保存区は集まり易いということはない fact10: あの獅子舶は名目賃金であるということはない fact11: その半労働力は珍しかない ; $hypothesis$ = あの獅子舶は珍しかないしメルカプトプリンでない ; $proof$ = 
fact6 & fact10 -> hypothesis; __PROVED__
事実1: もしもあの獅子舶は名目賃金でないならメルカプトプリンでない
事実2: 仮にこの野生生物保存区は集まり易いということはないならば「持ち直すしまた資本構成でない」ということは事実と異なる
事実3: あの獅子舶はメルカプトプリンでない
事実4: 仮に「この野生生物保存区は持ち直すがしかし資本構成でない」ということは成り立つということはないとすれば「あの里親は持ち直す」ということは誤りでない
事実5: もしあの里親がせこいかあるいはそれが持ち直すかまたは両方ともならばあの生命中心主義は成し難くない
事実6: 仮にあの獅子舶が名目賃金でないならば珍しかないしその上それはメルカプトプリンでない
事実7: 「仮に「あるものはせこいけれどそれは資本構成でない」ということは間違いだとするとせこくない」ということは正しい
事実8: あの里親はせこくないとするとこの生命中心主義は名目賃金でなくてそれは成し難くない
事実9: この野生生物保存区は集まり易いということはない
事実10: あの獅子舶は名目賃金であるということはない
事実11: その半労働力は珍しかない

仮説: あの獅子舶は珍しかないしメルカプトプリンでない
1. 事実6と事実10から、仮説が導かれる

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