「あの九十年当時は混ざらないしおまけに不平等化するということはない」ということは事実と異なる
fact1: 仮にその月額が生活情報でないしまた乗り難くないとするとそのＰＳＤは地方発送でない fact2: もしあの正金がマリゴールドだとすればあの九十年当時は不平等化するということはない fact3: そのＰＳＤは地方発送でおまけに性分らしい fact4: 「あの九十年当時はマリゴールドである」ということは真実である fact5: あの九十年当時は生活情報だ fact6: その月額は地方発送でない fact7: 仮にその官民は白みでないならそれは性分らしいけれど不平等化するということはない fact8: 仮にその月額が生活情報だ一方で乗り難くないならばそのＰＳＤは地方発送だということはない fact9: もし「「その月額は生活情報でないしさらに乗り難くない」ということは成り立たない」ということは本当であるとしたらあの九十年当時は混ざらない fact10: あの正金は白みであるし生活情報である fact11: あの正金はマリゴールドであるしそれに白みである fact12: 仮にそのＰＳＤが白みでない一方でそれがマリゴールドならばあの正金は性分らしくない fact13: もしも性分らしい物は不平等化しないとしたら「地方発送でない」ということは確かであるということはない fact14: 仮に「その月額は不平等化する」ということは本当だとすればあの九十年当時は生活情報でない fact15: その月額は性分らしくない fact16: 「あの九十年当時は混ざらない一方で白みである」ということは本当でない fact17: 地方発送は混ざらない
void -> assump1: 以下のように仮定する。その月額は生活情報でなくてそれにそれは乗り難くない; fact1 & assump1 -> int1: そのＰＳＤは地方発送だということはない; fact3 -> int2: そのＰＳＤは地方発送だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「その月額は生活情報でなくて乗り難いということはない」ということは成り立たない; int4 & fact9 -> int5: 「あの九十年当時は混ざらない」ということは確かだ; fact11 -> int6: あの正金はマリゴールドだ; fact2 & int6 -> int7: あの九十年当時は不平等化しない; int5 & int7 -> hypothesis;
その官民はマリゴールドでないしさらにＣＳでない
fact19 -> int8: もしその官民は地方発送であるとすれば混ざらない; fact18 -> int9: 仮に「その官民は性分らしいが不平等化しない」ということは正しいならば地方発送である;
$facts$ = fact1: 仮にその月額が生活情報でないしまた乗り難くないとするとそのＰＳＤは地方発送でない fact2: もしあの正金がマリゴールドだとすればあの九十年当時は不平等化するということはない fact3: そのＰＳＤは地方発送でおまけに性分らしい fact4: 「あの九十年当時はマリゴールドである」ということは真実である fact5: あの九十年当時は生活情報だ fact6: その月額は地方発送でない fact7: 仮にその官民は白みでないならそれは性分らしいけれど不平等化するということはない fact8: 仮にその月額が生活情報だ一方で乗り難くないならばそのＰＳＤは地方発送だということはない fact9: もし「「その月額は生活情報でないしさらに乗り難くない」ということは成り立たない」ということは本当であるとしたらあの九十年当時は混ざらない fact10: あの正金は白みであるし生活情報である fact11: あの正金はマリゴールドであるしそれに白みである fact12: 仮にそのＰＳＤが白みでない一方でそれがマリゴールドならばあの正金は性分らしくない fact13: もしも性分らしい物は不平等化しないとしたら「地方発送でない」ということは確かであるということはない fact14: 仮に「その月額は不平等化する」ということは本当だとすればあの九十年当時は生活情報でない fact15: その月額は性分らしくない fact16: 「あの九十年当時は混ざらない一方で白みである」ということは本当でない fact17: 地方発送は混ざらない ; $hypothesis$ = 「あの九十年当時は混ざらないしおまけに不平等化するということはない」ということは事実と異なる ; $proof$ = 
void -> assump1: 以下のように仮定する。その月額は生活情報でなくてそれにそれは乗り難くない; fact1 & assump1 -> int1: そのＰＳＤは地方発送だということはない; fact3 -> int2: そのＰＳＤは地方発送だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「その月額は生活情報でなくて乗り難いということはない」ということは成り立たない; int4 & fact9 -> int5: 「あの九十年当時は混ざらない」ということは確かだ; fact11 -> int6: あの正金はマリゴールドだ; fact2 & int6 -> int7: あの九十年当時は不平等化しない; int5 & int7 -> hypothesis; __DISPROVED__
事実1: 仮にその月額が生活情報でないしまた乗り難くないとするとそのＰＳＤは地方発送でない
事実2: もしあの正金がマリゴールドだとすればあの九十年当時は不平等化するということはない
事実3: そのＰＳＤは地方発送でおまけに性分らしい
事実4: 「あの九十年当時はマリゴールドである」ということは真実である
事実5: あの九十年当時は生活情報だ
事実6: その月額は地方発送でない
事実7: 仮にその官民は白みでないならそれは性分らしいけれど不平等化するということはない
事実8: 仮にその月額が生活情報だ一方で乗り難くないならばそのＰＳＤは地方発送だということはない
事実9: もし「「その月額は生活情報でないしさらに乗り難くない」ということは成り立たない」ということは本当であるとしたらあの九十年当時は混ざらない
事実10: あの正金は白みであるし生活情報である
事実11: あの正金はマリゴールドであるしそれに白みである
事実12: 仮にそのＰＳＤが白みでない一方でそれがマリゴールドならばあの正金は性分らしくない
事実13: もしも性分らしい物は不平等化しないとしたら「地方発送でない」ということは確かであるということはない
事実14: 仮に「その月額は不平等化する」ということは本当だとすればあの九十年当時は生活情報でない
事実15: その月額は性分らしくない
事実16: 「あの九十年当時は混ざらない一方で白みである」ということは本当でない
事実17: 地方発送は混ざらない

仮説: 「あの九十年当時は混ざらないしおまけに不平等化するということはない」ということは事実と異なる
1. 仮定1: 以下のように仮定する。その月額は生活情報でなくてそれにそれは乗り難くない
2. 事実1と仮定1から、推論1: "そのＰＳＤは地方発送だということはない"が導かれる
3. 事実3から、推論2: "そのＰＳＤは地方発送だ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「その月額は生活情報でなくて乗り難いということはない」ということは成り立たない"が導かれる
6. 推論4と事実9から、推論5: "「あの九十年当時は混ざらない」ということは確かだ"が導かれる
7. 事実11から、推論6: "あの正金はマリゴールドだ"が導かれる
8. 事実2と推論6から、推論7: "あの九十年当時は不平等化しない"が導かれる
9. 推論5と推論7から、仮説が否定される

よって、仮説が否定されました。