そのぱちスロは漂い出さない
fact1: 仮にそのぱちスロが益無しないがしかし進め易いとするとその涙は漂い出さない fact2: もしもその涙が益無しないけれど漂い出すとすればそのぱちスロは進め易くない fact3: 政府保証は伝わり難くないしかつ益無しない fact4: 仮にこの読み替えが詳細サーチであるとすればこの第一生命は詳細サーチだ fact5: もし仮に「あの空洞周囲は見送るということはないけど甲飛である」ということは誤りならその創業一族出身は甲飛である fact6: この読み替えは詳細サーチであるかまたはそれは微調整出来る fact7: 伝わり難くない物が益無しないならそれは進め易くない fact8: 仮に「集諦な」ものがあるとするとその涙は益無し fact9: この毒入りは詳細サーチだということはないとすると「あのエンテロウイルスはナスニンであるし返りらしい」ということは間違っている fact10: もしもこの第一生命は詳細サーチであるとしたら「その創業一族出身は詳細サーチだ」ということは事実だ fact11: もしも「漂い出す」ものがあるとしたらそのぱちスロは益無しということはないが進め易い fact12: 何らかのものが女々しいならばそれは静置しないけれど政府保証である fact13: 見送らないがしかし甲飛だというものはない fact14: なにがしかの物は集諦だ fact15: その創業一族出身が甲飛であるしさらに詳細サーチだとすると「この毒入りは詳細サーチだ」ということは成り立つということはない fact16: もし仮に「あのエンテロウイルスはナスニンでそれは返りらしい」ということは間違いであるとするとこのビル内はナスニンでない fact17: もし仮に「「進め易い」ということは確かな」物があるとするとそのぱちスロは益無しないけれどそれは漂い出す fact18: もしもなにがしかの物が集諦だとすればその涙は進め易くないけれど益無し fact19: このビル内がナスニンでないとしたらその涙は女々しいかもしくは塗りたくらないかあるいはどちらもである fact20: もし仮になにがしかの物は女々しいかまたは塗りたくらないならば「女々しい」ということは成り立つ fact21: その涙が進め易いということはないが益無しとすればそのぱちスロは漂い出さない fact22: その涙は益無し
fact14 & fact18 -> int1: その涙は進め易くない一方で益無し; int1 & fact21 -> hypothesis;
fact14 & fact18 -> int1: (¬{B}{a} & {C}{a}); int1 & fact21 -> hypothesis;
そのぱちスロは漂い出す
fact33 -> int2: もし仮にその涙は伝わり難くないしその上益無しないとすればそれは進め易くない; fact31 -> int3: もし仮に「その涙は政府保証だ」ということは嘘でないならばそれは伝わり難くないししかも益無しない; fact30 -> int4: 仮に「その涙は女々しい」ということは成り立つとすると静置しないけど政府保証である; fact23 -> int5: 「その涙は女々しいかもしくはそれは塗りたくらない」ということは真実ならばそれは女々しい; fact25 -> int6: 「「あの空洞周囲は見送らないがしかし甲飛だ」ということは成り立つ」ということは成り立たない; fact26 & int6 -> int7: その創業一族出身は甲飛だ;
$facts$ = fact1: 仮にそのぱちスロが益無しないがしかし進め易いとするとその涙は漂い出さない fact2: もしもその涙が益無しないけれど漂い出すとすればそのぱちスロは進め易くない fact3: 政府保証は伝わり難くないしかつ益無しない fact4: 仮にこの読み替えが詳細サーチであるとすればこの第一生命は詳細サーチだ fact5: もし仮に「あの空洞周囲は見送るということはないけど甲飛である」ということは誤りならその創業一族出身は甲飛である fact6: この読み替えは詳細サーチであるかまたはそれは微調整出来る fact7: 伝わり難くない物が益無しないならそれは進め易くない fact8: 仮に「集諦な」ものがあるとするとその涙は益無し fact9: この毒入りは詳細サーチだということはないとすると「あのエンテロウイルスはナスニンであるし返りらしい」ということは間違っている fact10: もしもこの第一生命は詳細サーチであるとしたら「その創業一族出身は詳細サーチだ」ということは事実だ fact11: もしも「漂い出す」ものがあるとしたらそのぱちスロは益無しということはないが進め易い fact12: 何らかのものが女々しいならばそれは静置しないけれど政府保証である fact13: 見送らないがしかし甲飛だというものはない fact14: なにがしかの物は集諦だ fact15: その創業一族出身が甲飛であるしさらに詳細サーチだとすると「この毒入りは詳細サーチだ」ということは成り立つということはない fact16: もし仮に「あのエンテロウイルスはナスニンでそれは返りらしい」ということは間違いであるとするとこのビル内はナスニンでない fact17: もし仮に「「進め易い」ということは確かな」物があるとするとそのぱちスロは益無しないけれどそれは漂い出す fact18: もしもなにがしかの物が集諦だとすればその涙は進め易くないけれど益無し fact19: このビル内がナスニンでないとしたらその涙は女々しいかもしくは塗りたくらないかあるいはどちらもである fact20: もし仮になにがしかの物は女々しいかまたは塗りたくらないならば「女々しい」ということは成り立つ fact21: その涙が進め易いということはないが益無しとすればそのぱちスロは漂い出さない fact22: その涙は益無し ; $hypothesis$ = そのぱちスロは漂い出さない ; $proof$ = 
fact14 & fact18 -> int1: その涙は進め易くない一方で益無し; int1 & fact21 -> hypothesis; __PROVED__
事実1: 仮にそのぱちスロが益無しないがしかし進め易いとするとその涙は漂い出さない
事実2: もしもその涙が益無しないけれど漂い出すとすればそのぱちスロは進め易くない
事実3: 政府保証は伝わり難くないしかつ益無しない
事実4: 仮にこの読み替えが詳細サーチであるとすればこの第一生命は詳細サーチだ
事実5: もし仮に「あの空洞周囲は見送るということはないけど甲飛である」ということは誤りならその創業一族出身は甲飛である
事実6: この読み替えは詳細サーチであるかまたはそれは微調整出来る
事実7: 伝わり難くない物が益無しないならそれは進め易くない
事実8: 仮に「集諦な」ものがあるとするとその涙は益無し
事実9: この毒入りは詳細サーチだということはないとすると「あのエンテロウイルスはナスニンであるし返りらしい」ということは間違っている
事実10: もしもこの第一生命は詳細サーチであるとしたら「その創業一族出身は詳細サーチだ」ということは事実だ
事実11: もしも「漂い出す」ものがあるとしたらそのぱちスロは益無しということはないが進め易い
事実12: 何らかのものが女々しいならばそれは静置しないけれど政府保証である
事実13: 見送らないがしかし甲飛だというものはない
事実14: なにがしかの物は集諦だ
事実15: その創業一族出身が甲飛であるしさらに詳細サーチだとすると「この毒入りは詳細サーチだ」ということは成り立つということはない
事実16: もし仮に「あのエンテロウイルスはナスニンでそれは返りらしい」ということは間違いであるとするとこのビル内はナスニンでない
事実17: もし仮に「「進め易い」ということは確かな」物があるとするとそのぱちスロは益無しないけれどそれは漂い出す
事実18: もしもなにがしかの物が集諦だとすればその涙は進め易くないけれど益無し
事実19: このビル内がナスニンでないとしたらその涙は女々しいかもしくは塗りたくらないかあるいはどちらもである
事実20: もし仮になにがしかの物は女々しいかまたは塗りたくらないならば「女々しい」ということは成り立つ
事実21: その涙が進め易いということはないが益無しとすればそのぱちスロは漂い出さない
事実22: その涙は益無し

仮説: そのぱちスロは漂い出さない
1. 事実14と事実18から、推論1: "その涙は進め易くない一方で益無し"が導かれる
2. 推論1と事実21から、仮説が導かれる

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