あの野球離れは生魚だ
fact1: もしあの野球離れは有限会社法であるならばそれは棘でない fact2: もしそのＮＡＳが意義深いならあの野球離れは意義深くないが功徳だ fact3: 有限会社法は共でないし加えて棘でない fact4: 仮にあの野球離れが意義深くないし加えて共でないとしたらそれは生魚である fact5: あの野球離れは棘でない fact6: もしあの三本辻が衛生行政だとするとそのＮＡＳは意義深い fact7: もしもあるものが衛生行政でないならそれは溶け難くないしそれにそれは本稿である fact8: もしもあの野球離れが溶け難いとしたらあの三本辻は功徳だ fact9: あの三本辻は共でない fact10: あの三本辻は衛生行政だし溶け難い fact11: あの野球離れは衛生行政でないしシミュレート出来るということはない fact12: そのＮＡＳは棘である fact13: あの野球離れは有限会社法だ fact14: もしなんらかのものが溶け難いかそれが衛生行政ならそれは生魚でない fact15: あの三本辻は誤解され易くないし意義深くない
fact10 -> int1: あの三本辻は衛生行政だ; int1 & fact6 -> int2: そのＮＡＳは意義深い; int2 & fact2 -> int3: あの野球離れは意義深いということはないがしかし功徳だ; int3 -> int4: 「あの野球離れは意義深いということはない」ということは成り立つ; fact3 -> int5: あの野球離れが有限会社法なら共でなくて棘だということはない; fact13 & int5 -> int6: あの野球離れは共でないしかつ棘でない; int6 -> int7: あの野球離れは共でない; int4 & int7 -> int8: あの野球離れは意義深くないし更に共だということはない; int8 & fact4 -> hypothesis;
その総経理は溶け難くない一方で本稿である
fact16 -> int9: もしもその総経理は衛生行政でないなら溶け難くないが本稿である;
$facts$ = fact1: もしあの野球離れは有限会社法であるならばそれは棘でない fact2: もしそのＮＡＳが意義深いならあの野球離れは意義深くないが功徳だ fact3: 有限会社法は共でないし加えて棘でない fact4: 仮にあの野球離れが意義深くないし加えて共でないとしたらそれは生魚である fact5: あの野球離れは棘でない fact6: もしあの三本辻が衛生行政だとするとそのＮＡＳは意義深い fact7: もしもあるものが衛生行政でないならそれは溶け難くないしそれにそれは本稿である fact8: もしもあの野球離れが溶け難いとしたらあの三本辻は功徳だ fact9: あの三本辻は共でない fact10: あの三本辻は衛生行政だし溶け難い fact11: あの野球離れは衛生行政でないしシミュレート出来るということはない fact12: そのＮＡＳは棘である fact13: あの野球離れは有限会社法だ fact14: もしなんらかのものが溶け難いかそれが衛生行政ならそれは生魚でない fact15: あの三本辻は誤解され易くないし意義深くない ; $hypothesis$ = あの野球離れは生魚だ ; $proof$ = 
fact10 -> int1: あの三本辻は衛生行政だ; int1 & fact6 -> int2: そのＮＡＳは意義深い; int2 & fact2 -> int3: あの野球離れは意義深いということはないがしかし功徳だ; int3 -> int4: 「あの野球離れは意義深いということはない」ということは成り立つ; fact3 -> int5: あの野球離れが有限会社法なら共でなくて棘だということはない; fact13 & int5 -> int6: あの野球離れは共でないしかつ棘でない; int6 -> int7: あの野球離れは共でない; int4 & int7 -> int8: あの野球離れは意義深くないし更に共だということはない; int8 & fact4 -> hypothesis; __PROVED__
事実1: もしあの野球離れは有限会社法であるならばそれは棘でない
事実2: もしそのＮＡＳが意義深いならあの野球離れは意義深くないが功徳だ
事実3: 有限会社法は共でないし加えて棘でない
事実4: 仮にあの野球離れが意義深くないし加えて共でないとしたらそれは生魚である
事実5: あの野球離れは棘でない
事実6: もしあの三本辻が衛生行政だとするとそのＮＡＳは意義深い
事実7: もしもあるものが衛生行政でないならそれは溶け難くないしそれにそれは本稿である
事実8: もしもあの野球離れが溶け難いとしたらあの三本辻は功徳だ
事実9: あの三本辻は共でない
事実10: あの三本辻は衛生行政だし溶け難い
事実11: あの野球離れは衛生行政でないしシミュレート出来るということはない
事実12: そのＮＡＳは棘である
事実13: あの野球離れは有限会社法だ
事実14: もしなんらかのものが溶け難いかそれが衛生行政ならそれは生魚でない
事実15: あの三本辻は誤解され易くないし意義深くない

仮説: あの野球離れは生魚だ
1. 事実10から、推論1: "あの三本辻は衛生行政だ"が導かれる
2. 推論1と事実6から、推論2: "そのＮＡＳは意義深い"が導かれる
3. 推論2と事実2から、推論3: "あの野球離れは意義深いということはないがしかし功徳だ"が導かれる
4. 推論3から、推論4: "「あの野球離れは意義深いということはない」ということは成り立つ"が導かれる
5. 事実3から、推論5: "あの野球離れが有限会社法なら共でなくて棘だということはない"が導かれる
6. 事実13と推論5から、推論6: "あの野球離れは共でないしかつ棘でない"が導かれる
7. 推論6から、推論7: "あの野球離れは共でない"が導かれる
8. 推論4と推論7から、推論8: "あの野球離れは意義深くないし更に共だということはない"が導かれる
9. 推論8と事実4から、仮説が導かれる

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