あの最高水準は遭難し掛けるかそれは工場労働であるかもしくは両方ともである
fact1: もし「「あの最高水準は諮詢するかあるいは仕立てるかまたは両方ともである」ということは偽である」ということは事実と異ならないとしたらそれは消化し易い fact2: この消費需要は配列だ fact3: 仮に「あの園地は住み易いかあるいは諮詢するか両方である」ということは誤りだとしたらそれは緩和出来る fact4: もしも「その七十一口径は生え易いかあるいは正規戦であるかまたはどちらもだ」ということは偽であるならば貫徹出来る fact5: もし「あの最高水準は似姿でないかまたは切り離し難いかまたはどちらもである」ということは偽であるならばそれは緩和出来る fact6: あの最高水準は消化し易い fact7: もし「その七十一口径は生え易いかまたは書き上がる」ということは誤っているとすれば「それは肺病である」ということは確かだ fact8: あの最高水準は工場労働であるかもしくは一升瓶であるかあるいはどちらもである fact9: 「あの最高水準は生え易くないかまたは諮詢するか両方である」ということは成り立たない fact10: もしこの消費需要は配列であるならば「この住居表示は中隔フラップでないし更にしどけなくない」ということは成り立たない fact11: もし仮に「あの最高水準は御年でないかもしくはそれは純朴である」ということは間違っているとすれば救い難い fact12: このＥＩは諮詢する fact13: もしあの最高水準が遭難し掛けるとするとその三曲は遭難し掛ける fact14: あの最高水準は入社するかまたは工場労働であるかもしくは両方ともだ fact15: 「あの最高水準はＢＲイングでないかあるいは遭難し掛けるかあるいはどちらもである」ということは誤っている fact16: そのＥＰＲは生え易い fact17: もし「あの最高水準は生え易くないかあるいは諮詢するか両方である」ということは誤っているとすればそれは工場労働だ fact18: もし「「このＴ座標は遭難し掛けるかそれは潔い」ということは正しくない」ということは成り立つとしたら馴染み易い fact19: あの六時間後は工場労働である fact20: この開花は遭難し掛ける
fact17 & fact9 -> int1: 「あの最高水準は工場労働である」ということは事実だ; int1 -> hypothesis;
fact17 & fact9 -> int1: {B}{a}; int1 -> hypothesis;
その三曲はクローズアップするかまたはそれは遭難し掛けるかあるいはどちらもだ
fact21 & fact22 -> int2: 「この住居表示は中隔フラップであるということはなくてしどけなくない」ということは嘘だ; int2 -> int3: 「「中隔フラップでなくてしどけなくない」ということは間違いな」物はある;
$facts$ = fact1: もし「「あの最高水準は諮詢するかあるいは仕立てるかまたは両方ともである」ということは偽である」ということは事実と異ならないとしたらそれは消化し易い fact2: この消費需要は配列だ fact3: 仮に「あの園地は住み易いかあるいは諮詢するか両方である」ということは誤りだとしたらそれは緩和出来る fact4: もしも「その七十一口径は生え易いかあるいは正規戦であるかまたはどちらもだ」ということは偽であるならば貫徹出来る fact5: もし「あの最高水準は似姿でないかまたは切り離し難いかまたはどちらもである」ということは偽であるならばそれは緩和出来る fact6: あの最高水準は消化し易い fact7: もし「その七十一口径は生え易いかまたは書き上がる」ということは誤っているとすれば「それは肺病である」ということは確かだ fact8: あの最高水準は工場労働であるかもしくは一升瓶であるかあるいはどちらもである fact9: 「あの最高水準は生え易くないかまたは諮詢するか両方である」ということは成り立たない fact10: もしこの消費需要は配列であるならば「この住居表示は中隔フラップでないし更にしどけなくない」ということは成り立たない fact11: もし仮に「あの最高水準は御年でないかもしくはそれは純朴である」ということは間違っているとすれば救い難い fact12: このＥＩは諮詢する fact13: もしあの最高水準が遭難し掛けるとするとその三曲は遭難し掛ける fact14: あの最高水準は入社するかまたは工場労働であるかもしくは両方ともだ fact15: 「あの最高水準はＢＲイングでないかあるいは遭難し掛けるかあるいはどちらもである」ということは誤っている fact16: そのＥＰＲは生え易い fact17: もし「あの最高水準は生え易くないかあるいは諮詢するか両方である」ということは誤っているとすればそれは工場労働だ fact18: もし「「このＴ座標は遭難し掛けるかそれは潔い」ということは正しくない」ということは成り立つとしたら馴染み易い fact19: あの六時間後は工場労働である fact20: この開花は遭難し掛ける ; $hypothesis$ = あの最高水準は遭難し掛けるかそれは工場労働であるかもしくは両方ともである ; $proof$ = 
fact17 & fact9 -> int1: 「あの最高水準は工場労働である」ということは事実だ; int1 -> hypothesis; __PROVED__
事実1: もし「「あの最高水準は諮詢するかあるいは仕立てるかまたは両方ともである」ということは偽である」ということは事実と異ならないとしたらそれは消化し易い
事実2: この消費需要は配列だ
事実3: 仮に「あの園地は住み易いかあるいは諮詢するか両方である」ということは誤りだとしたらそれは緩和出来る
事実4: もしも「その七十一口径は生え易いかあるいは正規戦であるかまたはどちらもだ」ということは偽であるならば貫徹出来る
事実5: もし「あの最高水準は似姿でないかまたは切り離し難いかまたはどちらもである」ということは偽であるならばそれは緩和出来る
事実6: あの最高水準は消化し易い
事実7: もし「その七十一口径は生え易いかまたは書き上がる」ということは誤っているとすれば「それは肺病である」ということは確かだ
事実8: あの最高水準は工場労働であるかもしくは一升瓶であるかあるいはどちらもである
事実9: 「あの最高水準は生え易くないかまたは諮詢するか両方である」ということは成り立たない
事実10: もしこの消費需要は配列であるならば「この住居表示は中隔フラップでないし更にしどけなくない」ということは成り立たない
事実11: もし仮に「あの最高水準は御年でないかもしくはそれは純朴である」ということは間違っているとすれば救い難い
事実12: このＥＩは諮詢する
事実13: もしあの最高水準が遭難し掛けるとするとその三曲は遭難し掛ける
事実14: あの最高水準は入社するかまたは工場労働であるかもしくは両方ともだ
事実15: 「あの最高水準はＢＲイングでないかあるいは遭難し掛けるかあるいはどちらもである」ということは誤っている
事実16: そのＥＰＲは生え易い
事実17: もし「あの最高水準は生え易くないかあるいは諮詢するか両方である」ということは誤っているとすればそれは工場労働だ
事実18: もし「「このＴ座標は遭難し掛けるかそれは潔い」ということは正しくない」ということは成り立つとしたら馴染み易い
事実19: あの六時間後は工場労働である
事実20: この開花は遭難し掛ける

仮説: あの最高水準は遭難し掛けるかそれは工場労働であるかもしくは両方ともである
1. 事実17と事実9から、推論1: "「あの最高水準は工場労働である」ということは事実だ"が導かれる
2. 推論1から、仮説が導かれる

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