あの洛西は成就する
fact1: もし何かはテイクアウトしないとしたら掠り傷で成就する fact2: もし「仕入れリベートである」物があるとすればあの洛西は大阪市内でない fact3: もしも「あの制作時期は大阪市内でないかもしくは成就するかあるいは両方ともだ」ということは嘘だとしたらあの洛西は成就しない fact4: 仮にあの第一審が成就しないならそれは仕入れリベートである fact5: 「仮にその連結会社間取り引きが掠り傷であるししかもそれが成就するならばあの制作時期は掠り傷でない」ということは本当だ fact6: もしその連結会社間取り引きは聞き取り易くないとすれば「話し易くないしさらにそれは応じる」ということは本当でない fact7: あの第一審は成就する fact8: 「「仕入れリベートでなくて加えてＡＩＣＰＡでない」ということは成り立つ」ものはある fact9: もし仮に何らかの物は掠り傷であるなら「それは成就する」ということは成り立つ fact10: あの洛西は約だ fact11: もしもある物は大阪市内でないならそれは掠り傷である fact12: 「「なにがしかのものは話し易くないがしかし応じる」ということは正しい」ということは嘘であるならそれはテイクアウトしない fact13: 「「仕入れリベートでなくてＡＩＣＰＡである」ということは偽である」物はある fact14: 「「仕入れリベートであるしＡＩＣＰＡでない」ということは間違いな」物はある fact15: 「あの第一審は仕入れリベートであるけどＡＩＣＰＡでない」ということは間違いである fact16: 「あの第一審は仕入れリベートでないしＡＩＣＰＡでない」ということは偽である fact17: もしも「「仕入れリベートでなくてかつＡＩＣＰＡでない」ということは誤りである」物があるならばあの洛西は大阪市内でない fact18: 「あの第一審は仕入れリベートでなくて成就しない」ということは誤っている
fact16 -> int1: 「「仕入れリベートでなくてまたＡＩＣＰＡでない」ということは本当でない」ものはある; int1 & fact17 -> int2: あの洛西は大阪市内であるということはない; fact11 -> int3: もし仮にあの洛西は大阪市内でないならばそれは掠り傷だ; int2 & int3 -> int4: あの洛西は掠り傷だ; fact9 -> int5: 「もし仮にあの洛西が掠り傷だとすればあの洛西は成就する」ということは成り立つ; int4 & int5 -> hypothesis;
「あの洛西は名乗り合う」ということは正しい
fact22 -> int6: その連結会社間取り引きはテイクアウトしないとすれば「掠り傷であるし成就する」ということは本当である; fact20 -> int7: もしも「その連結会社間取り引きは話し易くないけど応じる」ということは間違っているならテイクアウトするということはない;
$facts$ = fact1: もし何かはテイクアウトしないとしたら掠り傷で成就する fact2: もし「仕入れリベートである」物があるとすればあの洛西は大阪市内でない fact3: もしも「あの制作時期は大阪市内でないかもしくは成就するかあるいは両方ともだ」ということは嘘だとしたらあの洛西は成就しない fact4: 仮にあの第一審が成就しないならそれは仕入れリベートである fact5: 「仮にその連結会社間取り引きが掠り傷であるししかもそれが成就するならばあの制作時期は掠り傷でない」ということは本当だ fact6: もしその連結会社間取り引きは聞き取り易くないとすれば「話し易くないしさらにそれは応じる」ということは本当でない fact7: あの第一審は成就する fact8: 「「仕入れリベートでなくて加えてＡＩＣＰＡでない」ということは成り立つ」ものはある fact9: もし仮に何らかの物は掠り傷であるなら「それは成就する」ということは成り立つ fact10: あの洛西は約だ fact11: もしもある物は大阪市内でないならそれは掠り傷である fact12: 「「なにがしかのものは話し易くないがしかし応じる」ということは正しい」ということは嘘であるならそれはテイクアウトしない fact13: 「「仕入れリベートでなくてＡＩＣＰＡである」ということは偽である」物はある fact14: 「「仕入れリベートであるしＡＩＣＰＡでない」ということは間違いな」物はある fact15: 「あの第一審は仕入れリベートであるけどＡＩＣＰＡでない」ということは間違いである fact16: 「あの第一審は仕入れリベートでないしＡＩＣＰＡでない」ということは偽である fact17: もしも「「仕入れリベートでなくてかつＡＩＣＰＡでない」ということは誤りである」物があるならばあの洛西は大阪市内でない fact18: 「あの第一審は仕入れリベートでなくて成就しない」ということは誤っている ; $hypothesis$ = あの洛西は成就する ; $proof$ = 
fact16 -> int1: 「「仕入れリベートでなくてまたＡＩＣＰＡでない」ということは本当でない」ものはある; int1 & fact17 -> int2: あの洛西は大阪市内であるということはない; fact11 -> int3: もし仮にあの洛西は大阪市内でないならばそれは掠り傷だ; int2 & int3 -> int4: あの洛西は掠り傷だ; fact9 -> int5: 「もし仮にあの洛西が掠り傷だとすればあの洛西は成就する」ということは成り立つ; int4 & int5 -> hypothesis; __PROVED__
事実1: もし何かはテイクアウトしないとしたら掠り傷で成就する
事実2: もし「仕入れリベートである」物があるとすればあの洛西は大阪市内でない
事実3: もしも「あの制作時期は大阪市内でないかもしくは成就するかあるいは両方ともだ」ということは嘘だとしたらあの洛西は成就しない
事実4: 仮にあの第一審が成就しないならそれは仕入れリベートである
事実5: 「仮にその連結会社間取り引きが掠り傷であるししかもそれが成就するならばあの制作時期は掠り傷でない」ということは本当だ
事実6: もしその連結会社間取り引きは聞き取り易くないとすれば「話し易くないしさらにそれは応じる」ということは本当でない
事実7: あの第一審は成就する
事実8: 「「仕入れリベートでなくて加えてＡＩＣＰＡでない」ということは成り立つ」ものはある
事実9: もし仮に何らかの物は掠り傷であるなら「それは成就する」ということは成り立つ
事実10: あの洛西は約だ
事実11: もしもある物は大阪市内でないならそれは掠り傷である
事実12: 「「なにがしかのものは話し易くないがしかし応じる」ということは正しい」ということは嘘であるならそれはテイクアウトしない
事実13: 「「仕入れリベートでなくてＡＩＣＰＡである」ということは偽である」物はある
事実14: 「「仕入れリベートであるしＡＩＣＰＡでない」ということは間違いな」物はある
事実15: 「あの第一審は仕入れリベートであるけどＡＩＣＰＡでない」ということは間違いである
事実16: 「あの第一審は仕入れリベートでないしＡＩＣＰＡでない」ということは偽である
事実17: もしも「「仕入れリベートでなくてかつＡＩＣＰＡでない」ということは誤りである」物があるならばあの洛西は大阪市内でない
事実18: 「あの第一審は仕入れリベートでなくて成就しない」ということは誤っている

仮説: あの洛西は成就する
1. 事実16から、推論1: "「「仕入れリベートでなくてまたＡＩＣＰＡでない」ということは本当でない」ものはある"が導かれる
2. 推論1と事実17から、推論2: "あの洛西は大阪市内であるということはない"が導かれる
3. 事実11から、推論3: "もし仮にあの洛西は大阪市内でないならばそれは掠り傷だ"が導かれる
4. 推論2と推論3から、推論4: "あの洛西は掠り傷だ"が導かれる
5. 事実9から、推論5: "「もし仮にあの洛西が掠り傷だとすればあの洛西は成就する」ということは成り立つ"が導かれる
6. 推論4と推論5から、仮説が導かれる

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