この戦利品は銅銭である
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: もし仮に「「赤っぽくて部落出身者でない」ということは事実と異なる」物があるとすればあの国連総会は分厚い fact27: あのショットグラスは仕事らしいということはない
fact1 & fact26 -> int1: この国連総会は分厚い; fact2 & fact14 & fact7 -> int2: この国連総会は卵膜でない; int1 & int2 -> int3: この国連総会は分厚いけどそれは卵膜でない; int3 & fact13 -> int4: あのショットグラスは国運だ; int4 & fact21 -> int5: 「この三次元空間は嘘っぽいがしかし国運でない」ということは誤りだ; int5 & fact25 -> hypothesis;
「「とろいけれどきもくない」ということは誤っている」ものはある
fact28 -> int6: 「この国連総会は分厚くない」ということは成り立つとすると「とろくてきもくない」ということは成り立つということはない; fact34 -> int7: もしこの国連総会は国運でなくて卵膜でないとすると分厚いということはない; fact33 -> int8: もし仮にこの社会的企業が黙り続けないならばそれは発生し難い一方で躱し切れるということはない; fact30 & fact29 -> int9: その訓練プログラムは身体的特徴である; fact32 & int9 -> int10: 「その訓練プログラムは所有状況でないけれど絶え間無い」ということは成り立たない; fact35 & int10 -> int11: この社会的企業は黙り続けない; int8 & int11 -> int12: この社会的企業は発生し難い一方で躱し切れない; fact36 & int12 -> int13: この戦利品は躱し切れる; int13 -> int14: 「躱し切れる」物はある; int14 & fact37 -> int15: 「この三次元空間は銅銭であるということはないしまたそれは仕事らしくない」ということは成り立たない; fact31 & int15 -> int16: 「あのショットグラスは嘘っぽい」ということは事実である; int16 -> int17: とあるものは嘘っぽい;
$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: もし仮に「「赤っぽくて部落出身者でない」ということは事実と異なる」物があるとすればあの国連総会は分厚い fact27: あのショットグラスは仕事らしいということはない ; $hypothesis$ = この戦利品は銅銭である ; $proof$ = 
fact1 & fact26 -> int1: この国連総会は分厚い; fact2 & fact14 & fact7 -> int2: この国連総会は卵膜でない; int1 & int2 -> int3: この国連総会は分厚いけどそれは卵膜でない; int3 & fact13 -> int4: あのショットグラスは国運だ; int4 & fact21 -> int5: 「この三次元空間は嘘っぽいがしかし国運でない」ということは誤りだ; int5 & fact25 -> 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: もし仮に「「赤っぽくて部落出身者でない」ということは事実と異なる」物があるとすればあの国連総会は分厚い
事実27: あのショットグラスは仕事らしいということはない

仮説: この戦利品は銅銭である
1. 事実1と事実26から、推論1: "この国連総会は分厚い"が導かれる
2. 事実2と事実14と事実7から、推論2: "この国連総会は卵膜でない"が導かれる
3. 推論1と推論2から、推論3: "この国連総会は分厚いけどそれは卵膜でない"が導かれる
4. 推論3と事実13から、推論4: "あのショットグラスは国運だ"が導かれる
5. 推論4と事実21から、推論5: "「この三次元空間は嘘っぽいがしかし国運でない」ということは誤りだ"が導かれる
6. 推論5と事実25から、仮説が導かれる

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