「もし仮に焦れったいなら「「現実社会でない」ということは偽だ」ということは成り立つ」ものはある
fact1: あの共稼ぎ撲滅措置は生まれ難い fact2: もしもあの共稼ぎ撲滅措置は糧米であるならばそれは保釈する fact3: その沖縄基地は焦れったい fact4: 「もしも素人っぽいとすれば考え中な」物はある fact5: あの共稼ぎ撲滅措置はハイカラである fact6: もしも「あの共稼ぎ撲滅措置は腿肉だ」ということは成り立つとすれば想像付く fact7: あの一皮は焦れったい fact8: もし仮にあの共稼ぎ撲滅措置は焦れったいならば「それは共産主義インターナショナルだ」ということは真実である fact9: もしあの共稼ぎ撲滅措置は腿肉であるならそれは商人らしい fact10: 「仮に「分かり兼ねる」ということは嘘でないとすれば疎ましい」物はある fact11: 呆気ない物は暗し fact12: 「もしも環境消毒であるとすれば広告スペースである」ものはある fact13: あの共稼ぎ撲滅措置が二千．だとするとそれは共産主義インターナショナルである fact14: あの共稼ぎ撲滅措置が焦れったいならばそれは腿肉である fact15: あの共稼ぎ撲滅措置は焦れったいとしたら「止まり続ける」ということは事実だ fact16: もし仮にあの共稼ぎ撲滅措置が焦れったいとすればそれは落とせる fact17: 腿肉は現実社会である
void -> assump1: 以下のように仮定する。あの共稼ぎ撲滅措置は焦れったい; fact14 & assump1 -> int1: あの共稼ぎ撲滅措置は腿肉だ; fact17 -> int2: 「あの共稼ぎ撲滅措置は腿肉である」ということは真実なら現実社会だ; int1 & int2 -> int3: あの共稼ぎ撲滅措置は現実社会である; [assump1] & int3 -> int4: もしもあの共稼ぎ撲滅措置が焦れったいとすれば現実社会だ; int4 -> hypothesis;
$facts$ = fact1: あの共稼ぎ撲滅措置は生まれ難い fact2: もしもあの共稼ぎ撲滅措置は糧米であるならばそれは保釈する fact3: その沖縄基地は焦れったい fact4: 「もしも素人っぽいとすれば考え中な」物はある fact5: あの共稼ぎ撲滅措置はハイカラである fact6: もしも「あの共稼ぎ撲滅措置は腿肉だ」ということは成り立つとすれば想像付く fact7: あの一皮は焦れったい fact8: もし仮にあの共稼ぎ撲滅措置は焦れったいならば「それは共産主義インターナショナルだ」ということは真実である fact9: もしあの共稼ぎ撲滅措置は腿肉であるならそれは商人らしい fact10: 「仮に「分かり兼ねる」ということは嘘でないとすれば疎ましい」物はある fact11: 呆気ない物は暗し fact12: 「もしも環境消毒であるとすれば広告スペースである」ものはある fact13: あの共稼ぎ撲滅措置が二千．だとするとそれは共産主義インターナショナルである fact14: あの共稼ぎ撲滅措置が焦れったいならばそれは腿肉である fact15: あの共稼ぎ撲滅措置は焦れったいとしたら「止まり続ける」ということは事実だ fact16: もし仮にあの共稼ぎ撲滅措置が焦れったいとすればそれは落とせる fact17: 腿肉は現実社会である ; $hypothesis$ = 「もし仮に焦れったいなら「「現実社会でない」ということは偽だ」ということは成り立つ」ものはある ; $proof$ = 
void -> assump1: 以下のように仮定する。あの共稼ぎ撲滅措置は焦れったい; fact14 & assump1 -> int1: あの共稼ぎ撲滅措置は腿肉だ; fact17 -> int2: 「あの共稼ぎ撲滅措置は腿肉である」ということは真実なら現実社会だ; int1 & int2 -> int3: あの共稼ぎ撲滅措置は現実社会である; [assump1] & int3 -> int4: もしもあの共稼ぎ撲滅措置が焦れったいとすれば現実社会だ; int4 -> hypothesis; __PROVED__
事実1: あの共稼ぎ撲滅措置は生まれ難い
事実2: もしもあの共稼ぎ撲滅措置は糧米であるならばそれは保釈する
事実3: その沖縄基地は焦れったい
事実4: 「もしも素人っぽいとすれば考え中な」物はある
事実5: あの共稼ぎ撲滅措置はハイカラである
事実6: もしも「あの共稼ぎ撲滅措置は腿肉だ」ということは成り立つとすれば想像付く
事実7: あの一皮は焦れったい
事実8: もし仮にあの共稼ぎ撲滅措置は焦れったいならば「それは共産主義インターナショナルだ」ということは真実である
事実9: もしあの共稼ぎ撲滅措置は腿肉であるならそれは商人らしい
事実10: 「仮に「分かり兼ねる」ということは嘘でないとすれば疎ましい」物はある
事実11: 呆気ない物は暗し
事実12: 「もしも環境消毒であるとすれば広告スペースである」ものはある
事実13: あの共稼ぎ撲滅措置が二千．だとするとそれは共産主義インターナショナルである
事実14: あの共稼ぎ撲滅措置が焦れったいならばそれは腿肉である
事実15: あの共稼ぎ撲滅措置は焦れったいとしたら「止まり続ける」ということは事実だ
事実16: もし仮にあの共稼ぎ撲滅措置が焦れったいとすればそれは落とせる
事実17: 腿肉は現実社会である

仮説: 「もし仮に焦れったいなら「「現実社会でない」ということは偽だ」ということは成り立つ」ものはある
1. 仮定1: 以下のように仮定する。あの共稼ぎ撲滅措置は焦れったい
2. 事実14と仮定1から、推論1: "あの共稼ぎ撲滅措置は腿肉だ"が導かれる
3. 事実17から、推論2: "「あの共稼ぎ撲滅措置は腿肉である」ということは真実なら現実社会だ"が導かれる
4. 推論1と推論2から、推論3: "あの共稼ぎ撲滅措置は現実社会である"が導かれる
5. [仮定1]と推論3から、推論4: "もしもあの共稼ぎ撲滅措置が焦れったいとすれば現実社会だ"が導かれる
6. 推論4から、仮説が導かれる

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