「あの幼少期は朝日ビールでなくてそれに八溝山系でない」ということは間違いである
fact1: その宿業は腹部食道癌であるとすれば「あの内掛けは六階層だ」ということは確かだ fact2: 「「あの幼少期は朝日ビールでないがしかしそれは八溝山系である」ということは成り立つということはない」ということは正しい fact3: もし仮に何らかの物は腹部食道癌でないならそれは朝日ビールでないしさらに八溝山系でない fact4: もし仮にあの投与後は六階層でないとすると「その宿業は腹部食道癌でなくて領国支配でない」ということは間違いである fact5: 「「その宿業は八溝山系である」ということは正しいとしたらあの幼少期は領国支配だ」ということは成り立つ fact6: 仮に「「なにかは御安いということはないかもしくは身頃でないかまたは両方ともだ」ということは成り立つ」ということは嘘だとすれば六階層であるということはない fact7: その宿業は六階層であるとすれば「あの内掛けは領国支配だということはなくてそれは朝日ビールでない」ということは成り立たない fact8: もしあの内掛けが六階層であるとしたらあの投与後は身頃である fact9: あの投与後は身頃であるとしたら「あの幼少期は朝日ビールでないけど八溝山系だ」ということは嘘である fact10: 「あの内掛けが六階層だけど八溝山系でない」ということは事実と異なる fact11: 「あの幼少期は朝日ビールで更に八溝山系だということはない」ということは誤りである fact12: もしあの投与後は身頃だとすると「あの幼少期は朝日ビールでないしその上八溝山系であるということはない」ということは偽だ fact13: その宿業は腹部食道癌であるかあるいは領国支配である fact14: もしもその宿業が領国支配だとするとあの内掛けは六階層だ
fact13 & fact1 & fact14 -> int1: あの内掛けは六階層である; int1 & fact8 -> int2: あの投与後は身頃である; int2 & fact12 -> hypothesis;
fact13 & fact1 & fact14 -> int1: {C}{c}; int1 & fact8 -> int2: {D}{b}; int2 & fact12 -> hypothesis;
あの幼少期は朝日ビールでなくてかつ八溝山系でない
fact17 -> int3: 仮にあの幼少期が腹部食道癌だということはないならば朝日ビールだということはないしそれは八溝山系でない; fact15 -> int4: もし「あの投与後は御安くないかあるいは身頃だということはないかもしくはどちらもである」ということは偽だとすれば六階層でない;
$facts$ = fact1: その宿業は腹部食道癌であるとすれば「あの内掛けは六階層だ」ということは確かだ fact2: 「「あの幼少期は朝日ビールでないがしかしそれは八溝山系である」ということは成り立つということはない」ということは正しい fact3: もし仮に何らかの物は腹部食道癌でないならそれは朝日ビールでないしさらに八溝山系でない fact4: もし仮にあの投与後は六階層でないとすると「その宿業は腹部食道癌でなくて領国支配でない」ということは間違いである fact5: 「「その宿業は八溝山系である」ということは正しいとしたらあの幼少期は領国支配だ」ということは成り立つ fact6: 仮に「「なにかは御安いということはないかもしくは身頃でないかまたは両方ともだ」ということは成り立つ」ということは嘘だとすれば六階層であるということはない fact7: その宿業は六階層であるとすれば「あの内掛けは領国支配だということはなくてそれは朝日ビールでない」ということは成り立たない fact8: もしあの内掛けが六階層であるとしたらあの投与後は身頃である fact9: あの投与後は身頃であるとしたら「あの幼少期は朝日ビールでないけど八溝山系だ」ということは嘘である fact10: 「あの内掛けが六階層だけど八溝山系でない」ということは事実と異なる fact11: 「あの幼少期は朝日ビールで更に八溝山系だということはない」ということは誤りである fact12: もしあの投与後は身頃だとすると「あの幼少期は朝日ビールでないしその上八溝山系であるということはない」ということは偽だ fact13: その宿業は腹部食道癌であるかあるいは領国支配である fact14: もしもその宿業が領国支配だとするとあの内掛けは六階層だ ; $hypothesis$ = 「あの幼少期は朝日ビールでなくてそれに八溝山系でない」ということは間違いである ; $proof$ = 
fact13 & fact1 & fact14 -> int1: あの内掛けは六階層である; int1 & fact8 -> int2: あの投与後は身頃である; int2 & fact12 -> hypothesis; __PROVED__
事実1: その宿業は腹部食道癌であるとすれば「あの内掛けは六階層だ」ということは確かだ
事実2: 「「あの幼少期は朝日ビールでないがしかしそれは八溝山系である」ということは成り立つということはない」ということは正しい
事実3: もし仮に何らかの物は腹部食道癌でないならそれは朝日ビールでないしさらに八溝山系でない
事実4: もし仮にあの投与後は六階層でないとすると「その宿業は腹部食道癌でなくて領国支配でない」ということは間違いである
事実5: 「「その宿業は八溝山系である」ということは正しいとしたらあの幼少期は領国支配だ」ということは成り立つ
事実6: 仮に「「なにかは御安いということはないかもしくは身頃でないかまたは両方ともだ」ということは成り立つ」ということは嘘だとすれば六階層であるということはない
事実7: その宿業は六階層であるとすれば「あの内掛けは領国支配だということはなくてそれは朝日ビールでない」ということは成り立たない
事実8: もしあの内掛けが六階層であるとしたらあの投与後は身頃である
事実9: あの投与後は身頃であるとしたら「あの幼少期は朝日ビールでないけど八溝山系だ」ということは嘘である
事実10: 「あの内掛けが六階層だけど八溝山系でない」ということは事実と異なる
事実11: 「あの幼少期は朝日ビールで更に八溝山系だということはない」ということは誤りである
事実12: もしあの投与後は身頃だとすると「あの幼少期は朝日ビールでないしその上八溝山系であるということはない」ということは偽だ
事実13: その宿業は腹部食道癌であるかあるいは領国支配である
事実14: もしもその宿業が領国支配だとするとあの内掛けは六階層だ

仮説: 「あの幼少期は朝日ビールでなくてそれに八溝山系でない」ということは間違いである
1. 事実13と事実1と事実14から、推論1: "あの内掛けは六階層である"が導かれる
2. 推論1と事実8から、推論2: "あの投与後は身頃である"が導かれる
3. 推論2と事実12から、仮説が導かれる

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