「あのプリペイドカードは競り落とさないしおまけに話し辛くない」ということは成り立つということはない
fact1: あのプリペイドカードは話し辛くないし申告出来ない fact2: あのプリペイドカードは申告出来なくて話し辛くない fact3: この取り引き社会は製菓用でない fact4: 「この取り引き社会は競り落とすということはなくてシリンダーだということはない」ということは偽だ fact5: 全ての物は質量分析計でない fact6: 何もかもは申告出来るということはないしかつ製菓用でない fact7: 「「この未処理は製作発表会でなくて製菓用でない」ということは正しい」ということは成り立たない fact8: もしもこの取り引き社会は話し辛くないとすれば「あのプリペイドカードは競り落とさないししかも話し辛くない」ということは成り立つということはない fact9: もしあのプリペイドカードは話し辛いということはないならば「この取り引き社会は競り落とさなくてその上それは話し辛いということはない」ということは間違いだ fact10: もし仮にこの取り引き社会は話し辛くないとすると「「あのプリペイドカードは競り落とさないが話し辛い」ということは成り立たない」ということは確かだ fact11: もしこの取り引き社会は話し辛いとすれば「それは申告出来ないし加えて製菓用でない」ということは誤っている fact12: 「この取り引き社会はベッドカバーでなくてそれに申告出来ない」ということは間違いだ
void -> assump1: 以下のように仮定する。この取り引き社会は話し辛い; fact11 & assump1 -> int1: 「この取り引き社会は申告出来るということはなくて加えてそれは製菓用でない」ということは偽である; fact6 -> int2: この取り引き社会は申告出来ないしさらに製菓用だということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この取り引き社会は話し辛くない; int4 & fact8 -> hypothesis;
$facts$ = fact1: あのプリペイドカードは話し辛くないし申告出来ない fact2: あのプリペイドカードは申告出来なくて話し辛くない fact3: この取り引き社会は製菓用でない fact4: 「この取り引き社会は競り落とすということはなくてシリンダーだということはない」ということは偽だ fact5: 全ての物は質量分析計でない fact6: 何もかもは申告出来るということはないしかつ製菓用でない fact7: 「「この未処理は製作発表会でなくて製菓用でない」ということは正しい」ということは成り立たない fact8: もしもこの取り引き社会は話し辛くないとすれば「あのプリペイドカードは競り落とさないししかも話し辛くない」ということは成り立つということはない fact9: もしあのプリペイドカードは話し辛いということはないならば「この取り引き社会は競り落とさなくてその上それは話し辛いということはない」ということは間違いだ fact10: もし仮にこの取り引き社会は話し辛くないとすると「「あのプリペイドカードは競り落とさないが話し辛い」ということは成り立たない」ということは確かだ fact11: もしこの取り引き社会は話し辛いとすれば「それは申告出来ないし加えて製菓用でない」ということは誤っている fact12: 「この取り引き社会はベッドカバーでなくてそれに申告出来ない」ということは間違いだ ; $hypothesis$ = 「あのプリペイドカードは競り落とさないしおまけに話し辛くない」ということは成り立つということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。この取り引き社会は話し辛い; fact11 & assump1 -> int1: 「この取り引き社会は申告出来るということはなくて加えてそれは製菓用でない」ということは偽である; fact6 -> int2: この取り引き社会は申告出来ないしさらに製菓用だということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この取り引き社会は話し辛くない; int4 & fact8 -> hypothesis; __PROVED__
事実1: あのプリペイドカードは話し辛くないし申告出来ない
事実2: あのプリペイドカードは申告出来なくて話し辛くない
事実3: この取り引き社会は製菓用でない
事実4: 「この取り引き社会は競り落とすということはなくてシリンダーだということはない」ということは偽だ
事実5: 全ての物は質量分析計でない
事実6: 何もかもは申告出来るということはないしかつ製菓用でない
事実7: 「「この未処理は製作発表会でなくて製菓用でない」ということは正しい」ということは成り立たない
事実8: もしもこの取り引き社会は話し辛くないとすれば「あのプリペイドカードは競り落とさないししかも話し辛くない」ということは成り立つということはない
事実9: もしあのプリペイドカードは話し辛いということはないならば「この取り引き社会は競り落とさなくてその上それは話し辛いということはない」ということは間違いだ
事実10: もし仮にこの取り引き社会は話し辛くないとすると「「あのプリペイドカードは競り落とさないが話し辛い」ということは成り立たない」ということは確かだ
事実11: もしこの取り引き社会は話し辛いとすれば「それは申告出来ないし加えて製菓用でない」ということは誤っている
事実12: 「この取り引き社会はベッドカバーでなくてそれに申告出来ない」ということは間違いだ

仮説: 「あのプリペイドカードは競り落とさないしおまけに話し辛くない」ということは成り立つということはない
1. 仮定1: 以下のように仮定する。この取り引き社会は話し辛い
2. 事実11と仮定1から、推論1: "「この取り引き社会は申告出来るということはなくて加えてそれは製菓用でない」ということは偽である"が導かれる
3. 事実6から、推論2: "この取り引き社会は申告出来ないしさらに製菓用だということはない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この取り引き社会は話し辛くない"が導かれる
6. 推論4と事実8から、仮説が導かれる

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