あの出走馬は授権する
fact1: もし仮にその如上が使用し難いとするとそれは残り易くなくてそれに御確認下さらない fact2: あの出走馬は使用し難い fact3: その如上は業種転換でないとすると「この名護市民投票は業種転換であるけれど妬ましいということはない」ということは間違いである fact4: 仮にその如上は癒し難くないとすれば「あの出走馬は使用し難いということはないか授権しないか両方である」ということは事実だ fact5: この名護市民投票は妬ましいということはなくて加えて授権しない fact6: 「その如上は払拭出来る」ということは真実だ fact7: 仮にあの分かち合いが総合的指標であるならばこの名護市民投票は総合的指標だ fact8: もしも「この名護市民投票は業種転換だ一方で妬ましいということはない」ということは成り立たないならあの分かち合いは上回る fact9: その如上は標示しない fact10: 業種転換は癒し難いかあるいは妬ましくないか両方である fact11: もし仮に何かは上回ればそれは業種転換である fact12: その如上は癒し難くて更に総合的指標である fact13: その如上は使用し難い fact14: この名護市民投票はプリセットする fact15: もし仮にある物が使用し難いということはないかあるいは授権しないかもしくは両方ともであるとすればそれは授権しない fact16: あの分かち合いはほくらない fact17: 「あの分かち合いは残り易い」ということは間違いでない fact18: もしも「その如上は御確認下さらないがしかしそれは癒し難い」ということは成り立つとすると業種転換でない fact19: もし仮にあの分かち合いがほくらないとしたら総合的指標であるかまたはそれは食べ歩くかあるいは両方ともである fact20: もし仮にあの分かち合いが上回るとしたらあの出走馬は授権する fact21: この春日大社は感染し易くない一方で加える fact22: この名護市民投票は御確認下さる
fact1 & fact13 -> int1: その如上は残り易くないし加えてそれは御確認下さらない; int1 -> int2: その如上は御確認下さるということはない; fact12 -> int3: その如上は癒し難い; int2 & int3 -> int4: 「その如上は御確認下さるということはないがしかしそれは癒し難い」ということは正しい; int4 & fact18 -> int5: その如上は業種転換でない; int5 & fact3 -> int6: 「この名護市民投票は業種転換であるがしかしそれは妬ましくない」ということは嘘である; int6 & fact8 -> int7: あの分かち合いは上回る; int7 & fact20 -> hypothesis;
「あの出走馬は授権するということはない」ということは成り立つ
fact24 -> int8: あの出走馬が使用し難くないかまたはそれが授権しないとするとそれは授権しない; fact27 -> int9: この名護市民投票が業種転換なら癒し難いかそれは妬ましくないかどちらもだ; fact26 -> int10: この名護市民投票が上回るとすればそれは業種転換である; fact29 & fact25 -> int11: あの分かち合いは総合的指標であるかもしくは食べ歩くかあるいは両方だ;
$facts$ = fact1: もし仮にその如上が使用し難いとするとそれは残り易くなくてそれに御確認下さらない fact2: あの出走馬は使用し難い fact3: その如上は業種転換でないとすると「この名護市民投票は業種転換であるけれど妬ましいということはない」ということは間違いである fact4: 仮にその如上は癒し難くないとすれば「あの出走馬は使用し難いということはないか授権しないか両方である」ということは事実だ fact5: この名護市民投票は妬ましいということはなくて加えて授権しない fact6: 「その如上は払拭出来る」ということは真実だ fact7: 仮にあの分かち合いが総合的指標であるならばこの名護市民投票は総合的指標だ fact8: もしも「この名護市民投票は業種転換だ一方で妬ましいということはない」ということは成り立たないならあの分かち合いは上回る fact9: その如上は標示しない fact10: 業種転換は癒し難いかあるいは妬ましくないか両方である fact11: もし仮に何かは上回ればそれは業種転換である fact12: その如上は癒し難くて更に総合的指標である fact13: その如上は使用し難い fact14: この名護市民投票はプリセットする fact15: もし仮にある物が使用し難いということはないかあるいは授権しないかもしくは両方ともであるとすればそれは授権しない fact16: あの分かち合いはほくらない fact17: 「あの分かち合いは残り易い」ということは間違いでない fact18: もしも「その如上は御確認下さらないがしかしそれは癒し難い」ということは成り立つとすると業種転換でない fact19: もし仮にあの分かち合いがほくらないとしたら総合的指標であるかまたはそれは食べ歩くかあるいは両方ともである fact20: もし仮にあの分かち合いが上回るとしたらあの出走馬は授権する fact21: この春日大社は感染し易くない一方で加える fact22: この名護市民投票は御確認下さる ; $hypothesis$ = あの出走馬は授権する ; $proof$ = 
fact1 & fact13 -> int1: その如上は残り易くないし加えてそれは御確認下さらない; int1 -> int2: その如上は御確認下さるということはない; fact12 -> int3: その如上は癒し難い; int2 & int3 -> int4: 「その如上は御確認下さるということはないがしかしそれは癒し難い」ということは正しい; int4 & fact18 -> int5: その如上は業種転換でない; int5 & fact3 -> int6: 「この名護市民投票は業種転換であるがしかしそれは妬ましくない」ということは嘘である; int6 & fact8 -> int7: あの分かち合いは上回る; int7 & fact20 -> hypothesis; __PROVED__
事実1: もし仮にその如上が使用し難いとするとそれは残り易くなくてそれに御確認下さらない
事実2: あの出走馬は使用し難い
事実3: その如上は業種転換でないとすると「この名護市民投票は業種転換であるけれど妬ましいということはない」ということは間違いである
事実4: 仮にその如上は癒し難くないとすれば「あの出走馬は使用し難いということはないか授権しないか両方である」ということは事実だ
事実5: この名護市民投票は妬ましいということはなくて加えて授権しない
事実6: 「その如上は払拭出来る」ということは真実だ
事実7: 仮にあの分かち合いが総合的指標であるならばこの名護市民投票は総合的指標だ
事実8: もしも「この名護市民投票は業種転換だ一方で妬ましいということはない」ということは成り立たないならあの分かち合いは上回る
事実9: その如上は標示しない
事実10: 業種転換は癒し難いかあるいは妬ましくないか両方である
事実11: もし仮に何かは上回ればそれは業種転換である
事実12: その如上は癒し難くて更に総合的指標である
事実13: その如上は使用し難い
事実14: この名護市民投票はプリセットする
事実15: もし仮にある物が使用し難いということはないかあるいは授権しないかもしくは両方ともであるとすればそれは授権しない
事実16: あの分かち合いはほくらない
事実17: 「あの分かち合いは残り易い」ということは間違いでない
事実18: もしも「その如上は御確認下さらないがしかしそれは癒し難い」ということは成り立つとすると業種転換でない
事実19: もし仮にあの分かち合いがほくらないとしたら総合的指標であるかまたはそれは食べ歩くかあるいは両方ともである
事実20: もし仮にあの分かち合いが上回るとしたらあの出走馬は授権する
事実21: この春日大社は感染し易くない一方で加える
事実22: この名護市民投票は御確認下さる

仮説: あの出走馬は授権する
1. 事実1と事実13から、推論1: "その如上は残り易くないし加えてそれは御確認下さらない"が導かれる
2. 推論1から、推論2: "その如上は御確認下さるということはない"が導かれる
3. 事実12から、推論3: "その如上は癒し難い"が導かれる
4. 推論2と推論3から、推論4: "「その如上は御確認下さるということはないがしかしそれは癒し難い」ということは正しい"が導かれる
5. 推論4と事実18から、推論5: "その如上は業種転換でない"が導かれる
6. 推論5と事実3から、推論6: "「この名護市民投票は業種転換であるがしかしそれは妬ましくない」ということは嘘である"が導かれる
7. 推論6と事実8から、推論7: "あの分かち合いは上回る"が導かれる
8. 推論7と事実20から、仮説が導かれる

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