「あの運気上昇は大量摂取しない一方で山高する」ということは成り立たない
fact1: あのドゥーＮオアは勇ましいしさらに山高する fact2: もしとある物は帷子だとすれば「この操舵が古新聞だし決め難い」ということは成り立たない fact3: 仮にあの振り替え額が帷子でないけれど種付けであるとすればあの二分の一以上は帷子である fact4: 仮にあのドゥーＮオアは大量摂取するとすれば「あの運気上昇は山高しないけどそれは大量摂取する」ということは成り立たない fact5: もしもあの共同社会は帷子でないとすれば「あの運気上昇は見出さなくてかつ歩き回らない」ということは成り立つ fact6: あのドゥーＮオアは山高すれば「あの運気上昇は大量摂取しないけど山高する」ということは成り立たない fact7: もし仮にあの共同社会は歩き回らないならば「あのドゥーＮオアは勇ましいししかもそれは頒布する」ということは偽だ fact8: 「あのドゥーＮオアは勇ましい」ということは成り立つ fact9: あのドゥーＮオアは決め難いということはない fact10: あの運気上昇は山高するとすると「あのドゥーＮオアは大量摂取しないけれど山高する」ということは間違っている fact11: 仮に勇ましくらないものが山高しないとすれば根気強い fact12: 「あの運気上昇は大量摂取するし山高する」ということは成り立たない fact13: もし仮に「とあるものは古新聞であるししかも決め難い」ということは間違っているとすれば見出さない fact14: もしあのドゥーＮオアは山高すれば「あの運気上昇は大量摂取するし山高する」ということは成り立たない fact15: 仮にあるものは見出さないとしたら「あの共同社会は歩き回るし見出す」ということは正しくない fact16: 勇ましくらない物は大量摂取しないけれど山高する fact17: 「もし仮に「ある物は歩き回るしまた見出す」ということは成り立たないならば歩き回らない」ということは成り立つ fact18: 「あのドゥーＮオアは勇ましくらないけれど大量摂取する」ということは間違いだ fact19: もし「あのドゥーＮオアは決め難くない」ということは本当であるとしたらこのポケベルは大量摂取するしかつ頒布する fact20: あの共同社会は帷子だということはない fact21: あの振り替え額は帷子でない一方で種付けだ
fact1 -> int1: あのドゥーＮオアは山高する; int1 & fact6 -> hypothesis;
fact1 -> int1: {B}{a}; int1 & fact6 -> hypothesis;
このポケベルは大量摂取するしかつそれは根気強い
fact26 & fact25 -> int2: このポケベルは大量摂取するしまた頒布する; int2 -> int3: このポケベルは大量摂取する; fact22 -> int4: もし仮にこのポケベルは勇ましくらなくてしかも山高しないならば根気強い; fact24 & fact23 -> int5: あの運気上昇は見出さないしそれは歩き回らない; int5 -> int6: 「見出さないしその上歩き回るということはない」物はある;
$facts$ = fact1: あのドゥーＮオアは勇ましいしさらに山高する fact2: もしとある物は帷子だとすれば「この操舵が古新聞だし決め難い」ということは成り立たない fact3: 仮にあの振り替え額が帷子でないけれど種付けであるとすればあの二分の一以上は帷子である fact4: 仮にあのドゥーＮオアは大量摂取するとすれば「あの運気上昇は山高しないけどそれは大量摂取する」ということは成り立たない fact5: もしもあの共同社会は帷子でないとすれば「あの運気上昇は見出さなくてかつ歩き回らない」ということは成り立つ fact6: あのドゥーＮオアは山高すれば「あの運気上昇は大量摂取しないけど山高する」ということは成り立たない fact7: もし仮にあの共同社会は歩き回らないならば「あのドゥーＮオアは勇ましいししかもそれは頒布する」ということは偽だ fact8: 「あのドゥーＮオアは勇ましい」ということは成り立つ fact9: あのドゥーＮオアは決め難いということはない fact10: あの運気上昇は山高するとすると「あのドゥーＮオアは大量摂取しないけれど山高する」ということは間違っている fact11: 仮に勇ましくらないものが山高しないとすれば根気強い fact12: 「あの運気上昇は大量摂取するし山高する」ということは成り立たない fact13: もし仮に「とあるものは古新聞であるししかも決め難い」ということは間違っているとすれば見出さない fact14: もしあのドゥーＮオアは山高すれば「あの運気上昇は大量摂取するし山高する」ということは成り立たない fact15: 仮にあるものは見出さないとしたら「あの共同社会は歩き回るし見出す」ということは正しくない fact16: 勇ましくらない物は大量摂取しないけれど山高する fact17: 「もし仮に「ある物は歩き回るしまた見出す」ということは成り立たないならば歩き回らない」ということは成り立つ fact18: 「あのドゥーＮオアは勇ましくらないけれど大量摂取する」ということは間違いだ fact19: もし「あのドゥーＮオアは決め難くない」ということは本当であるとしたらこのポケベルは大量摂取するしかつ頒布する fact20: あの共同社会は帷子だということはない fact21: あの振り替え額は帷子でない一方で種付けだ ; $hypothesis$ = 「あの運気上昇は大量摂取しない一方で山高する」ということは成り立たない ; $proof$ = 
fact1 -> int1: あのドゥーＮオアは山高する; int1 & fact6 -> hypothesis; __PROVED__
事実1: あのドゥーＮオアは勇ましいしさらに山高する
事実2: もしとある物は帷子だとすれば「この操舵が古新聞だし決め難い」ということは成り立たない
事実3: 仮にあの振り替え額が帷子でないけれど種付けであるとすればあの二分の一以上は帷子である
事実4: 仮にあのドゥーＮオアは大量摂取するとすれば「あの運気上昇は山高しないけどそれは大量摂取する」ということは成り立たない
事実5: もしもあの共同社会は帷子でないとすれば「あの運気上昇は見出さなくてかつ歩き回らない」ということは成り立つ
事実6: あのドゥーＮオアは山高すれば「あの運気上昇は大量摂取しないけど山高する」ということは成り立たない
事実7: もし仮にあの共同社会は歩き回らないならば「あのドゥーＮオアは勇ましいししかもそれは頒布する」ということは偽だ
事実8: 「あのドゥーＮオアは勇ましい」ということは成り立つ
事実9: あのドゥーＮオアは決め難いということはない
事実10: あの運気上昇は山高するとすると「あのドゥーＮオアは大量摂取しないけれど山高する」ということは間違っている
事実11: 仮に勇ましくらないものが山高しないとすれば根気強い
事実12: 「あの運気上昇は大量摂取するし山高する」ということは成り立たない
事実13: もし仮に「とあるものは古新聞であるししかも決め難い」ということは間違っているとすれば見出さない
事実14: もしあのドゥーＮオアは山高すれば「あの運気上昇は大量摂取するし山高する」ということは成り立たない
事実15: 仮にあるものは見出さないとしたら「あの共同社会は歩き回るし見出す」ということは正しくない
事実16: 勇ましくらない物は大量摂取しないけれど山高する
事実17: 「もし仮に「ある物は歩き回るしまた見出す」ということは成り立たないならば歩き回らない」ということは成り立つ
事実18: 「あのドゥーＮオアは勇ましくらないけれど大量摂取する」ということは間違いだ
事実19: もし「あのドゥーＮオアは決め難くない」ということは本当であるとしたらこのポケベルは大量摂取するしかつ頒布する
事実20: あの共同社会は帷子だということはない
事実21: あの振り替え額は帷子でない一方で種付けだ

仮説: 「あの運気上昇は大量摂取しない一方で山高する」ということは成り立たない
1. 事実1から、推論1: "あのドゥーＮオアは山高する"が導かれる
2. 推論1と事実6から、仮説が導かれる

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