その抗酸化ビタミンは関係全体でないしその上それは切り替わるということはない
fact1: 「あの研究生活は関係全体だがしかし照らし合わせない」ということは間違いである fact2: その抗酸化ビタミンは移住出来るということはないなら「あの末席はふとっちょでないが大氷原である」ということは偽だ fact3: 「そのスポンジ状は関係全体でない」ということは確かである fact4: 「その抗酸化ビタミンは細胞質側でなくて加えて照らし合わせない」ということは成り立たない fact5: 「「このデカン洪水玄武岩は照らし合わせるけれどそれは引き寄せるということはない」ということは事実である」ということは成り立つということはない fact6: あの研究生活はど根性でないけど流され易い fact7: あの研究生活は照らし合わせない一方で大氷原である fact8: その部分音は関係全体でない fact9: その抗酸化ビタミンは試着しない fact10: その抗酸化ビタミンは地方版でないし加えて起床しない fact11: 仮に「その抗酸化ビタミンは切り替わらないし加えて大氷原でない」ということは間違っているとしたらあの研究生活は照らし合わせない fact12: あの研究生活はゲルタイムだ fact13: もし「「その抗酸化ビタミンは関係全体でないしまた切り替わらない」ということは誤りだ」ということは成り立つとするとあの研究生活は大氷原でない fact14: もしその抗酸化ビタミンは大氷原であるとすれば「あの研究生活は切り替わるということはない」ということは真実である fact15: 「その抗酸化ビタミンは大氷原だということはないしおまけに関係全体であるということはない」ということは誤っている fact16: その抗酸化ビタミンは関係全体でないけれど大氷原だ fact17: あの研究生活は関係全体でない fact18: 「その抗酸化ビタミンは大氷原であるということはないし切り替わらない」ということは誤っている fact19: もしもあの研究生活が切り替わるとしたらその抗酸化ビタミンは照らし合わせない
void -> assump1: 以下のように仮定する。「その抗酸化ビタミンは関係全体でなくて更に切り替わらない」ということは成り立たない; fact13 & assump1 -> int1: あの研究生活は大氷原でない; fact7 -> int2: あの研究生活は大氷原だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: ¬(¬{AA}{a} & ¬{AB}{a}); fact13 & assump1 -> int1: ¬{B}{b}; fact7 -> int2: {B}{b}; int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
あの末席は照らし合わせる
$facts$ = fact1: 「あの研究生活は関係全体だがしかし照らし合わせない」ということは間違いである fact2: その抗酸化ビタミンは移住出来るということはないなら「あの末席はふとっちょでないが大氷原である」ということは偽だ fact3: 「そのスポンジ状は関係全体でない」ということは確かである fact4: 「その抗酸化ビタミンは細胞質側でなくて加えて照らし合わせない」ということは成り立たない fact5: 「「このデカン洪水玄武岩は照らし合わせるけれどそれは引き寄せるということはない」ということは事実である」ということは成り立つということはない fact6: あの研究生活はど根性でないけど流され易い fact7: あの研究生活は照らし合わせない一方で大氷原である fact8: その部分音は関係全体でない fact9: その抗酸化ビタミンは試着しない fact10: その抗酸化ビタミンは地方版でないし加えて起床しない fact11: 仮に「その抗酸化ビタミンは切り替わらないし加えて大氷原でない」ということは間違っているとしたらあの研究生活は照らし合わせない fact12: あの研究生活はゲルタイムだ fact13: もし「「その抗酸化ビタミンは関係全体でないしまた切り替わらない」ということは誤りだ」ということは成り立つとするとあの研究生活は大氷原でない fact14: もしその抗酸化ビタミンは大氷原であるとすれば「あの研究生活は切り替わるということはない」ということは真実である fact15: 「その抗酸化ビタミンは大氷原だということはないしおまけに関係全体であるということはない」ということは誤っている fact16: その抗酸化ビタミンは関係全体でないけれど大氷原だ fact17: あの研究生活は関係全体でない fact18: 「その抗酸化ビタミンは大氷原であるということはないし切り替わらない」ということは誤っている fact19: もしもあの研究生活が切り替わるとしたらその抗酸化ビタミンは照らし合わせない ; $hypothesis$ = その抗酸化ビタミンは関係全体でないしその上それは切り替わるということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。「その抗酸化ビタミンは関係全体でなくて更に切り替わらない」ということは成り立たない; fact13 & assump1 -> int1: あの研究生活は大氷原でない; fact7 -> int2: あの研究生活は大氷原だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: 「あの研究生活は関係全体だがしかし照らし合わせない」ということは間違いである
事実2: その抗酸化ビタミンは移住出来るということはないなら「あの末席はふとっちょでないが大氷原である」ということは偽だ
事実3: 「そのスポンジ状は関係全体でない」ということは確かである
事実4: 「その抗酸化ビタミンは細胞質側でなくて加えて照らし合わせない」ということは成り立たない
事実5: 「「このデカン洪水玄武岩は照らし合わせるけれどそれは引き寄せるということはない」ということは事実である」ということは成り立つということはない
事実6: あの研究生活はど根性でないけど流され易い
事実7: あの研究生活は照らし合わせない一方で大氷原である
事実8: その部分音は関係全体でない
事実9: その抗酸化ビタミンは試着しない
事実10: その抗酸化ビタミンは地方版でないし加えて起床しない
事実11: 仮に「その抗酸化ビタミンは切り替わらないし加えて大氷原でない」ということは間違っているとしたらあの研究生活は照らし合わせない
事実12: あの研究生活はゲルタイムだ
事実13: もし「「その抗酸化ビタミンは関係全体でないしまた切り替わらない」ということは誤りだ」ということは成り立つとするとあの研究生活は大氷原でない
事実14: もしその抗酸化ビタミンは大氷原であるとすれば「あの研究生活は切り替わるということはない」ということは真実である
事実15: 「その抗酸化ビタミンは大氷原だということはないしおまけに関係全体であるということはない」ということは誤っている
事実16: その抗酸化ビタミンは関係全体でないけれど大氷原だ
事実17: あの研究生活は関係全体でない
事実18: 「その抗酸化ビタミンは大氷原であるということはないし切り替わらない」ということは誤っている
事実19: もしもあの研究生活が切り替わるとしたらその抗酸化ビタミンは照らし合わせない

仮説: その抗酸化ビタミンは関係全体でないしその上それは切り替わるということはない
1. 仮定1: 以下のように仮定する。「その抗酸化ビタミンは関係全体でなくて更に切り替わらない」ということは成り立たない
2. 事実13と仮定1から、推論1: "あの研究生活は大氷原でない"が導かれる
3. 事実7から、推論2: "あの研究生活は大氷原だ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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