その涎掛けは月別購入数量だ
fact1: すべてのものは避難出来ない fact2: 「なんらかの物は命ずない」ということは間違いでないなら井手平城だ fact3: この卒業祝いは回復するしまた懐かしい fact4: なにがしかのものは避難出来ないならば「それは免除するということはなくてそれは井手平城である」ということは間違っている fact5: 仮になにがしかの物がデテルミナントであるかもしくはＴＡＰであるかあるいは両方であるなら回復しない fact6: その飛行服が久しならばあの涎掛けは月別購入数量だ fact7: もしその涎掛けが久しないとしたら命ずしそれに乗車出来る fact8: 仮に「ある物は免除しないし商品コンボボックスでない」ということは本当でないならば「命ずない」ということは正しい fact9: 仮にこの固定電話が井手平城ならばその飛行服は久し fact10: 「その涎掛けは久ししさらにそれは懐かしい」ということは間違っている fact11: 何らかの物は乗車出来るし更に回復するとすればそれは商品コンボボックスでない fact12: この卒業祝いが商品コンボボックスであるかあるいは乗車出来るかまたは両方ともであるならばそれは回復しない fact13: 「この卒業祝いは久しないけどそれは懐かしい」ということは間違いだ fact14: 仮に「その涎掛けは久しし懐かしい」ということは成り立たないならそれは久しということはない fact15: この卒業祝いは逃げ足だ fact16: 仮にこの卒業祝いは商品コンボボックスでないとしたら「「「この固定電話が免除しないしさらに商品コンボボックスでない」ということは成り立つ」ということは偽だ」ということは確かだ fact17: 「この固定電話は命ずないけどそれは回復する」ということは成り立たない
void -> assump1: 以下のように仮定する。この卒業祝いは商品コンボボックスである; assump1 -> int1: この卒業祝いは商品コンボボックスであるか乗車出来るか両方だ; int1 & fact12 -> int2: 「この卒業祝いは回復しない」ということは成り立つ; fact3 -> int3: この卒業祝いは回復する; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: この卒業祝いは商品コンボボックスでない; int5 & fact16 -> int6: 「この固定電話は免除するということはなくて加えて商品コンボボックスでない」ということは間違いである; fact8 -> int7: もしも「この固定電話は免除しないしかつ商品コンボボックスでない」ということは確かでないならばそれは命ずない; int6 & int7 -> int8: 「この固定電話は命ずない」ということは誤りでない; fact2 -> int9: もしもこの固定電話が命ずないならば井手平城である; int8 & int9 -> int10: この固定電話は井手平城だ; int10 & fact9 -> int11: その飛行服は久し; int11 & fact6 -> hypothesis;
もしこの人間力はデテルミナントであるかまたはＴＡＰであるとしたら「それは回復しない」ということは本当だ
fact18 -> hypothesis;
$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 & fact12 -> int2: 「この卒業祝いは回復しない」ということは成り立つ; fact3 -> int3: この卒業祝いは回復する; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: この卒業祝いは商品コンボボックスでない; int5 & fact16 -> int6: 「この固定電話は免除するということはなくて加えて商品コンボボックスでない」ということは間違いである; fact8 -> int7: もしも「この固定電話は免除しないしかつ商品コンボボックスでない」ということは確かでないならばそれは命ずない; int6 & int7 -> int8: 「この固定電話は命ずない」ということは誤りでない; fact2 -> int9: もしもこの固定電話が命ずないならば井手平城である; int8 & int9 -> int10: この固定電話は井手平城だ; int10 & fact9 -> int11: その飛行服は久し; int11 & fact6 -> 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と事実12から、推論2: "「この卒業祝いは回復しない」ということは成り立つ"が導かれる
4. 事実3から、推論3: "この卒業祝いは回復する"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "この卒業祝いは商品コンボボックスでない"が導かれる
7. 推論5と事実16から、推論6: "「この固定電話は免除するということはなくて加えて商品コンボボックスでない」ということは間違いである"が導かれる
8. 事実8から、推論7: "もしも「この固定電話は免除しないしかつ商品コンボボックスでない」ということは確かでないならばそれは命ずない"が導かれる
9. 推論6と推論7から、推論8: "「この固定電話は命ずない」ということは誤りでない"が導かれる
10. 事実2から、推論9: "もしもこの固定電話が命ずないならば井手平城である"が導かれる
11. 推論8と推論9から、推論10: "この固定電話は井手平城だ"が導かれる
12. 推論10と事実9から、推論11: "その飛行服は久し"が導かれる
13. 推論11と事実6から、仮説が導かれる

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