この手弁当はシンプルＸだ
fact1: あの皇后両陛下は巻き付く fact2: あの皇后両陛下はザンギであるし巻き付く fact3: あの喚起は命中しない fact4: もしこの御叱りは話し終わるとすると「あの喚起は土埃である」ということは成り立つ fact5: もしなんらかのものが買うとするとそれはシンプルＸである fact6: もし仮にあるものはザンギでないとしたらそれは文字テキストである一方で物々しかない fact7: 「何かはシンプルＸであるが物々しかない」ということは事実と異なるとしたらシンプルＸでない fact8: もしもあの登録免許税は命中するとすれば「この手弁当はザンギだがしかしそれは文字テキストでない」ということは間違いである fact9: もし仮になにかは話し終わらないとしたら「それは命中しなくておまけにそれは土埃である」ということは成り立たない fact10: もし仮にあの喚起は土埃ならば「この手弁当は買う」ということは正しい fact11: もし仮に「何かはザンギだがしかし文字テキストであるということはない」ということは間違いであるとすると文字テキストだ fact12: もし仮にあの登録免許税が物々しかないならばこの御叱りは命中する fact13: 「文字テキストであるかまたは物々しいかあるいは両方な」ものはあるとすれば「あの皇后両陛下はザンギでない」ということは本当だ fact14: あの皇后両陛下はザンギだということはないか命中しない fact15: もしもなにかは命中するなら「それは話し終わる」ということは事実だ fact16: もし仮に「文字テキストな」物があるならあの皇后両陛下はザンギでない fact17: もし何らかの物は文字テキストだとしたら「それはシンプルＸであるし物々しかない」ということは嘘だ
void -> assump1: 以下のように仮定する。「あの登録免許税は物々しい」ということは本当である; assump1 -> int1: あの登録免許税は文字テキストであるかまたは物々しいかまたは両方ともである; int1 -> int2: 「文字テキストであるかまたは物々しいか両方である」物はある; int2 & fact13 -> int3: あの皇后両陛下はザンギでない; fact2 -> int4: あの皇后両陛下はザンギである; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの登録免許税は物々しかない; int6 & fact12 -> int7: 「この御叱りは命中する」ということは事実である; fact15 -> int8: 仮にこの御叱りが命中するとするとそれは話し終わる; int7 & int8 -> int9: この御叱りは話し終わる; int9 & fact4 -> int10: 「あの喚起は土埃である」ということは成り立つ; int10 & fact10 -> int11: この手弁当は買う; fact5 -> int12: もし仮にこの手弁当が買えばそれはシンプルＸである; int11 & int12 -> hypothesis;
この仕事着は巻き付くということはない
fact18 -> int13: 何らかの物はザンギでないかあるいはそれは命中しないかまたはどちらもだ;
$facts$ = fact1: あの皇后両陛下は巻き付く fact2: あの皇后両陛下はザンギであるし巻き付く fact3: あの喚起は命中しない fact4: もしこの御叱りは話し終わるとすると「あの喚起は土埃である」ということは成り立つ fact5: もしなんらかのものが買うとするとそれはシンプルＸである fact6: もし仮にあるものはザンギでないとしたらそれは文字テキストである一方で物々しかない fact7: 「何かはシンプルＸであるが物々しかない」ということは事実と異なるとしたらシンプルＸでない fact8: もしもあの登録免許税は命中するとすれば「この手弁当はザンギだがしかしそれは文字テキストでない」ということは間違いである fact9: もし仮になにかは話し終わらないとしたら「それは命中しなくておまけにそれは土埃である」ということは成り立たない fact10: もし仮にあの喚起は土埃ならば「この手弁当は買う」ということは正しい fact11: もし仮に「何かはザンギだがしかし文字テキストであるということはない」ということは間違いであるとすると文字テキストだ fact12: もし仮にあの登録免許税が物々しかないならばこの御叱りは命中する fact13: 「文字テキストであるかまたは物々しいかあるいは両方な」ものはあるとすれば「あの皇后両陛下はザンギでない」ということは本当だ fact14: あの皇后両陛下はザンギだということはないか命中しない fact15: もしもなにかは命中するなら「それは話し終わる」ということは事実だ fact16: もし仮に「文字テキストな」物があるならあの皇后両陛下はザンギでない fact17: もし何らかの物は文字テキストだとしたら「それはシンプルＸであるし物々しかない」ということは嘘だ ; $hypothesis$ = この手弁当はシンプルＸだ ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの登録免許税は物々しい」ということは本当である; assump1 -> int1: あの登録免許税は文字テキストであるかまたは物々しいかまたは両方ともである; int1 -> int2: 「文字テキストであるかまたは物々しいか両方である」物はある; int2 & fact13 -> int3: あの皇后両陛下はザンギでない; fact2 -> int4: あの皇后両陛下はザンギである; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの登録免許税は物々しかない; int6 & fact12 -> int7: 「この御叱りは命中する」ということは事実である; fact15 -> int8: 仮にこの御叱りが命中するとするとそれは話し終わる; int7 & int8 -> int9: この御叱りは話し終わる; int9 & fact4 -> int10: 「あの喚起は土埃である」ということは成り立つ; int10 & fact10 -> int11: この手弁当は買う; fact5 -> int12: もし仮にこの手弁当が買えばそれはシンプルＸである; int11 & int12 -> hypothesis; __PROVED__
事実1: あの皇后両陛下は巻き付く
事実2: あの皇后両陛下はザンギであるし巻き付く
事実3: あの喚起は命中しない
事実4: もしこの御叱りは話し終わるとすると「あの喚起は土埃である」ということは成り立つ
事実5: もしなんらかのものが買うとするとそれはシンプルＸである
事実6: もし仮にあるものはザンギでないとしたらそれは文字テキストである一方で物々しかない
事実7: 「何かはシンプルＸであるが物々しかない」ということは事実と異なるとしたらシンプルＸでない
事実8: もしもあの登録免許税は命中するとすれば「この手弁当はザンギだがしかしそれは文字テキストでない」ということは間違いである
事実9: もし仮になにかは話し終わらないとしたら「それは命中しなくておまけにそれは土埃である」ということは成り立たない
事実10: もし仮にあの喚起は土埃ならば「この手弁当は買う」ということは正しい
事実11: もし仮に「何かはザンギだがしかし文字テキストであるということはない」ということは間違いであるとすると文字テキストだ
事実12: もし仮にあの登録免許税が物々しかないならばこの御叱りは命中する
事実13: 「文字テキストであるかまたは物々しいかあるいは両方な」ものはあるとすれば「あの皇后両陛下はザンギでない」ということは本当だ
事実14: あの皇后両陛下はザンギだということはないか命中しない
事実15: もしもなにかは命中するなら「それは話し終わる」ということは事実だ
事実16: もし仮に「文字テキストな」物があるならあの皇后両陛下はザンギでない
事実17: もし何らかの物は文字テキストだとしたら「それはシンプルＸであるし物々しかない」ということは嘘だ

仮説: この手弁当はシンプルＸだ
1. 仮定1: 以下のように仮定する。「あの登録免許税は物々しい」ということは本当である
2. 仮定1から、推論1: "あの登録免許税は文字テキストであるかまたは物々しいかまたは両方ともである"が導かれる
3. 推論1から、推論2: "「文字テキストであるかまたは物々しいか両方である」物はある"が導かれる
4. 推論2と事実13から、推論3: "あの皇后両陛下はザンギでない"が導かれる
5. 事実2から、推論4: "あの皇后両陛下はザンギである"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "あの登録免許税は物々しかない"が導かれる
8. 推論6と事実12から、推論7: "「この御叱りは命中する」ということは事実である"が導かれる
9. 事実15から、推論8: "仮にこの御叱りが命中するとするとそれは話し終わる"が導かれる
10. 推論7と推論8から、推論9: "この御叱りは話し終わる"が導かれる
11. 推論9と事実4から、推論10: "「あの喚起は土埃である」ということは成り立つ"が導かれる
12. 推論10と事実10から、推論11: "この手弁当は買う"が導かれる
13. 事実5から、推論12: "もし仮にこの手弁当が買えばそれはシンプルＸである"が導かれる
14. 推論11と推論12から、仮説が導かれる

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