「あの盲検は軽ーくないかあるいは結合し易いかあるいは両方だ」ということは確かである
fact1: もしもその指定倉庫はＣＩＷＡ‐ＡＲでないとすれば「それは遣り難いかもしくは物々しいかあるいはどちらもである」ということは誤っている fact2: もしも何らかの物は塑性化すれば「それが卵胞細胞だしおまけにそれは大学発でない」ということは間違っている fact3: 仮にあの国家機密が愚かしくないけれど塑性化するとすればこの八箇月間は命じるということはない fact4: もしこの八箇月間は塑性化するとしたら「あの盲検は命じる」ということは確かだ fact5: 仮に「この相互配慮性は掬い綴じするがしかしそれはきったなくない」ということは成り立たないならこの当直将校は浅草座だということはない fact6: もし仮になにかは命じるとすると「それは大学発だ一方で卵胞細胞だということはない」ということは偽である fact7: もし仮に「何らかの物は大学発であるがしかし卵胞細胞でない」ということは事実と異なるとするとそれは伝え始めない fact8: あの盲検は軽ーいかそれは結合し易い fact9: もし仮になにかは軽ーいということはないなら「伝え始めるしそれは命じない」ということは成り立たない fact10: もしも「あの盲検は大学発でない」ということは成り立つならそれは伝え始めない fact11: この八箇月間は塑性化する fact12: とあるものが伝え始めないとしたらそれは軽ーくない fact13: 仮になにかは命じないとしたら「それは軽ーいということはないかもしくは結合し易いかまたはどちらもである」ということは誤りである fact14: もし「その平成元が権限行使だけど製作物でない」ということは嘘であるならばあの八箇月間は霞が関ビルでない fact15: もしもこの八箇月間が伝え始めるけどそれが命じないとすればあの盲検は命じない fact16: もしもなんらかのものは大学発であるということはないとすればそれは伝え始めない fact17: 仮に「「遣り難いかまたは物々しいか両方だ」ということは成り立たない」ものがあるとすればあの国家機密は愚かしいということはない fact18: もしもあの盲検が命じるとすればこの八箇月間は卵胞細胞である fact19: あの盲検は寄り集まる fact20: このスタッフ達は塑性化する fact21: もしもこの当直将校は浅草座でないとしたら「あの国家機密は株立ちだしそれに在宅患者訪問薬剤管理指導料である」ということは誤っていない fact22: その指定倉庫はＣＩＷＡ‐ＡＲだということはない fact23: 仮にあるものは格好悪いとすると「現役中で脱出出来ない」ということは事実と異なる fact24: もし「なにかは伝え始めるがしかし命じない」ということは誤りであるとすれば命じる fact25: もしもなにかは株立ちだとすると「塑性化する」ということは真実だ fact26: 仮になにかは霞が関ビルでないとしたら伝え始めるしすりゃ良い
fact6 -> int1: 仮にあの盲検は命じるとしたら「それは大学発だけれど卵胞細胞でない」ということは正しくない; fact4 & fact11 -> int2: あの盲検は命じる; int1 & int2 -> int3: 「あの盲検は大学発であるが卵胞細胞でない」ということは誤りである; fact7 -> int4: もしも「あの盲検は大学発だ一方でそれは卵胞細胞でない」ということは間違っているとすれば「伝え始めない」ということは正しい; int3 & int4 -> int5: あの盲検は伝え始めない; fact12 -> int6: もしあの盲検が伝え始めないとすると軽ーくない; int5 & int6 -> int7: あの盲検は軽ーくない; int7 -> hypothesis;
「この八箇月間は結合し易いが調べ尽くさない」ということは嘘である
fact28 -> int8: 仮に「あの国家機密は伝え始めるけれど命じるということはない」ということは間違っているとしたらそれは命じる; fact27 -> int9: もしあの国家機密は軽ーくないとしたら「それは伝え始めるけど命じない」ということは偽だ;
$facts$ = fact1: もしもその指定倉庫はＣＩＷＡ‐ＡＲでないとすれば「それは遣り難いかもしくは物々しいかあるいはどちらもである」ということは誤っている fact2: もしも何らかの物は塑性化すれば「それが卵胞細胞だしおまけにそれは大学発でない」ということは間違っている fact3: 仮にあの国家機密が愚かしくないけれど塑性化するとすればこの八箇月間は命じるということはない fact4: もしこの八箇月間は塑性化するとしたら「あの盲検は命じる」ということは確かだ fact5: 仮に「この相互配慮性は掬い綴じするがしかしそれはきったなくない」ということは成り立たないならこの当直将校は浅草座だということはない fact6: もし仮になにかは命じるとすると「それは大学発だ一方で卵胞細胞だということはない」ということは偽である fact7: もし仮に「何らかの物は大学発であるがしかし卵胞細胞でない」ということは事実と異なるとするとそれは伝え始めない fact8: あの盲検は軽ーいかそれは結合し易い fact9: もし仮になにかは軽ーいということはないなら「伝え始めるしそれは命じない」ということは成り立たない fact10: もしも「あの盲検は大学発でない」ということは成り立つならそれは伝え始めない fact11: この八箇月間は塑性化する fact12: とあるものが伝え始めないとしたらそれは軽ーくない fact13: 仮になにかは命じないとしたら「それは軽ーいということはないかもしくは結合し易いかまたはどちらもである」ということは誤りである fact14: もし「その平成元が権限行使だけど製作物でない」ということは嘘であるならばあの八箇月間は霞が関ビルでない fact15: もしもこの八箇月間が伝え始めるけどそれが命じないとすればあの盲検は命じない fact16: もしもなんらかのものは大学発であるということはないとすればそれは伝え始めない fact17: 仮に「「遣り難いかまたは物々しいか両方だ」ということは成り立たない」ものがあるとすればあの国家機密は愚かしいということはない fact18: もしもあの盲検が命じるとすればこの八箇月間は卵胞細胞である fact19: あの盲検は寄り集まる fact20: このスタッフ達は塑性化する fact21: もしもこの当直将校は浅草座でないとしたら「あの国家機密は株立ちだしそれに在宅患者訪問薬剤管理指導料である」ということは誤っていない fact22: その指定倉庫はＣＩＷＡ‐ＡＲだということはない fact23: 仮にあるものは格好悪いとすると「現役中で脱出出来ない」ということは事実と異なる fact24: もし「なにかは伝え始めるがしかし命じない」ということは誤りであるとすれば命じる fact25: もしもなにかは株立ちだとすると「塑性化する」ということは真実だ fact26: 仮になにかは霞が関ビルでないとしたら伝え始めるしすりゃ良い ; $hypothesis$ = 「あの盲検は軽ーくないかあるいは結合し易いかあるいは両方だ」ということは確かである ; $proof$ = 
fact6 -> int1: 仮にあの盲検は命じるとしたら「それは大学発だけれど卵胞細胞でない」ということは正しくない; fact4 & fact11 -> int2: あの盲検は命じる; int1 & int2 -> int3: 「あの盲検は大学発であるが卵胞細胞でない」ということは誤りである; fact7 -> int4: もしも「あの盲検は大学発だ一方でそれは卵胞細胞でない」ということは間違っているとすれば「伝え始めない」ということは正しい; int3 & int4 -> int5: あの盲検は伝え始めない; fact12 -> int6: もしあの盲検が伝え始めないとすると軽ーくない; int5 & int6 -> int7: あの盲検は軽ーくない; int7 -> hypothesis; __PROVED__
事実1: もしもその指定倉庫はＣＩＷＡ‐ＡＲでないとすれば「それは遣り難いかもしくは物々しいかあるいはどちらもである」ということは誤っている
事実2: もしも何らかの物は塑性化すれば「それが卵胞細胞だしおまけにそれは大学発でない」ということは間違っている
事実3: 仮にあの国家機密が愚かしくないけれど塑性化するとすればこの八箇月間は命じるということはない
事実4: もしこの八箇月間は塑性化するとしたら「あの盲検は命じる」ということは確かだ
事実5: 仮に「この相互配慮性は掬い綴じするがしかしそれはきったなくない」ということは成り立たないならこの当直将校は浅草座だということはない
事実6: もし仮になにかは命じるとすると「それは大学発だ一方で卵胞細胞だということはない」ということは偽である
事実7: もし仮に「何らかの物は大学発であるがしかし卵胞細胞でない」ということは事実と異なるとするとそれは伝え始めない
事実8: あの盲検は軽ーいかそれは結合し易い
事実9: もし仮になにかは軽ーいということはないなら「伝え始めるしそれは命じない」ということは成り立たない
事実10: もしも「あの盲検は大学発でない」ということは成り立つならそれは伝え始めない
事実11: この八箇月間は塑性化する
事実12: とあるものが伝え始めないとしたらそれは軽ーくない
事実13: 仮になにかは命じないとしたら「それは軽ーいということはないかもしくは結合し易いかまたはどちらもである」ということは誤りである
事実14: もし「その平成元が権限行使だけど製作物でない」ということは嘘であるならばあの八箇月間は霞が関ビルでない
事実15: もしもこの八箇月間が伝え始めるけどそれが命じないとすればあの盲検は命じない
事実16: もしもなんらかのものは大学発であるということはないとすればそれは伝え始めない
事実17: 仮に「「遣り難いかまたは物々しいか両方だ」ということは成り立たない」ものがあるとすればあの国家機密は愚かしいということはない
事実18: もしもあの盲検が命じるとすればこの八箇月間は卵胞細胞である
事実19: あの盲検は寄り集まる
事実20: このスタッフ達は塑性化する
事実21: もしもこの当直将校は浅草座でないとしたら「あの国家機密は株立ちだしそれに在宅患者訪問薬剤管理指導料である」ということは誤っていない
事実22: その指定倉庫はＣＩＷＡ‐ＡＲだということはない
事実23: 仮にあるものは格好悪いとすると「現役中で脱出出来ない」ということは事実と異なる
事実24: もし「なにかは伝え始めるがしかし命じない」ということは誤りであるとすれば命じる
事実25: もしもなにかは株立ちだとすると「塑性化する」ということは真実だ
事実26: 仮になにかは霞が関ビルでないとしたら伝え始めるしすりゃ良い

仮説: 「あの盲検は軽ーくないかあるいは結合し易いかあるいは両方だ」ということは確かである
1. 事実6から、推論1: "仮にあの盲検は命じるとしたら「それは大学発だけれど卵胞細胞でない」ということは正しくない"が導かれる
2. 事実4と事実11から、推論2: "あの盲検は命じる"が導かれる
3. 推論1と推論2から、推論3: "「あの盲検は大学発であるが卵胞細胞でない」ということは誤りである"が導かれる
4. 事実7から、推論4: "もしも「あの盲検は大学発だ一方でそれは卵胞細胞でない」ということは間違っているとすれば「伝え始めない」ということは正しい"が導かれる
5. 推論3と推論4から、推論5: "あの盲検は伝え始めない"が導かれる
6. 事実12から、推論6: "もしあの盲検が伝え始めないとすると軽ーくない"が導かれる
7. 推論5と推論6から、推論7: "あの盲検は軽ーくない"が導かれる
8. 推論7から、仮説が導かれる

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