その物中心はポストテストでなくて緘黙であるということはない
fact1: もしも「あの総合的判断は言い放つかまたは覚え始めるということはないかもしくは両方ともだ」ということは成り立たないとすればその分極ベクトルＰは仄暗いということはない fact2: あの拡張は恐怖神経症だ fact3: もし「あの拡張は恐怖神経症でないか言い放つかもしくは両方だ」ということは成り立たないならその物中心は恐怖神経症であるということはない fact4: もしあの総合的判断が言い放たないとすればあの物中心はポストテストであるということはない fact5: 仮にその分極ベクトルＰは仄暗くないならば「あの総合的判断は攻撃し易くて仄暗い」ということは確かでない fact6: 何らかの物は恐怖神経症でないとしたら「ポストテストでないしそれは緘黙でない」ということは成り立たない fact7: 「この確定日付けは覚え始めるかもしくは図々しかない」ということは成り立たない fact8: その物中心は緘黙でない fact9: もし仮に「あの総合的判断は攻撃し易いしさらに仄暗い」ということは本当でないとするとそれは言い放つということはない fact10: 「あの総合的判断は話し辛くない」ということは本当である fact11: もしなんらかのものは誓約するとすると「それは受け易くなくてその上ちゅうしない」ということは事実と異なる fact12: その分極ベクトルＰが思い出深いとすれば誓約する fact13: もし仮にその分極ベクトルＰは受け易いとしたら「十五少年漂流記でなくてかつ緘黙であるということはない」ということは成り立たない fact14: 仄暗い物は恐怖神経症である fact15: もしも何かは十五少年漂流記であるということはないとすれば「攻撃し易くないしその上それは仄暗くない」ということは間違いである fact16: もしもとあるものは恐怖神経症だとしたら「冷え易いかまたはそれは言い放たない」ということは成り立つということはない fact17: もしも何かはポストテストでないならばそれは攻撃し易いし仄暗い fact18: 仮にあの拡張が仄暗いとすればあの未履行双務契約は仄暗い fact19: もしも「あの未履行双務契約は修道女達であるかあるいはそれは覚え始めないか両方ともだ」ということは事実と異なればその分極ベクトルＰは仄暗いということはない fact20: もしもあの総合的判断は緘黙でないとしたらそれは攻撃し易くない fact21: あの拡張は恐怖神経症であるとすると「あの未履行双務契約は修道女達であるかあるいは覚え始めないかあるいはどちらもだ」ということは成り立たない fact22: もしあの総合的判断は恐怖神経症だとすれば「その物中心は緘黙であるか攻撃し易くない」ということは成り立つということはない fact23: 「あの未履行双務契約は攻撃し易いということはないし仄暗くない」ということは誤っているとするとあの拡張は仄暗い fact24: 「「その分極ベクトルＰは十五少年漂流記でないし緘黙でない」ということは誤っているならその分極ベクトルＰはポストテストでない」ということは成り立つ fact25: もし仮に「その分極ベクトルＰは受け易いということはないししかもちゅうしない」ということは成り立たないとすれば「あの未履行双務契約は十五少年漂流記でない」ということは本当だ fact26: 「あの未履行双務契約は修道女達であるかポストテストであるということはない」ということは事実と異なる
fact21 & fact2 -> int1: 「あの未履行双務契約は修道女達であるかもしくは覚え始めない」ということは真実でない; int1 & fact19 -> int2: その分極ベクトルＰは仄暗くない; int2 & fact5 -> int3: 「あの総合的判断は攻撃し易くてまた仄暗い」ということは成り立たない; int3 & fact9 -> int4: あの総合的判断は言い放たない; int4 & fact4 -> int5: その物中心はポストテストだということはない; int5 & fact8 -> hypothesis;
「あの未履行双務契約は冷え易いか言い放たないか両方である」ということは確かでない
fact29 -> int6: あの未履行双務契約は恐怖神経症だとすると「冷え易いかそれは言い放たないかもしくは両方ともだ」ということは成り立たない; fact32 -> int7: もし仮にあの未履行双務契約は仄暗いとしたら「それは恐怖神経症だ」ということは成り立つ; fact31 -> int8: 仮にその分極ベクトルＰがポストテストだということはないとすると攻撃し易くてまた仄暗い;
$facts$ = fact1: もしも「あの総合的判断は言い放つかまたは覚え始めるということはないかもしくは両方ともだ」ということは成り立たないとすればその分極ベクトルＰは仄暗いということはない fact2: あの拡張は恐怖神経症だ fact3: もし「あの拡張は恐怖神経症でないか言い放つかもしくは両方だ」ということは成り立たないならその物中心は恐怖神経症であるということはない fact4: もしあの総合的判断が言い放たないとすればあの物中心はポストテストであるということはない fact5: 仮にその分極ベクトルＰは仄暗くないならば「あの総合的判断は攻撃し易くて仄暗い」ということは確かでない fact6: 何らかの物は恐怖神経症でないとしたら「ポストテストでないしそれは緘黙でない」ということは成り立たない fact7: 「この確定日付けは覚え始めるかもしくは図々しかない」ということは成り立たない fact8: その物中心は緘黙でない fact9: もし仮に「あの総合的判断は攻撃し易いしさらに仄暗い」ということは本当でないとするとそれは言い放つということはない fact10: 「あの総合的判断は話し辛くない」ということは本当である fact11: もしなんらかのものは誓約するとすると「それは受け易くなくてその上ちゅうしない」ということは事実と異なる fact12: その分極ベクトルＰが思い出深いとすれば誓約する fact13: もし仮にその分極ベクトルＰは受け易いとしたら「十五少年漂流記でなくてかつ緘黙であるということはない」ということは成り立たない fact14: 仄暗い物は恐怖神経症である fact15: もしも何かは十五少年漂流記であるということはないとすれば「攻撃し易くないしその上それは仄暗くない」ということは間違いである fact16: もしもとあるものは恐怖神経症だとしたら「冷え易いかまたはそれは言い放たない」ということは成り立つということはない fact17: もしも何かはポストテストでないならばそれは攻撃し易いし仄暗い fact18: 仮にあの拡張が仄暗いとすればあの未履行双務契約は仄暗い fact19: もしも「あの未履行双務契約は修道女達であるかあるいはそれは覚え始めないか両方ともだ」ということは事実と異なればその分極ベクトルＰは仄暗いということはない fact20: もしもあの総合的判断は緘黙でないとしたらそれは攻撃し易くない fact21: あの拡張は恐怖神経症であるとすると「あの未履行双務契約は修道女達であるかあるいは覚え始めないかあるいはどちらもだ」ということは成り立たない fact22: もしあの総合的判断は恐怖神経症だとすれば「その物中心は緘黙であるか攻撃し易くない」ということは成り立つということはない fact23: 「あの未履行双務契約は攻撃し易いということはないし仄暗くない」ということは誤っているとするとあの拡張は仄暗い fact24: 「「その分極ベクトルＰは十五少年漂流記でないし緘黙でない」ということは誤っているならその分極ベクトルＰはポストテストでない」ということは成り立つ fact25: もし仮に「その分極ベクトルＰは受け易いということはないししかもちゅうしない」ということは成り立たないとすれば「あの未履行双務契約は十五少年漂流記でない」ということは本当だ fact26: 「あの未履行双務契約は修道女達であるかポストテストであるということはない」ということは事実と異なる ; $hypothesis$ = その物中心はポストテストでなくて緘黙であるということはない ; $proof$ = 
fact21 & fact2 -> int1: 「あの未履行双務契約は修道女達であるかもしくは覚え始めない」ということは真実でない; int1 & fact19 -> int2: その分極ベクトルＰは仄暗くない; int2 & fact5 -> int3: 「あの総合的判断は攻撃し易くてまた仄暗い」ということは成り立たない; int3 & fact9 -> int4: あの総合的判断は言い放たない; int4 & fact4 -> int5: その物中心はポストテストだということはない; int5 & fact8 -> hypothesis; __PROVED__
事実1: もしも「あの総合的判断は言い放つかまたは覚え始めるということはないかもしくは両方ともだ」ということは成り立たないとすればその分極ベクトルＰは仄暗いということはない
事実2: あの拡張は恐怖神経症だ
事実3: もし「あの拡張は恐怖神経症でないか言い放つかもしくは両方だ」ということは成り立たないならその物中心は恐怖神経症であるということはない
事実4: もしあの総合的判断が言い放たないとすればあの物中心はポストテストであるということはない
事実5: 仮にその分極ベクトルＰは仄暗くないならば「あの総合的判断は攻撃し易くて仄暗い」ということは確かでない
事実6: 何らかの物は恐怖神経症でないとしたら「ポストテストでないしそれは緘黙でない」ということは成り立たない
事実7: 「この確定日付けは覚え始めるかもしくは図々しかない」ということは成り立たない
事実8: その物中心は緘黙でない
事実9: もし仮に「あの総合的判断は攻撃し易いしさらに仄暗い」ということは本当でないとするとそれは言い放つということはない
事実10: 「あの総合的判断は話し辛くない」ということは本当である
事実11: もしなんらかのものは誓約するとすると「それは受け易くなくてその上ちゅうしない」ということは事実と異なる
事実12: その分極ベクトルＰが思い出深いとすれば誓約する
事実13: もし仮にその分極ベクトルＰは受け易いとしたら「十五少年漂流記でなくてかつ緘黙であるということはない」ということは成り立たない
事実14: 仄暗い物は恐怖神経症である
事実15: もしも何かは十五少年漂流記であるということはないとすれば「攻撃し易くないしその上それは仄暗くない」ということは間違いである
事実16: もしもとあるものは恐怖神経症だとしたら「冷え易いかまたはそれは言い放たない」ということは成り立つということはない
事実17: もしも何かはポストテストでないならばそれは攻撃し易いし仄暗い
事実18: 仮にあの拡張が仄暗いとすればあの未履行双務契約は仄暗い
事実19: もしも「あの未履行双務契約は修道女達であるかあるいはそれは覚え始めないか両方ともだ」ということは事実と異なればその分極ベクトルＰは仄暗いということはない
事実20: もしもあの総合的判断は緘黙でないとしたらそれは攻撃し易くない
事実21: あの拡張は恐怖神経症であるとすると「あの未履行双務契約は修道女達であるかあるいは覚え始めないかあるいはどちらもだ」ということは成り立たない
事実22: もしあの総合的判断は恐怖神経症だとすれば「その物中心は緘黙であるか攻撃し易くない」ということは成り立つということはない
事実23: 「あの未履行双務契約は攻撃し易いということはないし仄暗くない」ということは誤っているとするとあの拡張は仄暗い
事実24: 「「その分極ベクトルＰは十五少年漂流記でないし緘黙でない」ということは誤っているならその分極ベクトルＰはポストテストでない」ということは成り立つ
事実25: もし仮に「その分極ベクトルＰは受け易いということはないししかもちゅうしない」ということは成り立たないとすれば「あの未履行双務契約は十五少年漂流記でない」ということは本当だ
事実26: 「あの未履行双務契約は修道女達であるかポストテストであるということはない」ということは事実と異なる

仮説: その物中心はポストテストでなくて緘黙であるということはない
1. 事実21と事実2から、推論1: "「あの未履行双務契約は修道女達であるかもしくは覚え始めない」ということは真実でない"が導かれる
2. 推論1と事実19から、推論2: "その分極ベクトルＰは仄暗くない"が導かれる
3. 推論2と事実5から、推論3: "「あの総合的判断は攻撃し易くてまた仄暗い」ということは成り立たない"が導かれる
4. 推論3と事実9から、推論4: "あの総合的判断は言い放たない"が導かれる
5. 推論4と事実4から、推論5: "その物中心はポストテストだということはない"が導かれる
6. 推論5と事実8から、仮説が導かれる

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