もしもその中屋敷は残り難いとすると「その発注費用は利用し辛くないしその上中古であるということはない」ということは本当でない
fact1: 仮にその発注費用は謀議でないとすると「その中屋敷は中古である一方で謀議でない」ということは成り立たない fact2: 「あの塩化ビニールは中古であるがそれは端折らない」ということは成り立たない fact3: もしその発注費用が日割り計算するということはないならその中屋敷は中古だしそれに残り難い fact4: 「その中屋敷は中古であるがしかし残り難くない」ということは事実と異なる fact5: あの塩化ビニールは中古だとすれば「その中屋敷は端折る一方で謀議でない」ということは成り立つということはない fact6: もしも「あの塩化ビニールは端折る」ということは本当であるならば「その発注費用は利用し辛くないがそれは中古である」ということは嘘である fact7: 「その中屋敷は謀議である一方で残り難くない」ということは成り立たないとすれば利用し辛い fact8: 仮に「ある物は端折るがしかし謀議でない」ということは成り立たないならば残り難くない fact9: もしその中屋敷は利用し辛いとしたら「その発注費用は残り難いしまた中古だ」ということは嘘である fact10: あの基本設定は蓑虫でないなら利用し辛くて加えて沈線である fact11: もしも「あるものは残り難いけど中古でない」ということは偽であるならば「それは謀議でない」ということは成り立つ fact12: 仮にあの塩化ビニールは端折るとすれば「その中屋敷は残り難くてかつそれは中古である」ということは成り立たない fact13: もし仮にその中屋敷は残り難くないとしたら「あの塩化ビニールは中古でないけどそれは残り難い」ということは誤っている fact14: もしもあの基本設定が日割り計算するかまたは沈線ならばその発注費用は日割り計算しない fact15: その中屋敷は一儀でない fact16: もしも「とあるものは中古だが謀議でない」ということは間違いなら残り難い fact17: 「その中屋敷は中古であるとすると「あの塩化ビニールは謀議でないけど残り難い」ということは事実と異なる」ということは本当である fact18: その国同士は中古でない fact19: もし仮に「あの塩化ビニールは中古でない」ということは確かであるとすると「その発注費用は利用し辛いということはなくてそれに中古でない」ということは成り立たない fact20: あの最高支配者は端折らない fact21: もし「なにがしかのものは利用し辛いがしかしそれは残り難いということはない」ということは成り立たないならば中古でない
void -> assump1: 以下のように仮定する。あの塩化ビニールは中古だ; fact5 & assump1 -> int1: 「その中屋敷は端折るが謀議でない」ということは間違っている; fact8 -> int2: 仮に「その中屋敷は端折るけど謀議でない」ということは事実と異なるとするとそれは残り難くない; int1 & int2 -> int3: その中屋敷は残り難くない; void -> assump2: 以下のように仮定する。その中屋敷は残り難い; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの塩化ビニールは中古でない; int5 & fact19 -> int6: 「その発注費用は利用し辛くないし中古でない」ということは成り立たない; [assump2] & int6 -> hypothesis;
あの塩化ビニールは端折る
$facts$ = fact1: 仮にその発注費用は謀議でないとすると「その中屋敷は中古である一方で謀議でない」ということは成り立たない fact2: 「あの塩化ビニールは中古であるがそれは端折らない」ということは成り立たない fact3: もしその発注費用が日割り計算するということはないならその中屋敷は中古だしそれに残り難い fact4: 「その中屋敷は中古であるがしかし残り難くない」ということは事実と異なる fact5: あの塩化ビニールは中古だとすれば「その中屋敷は端折る一方で謀議でない」ということは成り立つということはない fact6: もしも「あの塩化ビニールは端折る」ということは本当であるならば「その発注費用は利用し辛くないがそれは中古である」ということは嘘である fact7: 「その中屋敷は謀議である一方で残り難くない」ということは成り立たないとすれば利用し辛い fact8: 仮に「ある物は端折るがしかし謀議でない」ということは成り立たないならば残り難くない fact9: もしその中屋敷は利用し辛いとしたら「その発注費用は残り難いしまた中古だ」ということは嘘である fact10: あの基本設定は蓑虫でないなら利用し辛くて加えて沈線である fact11: もしも「あるものは残り難いけど中古でない」ということは偽であるならば「それは謀議でない」ということは成り立つ fact12: 仮にあの塩化ビニールは端折るとすれば「その中屋敷は残り難くてかつそれは中古である」ということは成り立たない fact13: もし仮にその中屋敷は残り難くないとしたら「あの塩化ビニールは中古でないけどそれは残り難い」ということは誤っている fact14: もしもあの基本設定が日割り計算するかまたは沈線ならばその発注費用は日割り計算しない fact15: その中屋敷は一儀でない fact16: もしも「とあるものは中古だが謀議でない」ということは間違いなら残り難い fact17: 「その中屋敷は中古であるとすると「あの塩化ビニールは謀議でないけど残り難い」ということは事実と異なる」ということは本当である fact18: その国同士は中古でない fact19: もし仮に「あの塩化ビニールは中古でない」ということは確かであるとすると「その発注費用は利用し辛いということはなくてそれに中古でない」ということは成り立たない fact20: あの最高支配者は端折らない fact21: もし「なにがしかのものは利用し辛いがしかしそれは残り難いということはない」ということは成り立たないならば中古でない ; $hypothesis$ = もしもその中屋敷は残り難いとすると「その発注費用は利用し辛くないしその上中古であるということはない」ということは本当でない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの塩化ビニールは中古だ; fact5 & assump1 -> int1: 「その中屋敷は端折るが謀議でない」ということは間違っている; fact8 -> int2: 仮に「その中屋敷は端折るけど謀議でない」ということは事実と異なるとするとそれは残り難くない; int1 & int2 -> int3: その中屋敷は残り難くない; void -> assump2: 以下のように仮定する。その中屋敷は残り難い; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの塩化ビニールは中古でない; int5 & fact19 -> int6: 「その発注費用は利用し辛くないし中古でない」ということは成り立たない; [assump2] & int6 -> hypothesis; __PROVED__
事実1: 仮にその発注費用は謀議でないとすると「その中屋敷は中古である一方で謀議でない」ということは成り立たない
事実2: 「あの塩化ビニールは中古であるがそれは端折らない」ということは成り立たない
事実3: もしその発注費用が日割り計算するということはないならその中屋敷は中古だしそれに残り難い
事実4: 「その中屋敷は中古であるがしかし残り難くない」ということは事実と異なる
事実5: あの塩化ビニールは中古だとすれば「その中屋敷は端折る一方で謀議でない」ということは成り立つということはない
事実6: もしも「あの塩化ビニールは端折る」ということは本当であるならば「その発注費用は利用し辛くないがそれは中古である」ということは嘘である
事実7: 「その中屋敷は謀議である一方で残り難くない」ということは成り立たないとすれば利用し辛い
事実8: 仮に「ある物は端折るがしかし謀議でない」ということは成り立たないならば残り難くない
事実9: もしその中屋敷は利用し辛いとしたら「その発注費用は残り難いしまた中古だ」ということは嘘である
事実10: あの基本設定は蓑虫でないなら利用し辛くて加えて沈線である
事実11: もしも「あるものは残り難いけど中古でない」ということは偽であるならば「それは謀議でない」ということは成り立つ
事実12: 仮にあの塩化ビニールは端折るとすれば「その中屋敷は残り難くてかつそれは中古である」ということは成り立たない
事実13: もし仮にその中屋敷は残り難くないとしたら「あの塩化ビニールは中古でないけどそれは残り難い」ということは誤っている
事実14: もしもあの基本設定が日割り計算するかまたは沈線ならばその発注費用は日割り計算しない
事実15: その中屋敷は一儀でない
事実16: もしも「とあるものは中古だが謀議でない」ということは間違いなら残り難い
事実17: 「その中屋敷は中古であるとすると「あの塩化ビニールは謀議でないけど残り難い」ということは事実と異なる」ということは本当である
事実18: その国同士は中古でない
事実19: もし仮に「あの塩化ビニールは中古でない」ということは確かであるとすると「その発注費用は利用し辛いということはなくてそれに中古でない」ということは成り立たない
事実20: あの最高支配者は端折らない
事実21: もし「なにがしかのものは利用し辛いがしかしそれは残り難いということはない」ということは成り立たないならば中古でない

仮説: もしもその中屋敷は残り難いとすると「その発注費用は利用し辛くないしその上中古であるということはない」ということは本当でない
1. 仮定1: 以下のように仮定する。あの塩化ビニールは中古だ
2. 事実5と仮定1から、推論1: "「その中屋敷は端折るが謀議でない」ということは間違っている"が導かれる
3. 事実8から、推論2: "仮に「その中屋敷は端折るけど謀議でない」ということは事実と異なるとするとそれは残り難くない"が導かれる
4. 推論1と推論2から、推論3: "その中屋敷は残り難くない"が導かれる
5. 仮定2: 以下のように仮定する。その中屋敷は残り難い
6. 推論3と仮定2から、推論4: "これは矛盾である"が導かれる
7. [仮定1]と推論4から、推論5: "あの塩化ビニールは中古でない"が導かれる
8. 推論5と事実19から、推論6: "「その発注費用は利用し辛くないし中古でない」ということは成り立たない"が導かれる
9. [仮定2]と推論6から、仮説が導かれる

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