この十一号車は最終決定するということはない
fact1: もしもそのマンダラが最終決定するならばあの最恵国待遇は最終決定する fact2: 低しし成し難い物は支援すらない fact3: そのマンダラは副葬するということはない fact4: もしもこのリバティは副葬しないとしたら「そのマンダラは克服し得るがしかし使い易くない」ということは間違いだ fact5: この十一号車は参上するということはない fact6: この十一号車は使い易い fact7: その最恵国待遇が最終決定するならばあの十一号車は最終決定する fact8: 「この十一号車は甘い」ということは確かである fact9: 「この十一号車は使い易いということはない一方で甘い」ということは成り立たない fact10: この介護活動は副葬するということはない fact11: その最恵国待遇は最終決定しなくてしかも使い易くない fact12: もし「このリバティは格好悪いかもしくはそれは経緯でないかまたは両方である」ということは誤っているなら副葬しない fact13: もし仮にとある物が最終決定するしその上甘いとするとそれは克服し得ない fact14: もしこの十一号車が克服し得ないならばあの最恵国待遇は使い易くなくて克服し得ない fact15: そのマンダラは克服し得る fact16: 仮にそのマンダラは副葬しないなら「その最恵国待遇は使い易いけれど克服し得るということはない」ということは偽だ fact17: その最恵国待遇は使い易くない fact18: あのアロケーションサイズは最終決定しない fact19: もしもその最恵国待遇が使い易くないならそのマンダラは使い易いということはない fact20: 「その最恵国待遇は使い易いがしかし克服し得ない」ということは誤りである fact21: 「そのマンダラは副葬しなくてしかも甘くない」ということは事実と異なる fact22: もしそのマンダラは副葬しないなら「その最恵国待遇は使い易くないしかつそれは克服し得ない」ということは成り立たない fact23: この十一号車は副葬するということはない fact24: その同一条件は最終決定しない
void -> assump1: 以下のように仮定する。この十一号車は最終決定する; assump1 & fact8 -> int1: この十一号車は最終決定するし甘い; fact13 -> int2: もし仮にこの十一号車が最終決定するし甘いとしたら克服し得ない; int1 & int2 -> int3: この十一号車は克服し得ない; int3 & fact14 -> int4: その最恵国待遇は使い易いということはないし克服し得ない; fact3 & fact22 -> int5: 「その最恵国待遇は使い易くないし克服し得ない」ということは事実と異なる; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
この十一号車は最終決定する
$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: その同一条件は最終決定しない ; $hypothesis$ = この十一号車は最終決定するということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。この十一号車は最終決定する; assump1 & fact8 -> int1: この十一号車は最終決定するし甘い; fact13 -> int2: もし仮にこの十一号車が最終決定するし甘いとしたら克服し得ない; int1 & int2 -> int3: この十一号車は克服し得ない; int3 & fact14 -> int4: その最恵国待遇は使い易いということはないし克服し得ない; fact3 & fact22 -> int5: 「その最恵国待遇は使い易くないし克服し得ない」ということは事実と異なる; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> 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: その同一条件は最終決定しない

仮説: この十一号車は最終決定するということはない
1. 仮定1: 以下のように仮定する。この十一号車は最終決定する
2. 仮定1と事実8から、推論1: "この十一号車は最終決定するし甘い"が導かれる
3. 事実13から、推論2: "もし仮にこの十一号車が最終決定するし甘いとしたら克服し得ない"が導かれる
4. 推論1と推論2から、推論3: "この十一号車は克服し得ない"が導かれる
5. 推論3と事実14から、推論4: "その最恵国待遇は使い易いということはないし克服し得ない"が導かれる
6. 事実3と事実22から、推論5: "「その最恵国待遇は使い易くないし克服し得ない」ということは事実と異なる"が導かれる
7. 推論4と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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