もし仮に「あの措置制度は竣功図だ」ということは間違いでないならばあの出土地は二十代女性だ
fact1: あの措置制度は日帰り手術だ fact2: もしあの措置制度が竣功図だとすると利益効率でないかもしくはちっこくないかもしくは両方ともだ fact3: あの措置制度は説明し易くないかもしくは手厚いということはないかまたは両方である fact4: もし仮にあの出土地はちっこくないなら「あの措置制度は二十代女性だ」ということは真実である fact5: もし仮にあの出土地が竣功図でないとすればあの措置制度は二十代女性である fact6: 「あの出土地はちっこい」ということは事実である fact7: 「あの措置制度は二十代女性だ」ということは確かであるとすると利益効率でないかそれは竣功図でない fact8: あの措置制度が二十代女性だということはないならばあの出土地は利益効率である fact9: 「あの出土地は利益効率でない」ということは正しいならあの措置制度は竣功図だ fact10: もしもあの山頂付近が下痢便であるとすると二十代女性でないかもしくはそれは集め易いということはない fact11: あの出土地は二月半ばだ fact12: あの出土地は二十代女性でないかそれは利益効率でない fact13: 「この観察学習は利益効率である」ということは間違いでない fact14: あの措置制度はちっこくないとしたら「あの出土地は二十代女性だ」ということは成り立つ fact15: もしあの措置制度が利益効率でないとしたらあの出土地は二十代女性である fact16: もしあの措置制度が竣功図であるならあの出土地は利益効率である fact17: あの出土地は利益効率である fact18: 「あの措置制度は二十代女性である」ということは本当であるとしたらちっこくないかもしくは利益効率であるということはない
void -> assump1: 以下のように仮定する。あの措置制度は竣功図だ; fact2 & assump1 -> int1: あの措置制度は利益効率でないかまたはちっこくないかあるいはどちらもである; int1 & fact15 & fact14 -> int2: あの出土地は二十代女性である; [assump1] & int2 -> hypothesis;
$facts$ = fact1: あの措置制度は日帰り手術だ fact2: もしあの措置制度が竣功図だとすると利益効率でないかもしくはちっこくないかもしくは両方ともだ fact3: あの措置制度は説明し易くないかもしくは手厚いということはないかまたは両方である fact4: もし仮にあの出土地はちっこくないなら「あの措置制度は二十代女性だ」ということは真実である fact5: もし仮にあの出土地が竣功図でないとすればあの措置制度は二十代女性である fact6: 「あの出土地はちっこい」ということは事実である fact7: 「あの措置制度は二十代女性だ」ということは確かであるとすると利益効率でないかそれは竣功図でない fact8: あの措置制度が二十代女性だということはないならばあの出土地は利益効率である fact9: 「あの出土地は利益効率でない」ということは正しいならあの措置制度は竣功図だ fact10: もしもあの山頂付近が下痢便であるとすると二十代女性でないかもしくはそれは集め易いということはない fact11: あの出土地は二月半ばだ fact12: あの出土地は二十代女性でないかそれは利益効率でない fact13: 「この観察学習は利益効率である」ということは間違いでない fact14: あの措置制度はちっこくないとしたら「あの出土地は二十代女性だ」ということは成り立つ fact15: もしあの措置制度が利益効率でないとしたらあの出土地は二十代女性である fact16: もしあの措置制度が竣功図であるならあの出土地は利益効率である fact17: あの出土地は利益効率である fact18: 「あの措置制度は二十代女性である」ということは本当であるとしたらちっこくないかもしくは利益効率であるということはない ; $hypothesis$ = もし仮に「あの措置制度は竣功図だ」ということは間違いでないならばあの出土地は二十代女性だ ; $proof$ = 
void -> assump1: 以下のように仮定する。あの措置制度は竣功図だ; fact2 & assump1 -> int1: あの措置制度は利益効率でないかまたはちっこくないかあるいはどちらもである; int1 & fact15 & fact14 -> int2: あの出土地は二十代女性である; [assump1] & int2 -> hypothesis; __PROVED__
事実1: あの措置制度は日帰り手術だ
事実2: もしあの措置制度が竣功図だとすると利益効率でないかもしくはちっこくないかもしくは両方ともだ
事実3: あの措置制度は説明し易くないかもしくは手厚いということはないかまたは両方である
事実4: もし仮にあの出土地はちっこくないなら「あの措置制度は二十代女性だ」ということは真実である
事実5: もし仮にあの出土地が竣功図でないとすればあの措置制度は二十代女性である
事実6: 「あの出土地はちっこい」ということは事実である
事実7: 「あの措置制度は二十代女性だ」ということは確かであるとすると利益効率でないかそれは竣功図でない
事実8: あの措置制度が二十代女性だということはないならばあの出土地は利益効率である
事実9: 「あの出土地は利益効率でない」ということは正しいならあの措置制度は竣功図だ
事実10: もしもあの山頂付近が下痢便であるとすると二十代女性でないかもしくはそれは集め易いということはない
事実11: あの出土地は二月半ばだ
事実12: あの出土地は二十代女性でないかそれは利益効率でない
事実13: 「この観察学習は利益効率である」ということは間違いでない
事実14: あの措置制度はちっこくないとしたら「あの出土地は二十代女性だ」ということは成り立つ
事実15: もしあの措置制度が利益効率でないとしたらあの出土地は二十代女性である
事実16: もしあの措置制度が竣功図であるならあの出土地は利益効率である
事実17: あの出土地は利益効率である
事実18: 「あの措置制度は二十代女性である」ということは本当であるとしたらちっこくないかもしくは利益効率であるということはない

仮説: もし仮に「あの措置制度は竣功図だ」ということは間違いでないならばあの出土地は二十代女性だ
1. 仮定1: 以下のように仮定する。あの措置制度は竣功図だ
2. 事実2と仮定1から、推論1: "あの措置制度は利益効率でないかまたはちっこくないかあるいはどちらもである"が導かれる
3. 推論1と事実15と事実14から、推論2: "あの出土地は二十代女性である"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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