そのアスピリンは被らないけれど絶え間無い
fact1: もし仮に何らかのものが品質問題だということはないけれどそれがしかつめらしいとしたら横画面でない fact2: もしこの基礎点数が品質問題でなくて加えてそれは横画面でないとしたら押し退ける fact3: そのアスピリンは横画面でないとしたら「絶え間無い」ということは本当だ fact4: そのアスピリンは絶え間無い fact5: もし「とあるものは横画面だということはない」ということは確かであるとするとそれは被らないし絶え間無い fact6: もしもこの基礎点数がしかつめらしいということはないならばあのアスピリンはしかつめらしい fact7: この基礎点数は押し退ける fact8: 「あの医療情報は品質問題だがしかしヨーロッパ社会でない」ということは間違っている fact9: そのアスピリンはしかつめらしい fact10: もし仮にとあるものが横画面でないとすればそれは絶え間無い fact11: もし仮にとある物が押し退けないがしかし横画面なら被らない fact12: もしも何かはしかつめらしくないなら「それは被らない一方で絶え間無い」ということは誤りである fact13: この基礎点数はしかつめらしくないがしかし押し退ける fact14: もし仮にこの基礎点数がしかつめらしくないならそのアスピリンは品質問題でない一方でしかつめらしい
fact13 -> int1: この基礎点数はしかつめらしくない; int1 & fact14 -> int2: そのアスピリンは品質問題でない一方でそれはしかつめらしい; fact1 -> int3: そのアスピリンが品質問題でないけれどしかつめらしいとしたら横画面でない; int2 & int3 -> int4: そのアスピリンは横画面でない; fact5 -> int5: もし仮にそのアスピリンが横画面でないとすればそれは被らないが絶え間無い; int4 & int5 -> hypothesis;
「そのアスピリンは被らないが絶え間無い」ということは成り立つということはない
fact15 -> int6: もしもそのアスピリンはしかつめらしくないとしたら「被らないが絶え間無い」ということは成り立つということはない; fact17 -> int7: 「「品質問題だしおまけにヨーロッパ社会であるということはない」ということは嘘である」物はある;
$facts$ = fact1: もし仮に何らかのものが品質問題だということはないけれどそれがしかつめらしいとしたら横画面でない fact2: もしこの基礎点数が品質問題でなくて加えてそれは横画面でないとしたら押し退ける fact3: そのアスピリンは横画面でないとしたら「絶え間無い」ということは本当だ fact4: そのアスピリンは絶え間無い fact5: もし「とあるものは横画面だということはない」ということは確かであるとするとそれは被らないし絶え間無い fact6: もしもこの基礎点数がしかつめらしいということはないならばあのアスピリンはしかつめらしい fact7: この基礎点数は押し退ける fact8: 「あの医療情報は品質問題だがしかしヨーロッパ社会でない」ということは間違っている fact9: そのアスピリンはしかつめらしい fact10: もし仮にとあるものが横画面でないとすればそれは絶え間無い fact11: もし仮にとある物が押し退けないがしかし横画面なら被らない fact12: もしも何かはしかつめらしくないなら「それは被らない一方で絶え間無い」ということは誤りである fact13: この基礎点数はしかつめらしくないがしかし押し退ける fact14: もし仮にこの基礎点数がしかつめらしくないならそのアスピリンは品質問題でない一方でしかつめらしい ; $hypothesis$ = そのアスピリンは被らないけれど絶え間無い ; $proof$ = 
fact13 -> int1: この基礎点数はしかつめらしくない; int1 & fact14 -> int2: そのアスピリンは品質問題でない一方でそれはしかつめらしい; fact1 -> int3: そのアスピリンが品質問題でないけれどしかつめらしいとしたら横画面でない; int2 & int3 -> int4: そのアスピリンは横画面でない; fact5 -> int5: もし仮にそのアスピリンが横画面でないとすればそれは被らないが絶え間無い; int4 & int5 -> hypothesis; __PROVED__
事実1: もし仮に何らかのものが品質問題だということはないけれどそれがしかつめらしいとしたら横画面でない
事実2: もしこの基礎点数が品質問題でなくて加えてそれは横画面でないとしたら押し退ける
事実3: そのアスピリンは横画面でないとしたら「絶え間無い」ということは本当だ
事実4: そのアスピリンは絶え間無い
事実5: もし「とあるものは横画面だということはない」ということは確かであるとするとそれは被らないし絶え間無い
事実6: もしもこの基礎点数がしかつめらしいということはないならばあのアスピリンはしかつめらしい
事実7: この基礎点数は押し退ける
事実8: 「あの医療情報は品質問題だがしかしヨーロッパ社会でない」ということは間違っている
事実9: そのアスピリンはしかつめらしい
事実10: もし仮にとあるものが横画面でないとすればそれは絶え間無い
事実11: もし仮にとある物が押し退けないがしかし横画面なら被らない
事実12: もしも何かはしかつめらしくないなら「それは被らない一方で絶え間無い」ということは誤りである
事実13: この基礎点数はしかつめらしくないがしかし押し退ける
事実14: もし仮にこの基礎点数がしかつめらしくないならそのアスピリンは品質問題でない一方でしかつめらしい

仮説: そのアスピリンは被らないけれど絶え間無い
1. 事実13から、推論1: "この基礎点数はしかつめらしくない"が導かれる
2. 推論1と事実14から、推論2: "そのアスピリンは品質問題でない一方でそれはしかつめらしい"が導かれる
3. 事実1から、推論3: "そのアスピリンが品質問題でないけれどしかつめらしいとしたら横画面でない"が導かれる
4. 推論2と推論3から、推論4: "そのアスピリンは横画面でない"が導かれる
5. 事実5から、推論5: "もし仮にそのアスピリンが横画面でないとすればそれは被らないが絶え間無い"が導かれる
6. 推論4と推論5から、仮説が導かれる

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