このデータベースシステムは生き残れる
fact1: 「この新光三越は脂っぽくないけれど男権社会である」ということは誤りである fact2: この新光三越は脂っぽいということはない一方で生き残れれば「このデータベースシステムは生き残れる」ということは間違っている fact3: もし仮に「この新光三越は相談し易くないけれど男権社会である」ということは成り立たないとするとその輸入牛肉は脂っぽい fact4: この新光三越は混泳するなら「相談し易いし男権社会である」ということは本当でない fact5: もしその輸入牛肉が混泳すればこの新光三越は脂っぽくない一方で生き残れる fact6: 「その輸入牛肉は脂っぽい」ということは成り立つとするとこのデータベースシステムは生き残れる fact7: もしもなにがしかの物はセンテンスでないとしたらそれは非常電源であるしその上混泳する fact8: もし仮にこの新光三越は混泳するとすれば「それは相談し易くないしかつそれは男権社会である」ということは成り立たない fact9: もしこの新光三越が相談し易いとするとその輸入牛肉は脂っぽい fact10: この新光三越は混泳する fact11: 「仮になんらかのものは脂っぽいとしたら「それは混泳しないけど物々しい」ということは本当であるということはない」ということは正しい fact12: もしこのグラフィティ号がセンテンスであるけれど熱処理しないとしたらその輸入牛肉はセンテンスでない fact13: 「この新光三越は相談し易くておまけにそれは男権社会である」ということは偽である
fact8 & fact10 -> int1: 「この新光三越は相談し易くないがしかしそれは男権社会である」ということは成り立たない; int1 & fact3 -> int2: その輸入牛肉は脂っぽい; int2 & fact6 -> hypothesis;
fact8 & fact10 -> int1: ¬(¬{AA}{a} & {AB}{a}); int1 & fact3 -> int2: {B}{b}; int2 & fact6 -> hypothesis;
このデータベースシステムは生き残れない
fact14 -> int3: もしその輸入牛肉がセンテンスでないならそれは非常電源であるし混泳する;
$facts$ = fact1: 「この新光三越は脂っぽくないけれど男権社会である」ということは誤りである fact2: この新光三越は脂っぽいということはない一方で生き残れれば「このデータベースシステムは生き残れる」ということは間違っている fact3: もし仮に「この新光三越は相談し易くないけれど男権社会である」ということは成り立たないとするとその輸入牛肉は脂っぽい fact4: この新光三越は混泳するなら「相談し易いし男権社会である」ということは本当でない fact5: もしその輸入牛肉が混泳すればこの新光三越は脂っぽくない一方で生き残れる fact6: 「その輸入牛肉は脂っぽい」ということは成り立つとするとこのデータベースシステムは生き残れる fact7: もしもなにがしかの物はセンテンスでないとしたらそれは非常電源であるしその上混泳する fact8: もし仮にこの新光三越は混泳するとすれば「それは相談し易くないしかつそれは男権社会である」ということは成り立たない fact9: もしこの新光三越が相談し易いとするとその輸入牛肉は脂っぽい fact10: この新光三越は混泳する fact11: 「仮になんらかのものは脂っぽいとしたら「それは混泳しないけど物々しい」ということは本当であるということはない」ということは正しい fact12: もしこのグラフィティ号がセンテンスであるけれど熱処理しないとしたらその輸入牛肉はセンテンスでない fact13: 「この新光三越は相談し易くておまけにそれは男権社会である」ということは偽である ; $hypothesis$ = このデータベースシステムは生き残れる ; $proof$ = 
fact8 & fact10 -> int1: 「この新光三越は相談し易くないがしかしそれは男権社会である」ということは成り立たない; int1 & fact3 -> int2: その輸入牛肉は脂っぽい; int2 & fact6 -> hypothesis; __PROVED__
事実1: 「この新光三越は脂っぽくないけれど男権社会である」ということは誤りである
事実2: この新光三越は脂っぽいということはない一方で生き残れれば「このデータベースシステムは生き残れる」ということは間違っている
事実3: もし仮に「この新光三越は相談し易くないけれど男権社会である」ということは成り立たないとするとその輸入牛肉は脂っぽい
事実4: この新光三越は混泳するなら「相談し易いし男権社会である」ということは本当でない
事実5: もしその輸入牛肉が混泳すればこの新光三越は脂っぽくない一方で生き残れる
事実6: 「その輸入牛肉は脂っぽい」ということは成り立つとするとこのデータベースシステムは生き残れる
事実7: もしもなにがしかの物はセンテンスでないとしたらそれは非常電源であるしその上混泳する
事実8: もし仮にこの新光三越は混泳するとすれば「それは相談し易くないしかつそれは男権社会である」ということは成り立たない
事実9: もしこの新光三越が相談し易いとするとその輸入牛肉は脂っぽい
事実10: この新光三越は混泳する
事実11: 「仮になんらかのものは脂っぽいとしたら「それは混泳しないけど物々しい」ということは本当であるということはない」ということは正しい
事実12: もしこのグラフィティ号がセンテンスであるけれど熱処理しないとしたらその輸入牛肉はセンテンスでない
事実13: 「この新光三越は相談し易くておまけにそれは男権社会である」ということは偽である

仮説: このデータベースシステムは生き残れる
1. 事実8と事実10から、推論1: "「この新光三越は相談し易くないがしかしそれは男権社会である」ということは成り立たない"が導かれる
2. 推論1と事実3から、推論2: "その輸入牛肉は脂っぽい"が導かれる
3. 推論2と事実6から、仮説が導かれる

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