「もしも天災地変であるし発現し易いならば最低気温でない」物はある
fact1: この合成繊維が飯盒でないならばあの満身は飯盒である fact2: どれもこれもは最低気温であるし更に賛成だ fact3: 何かは発現し易くないとしたら漏れ無くないかそれは天災地変でないかあるいはどちらもだ fact4: もし仮にこの満身が凄くなくてしかもそれは発現し易くないなら「この規制上は発現し易くない」ということは真実である fact5: この満身が欲深いとすれば凄いということはなくておまけに発現し易くない fact6: 「天災地変は物象化するということはない」ということは成り立つ fact7: もしこの規制上が漏れ無いということはないかまたは天災地変でないならこの盛り蕎麦は天災地変だ fact8: もしとあるものは最低気温であるとするとすばしこい fact9: 「「この規制上は天災地変だが漏れ無くない」ということは偽である」ということは嘘でない fact10: この合成繊維は飯盒でない fact11: もしもとある物が漏れ無いとするとそれは凄くてかつ最低気温でない
void -> assump2: 以下のように仮定する。この規制上は天災地変だし加えて発現し易い; assump2 -> int1: この規制上は天災地変である; void -> assump1: 以下のように仮定する。この規制上は漏れ無くない; int1 & assump1 -> int2: この規制上は天災地変で漏れ無くない; int2 & fact9 -> int3: これは矛盾である; [assump1] & int3 -> int4: この規制上は漏れ無い; fact11 -> int5: もし仮にこの規制上が漏れ無いならばそれが凄いしその上それは最低気温でない; int4 & int5 -> int6: この規制上は凄いけど最低気温でない; int6 -> int7: この規制上は最低気温でない; [assump2] & int7 -> int8: もしもこの規制上は天災地変であるし発現し易いとすると最低気温でない; int8 -> hypothesis;
この盛り蕎麦はすばしこいが物象化しない
fact18 -> int9: 仮にこの盛り蕎麦が天災地変だとしたらそれは物象化しない; fact20 & fact17 -> int10: この満身は飯盒だ; fact14 -> int11: もし仮にこの規制上は発現し易くないなら「漏れ無くないかもしくはそれは天災地変でない」ということは正しい; fact15 -> int12: その侍達は最低気温だしさらに賛成である; int12 -> int13: その侍達は最低気温だ; int13 -> int14: 何もかもは最低気温だ; int14 -> int15: この盛り蕎麦は最低気温である; fact19 -> int16: 仮にこの盛り蕎麦は最低気温だとしたら「それはすばしこい」ということは成り立つ; int15 & int16 -> int17: この盛り蕎麦はすばしこい;
$facts$ = fact1: この合成繊維が飯盒でないならばあの満身は飯盒である fact2: どれもこれもは最低気温であるし更に賛成だ fact3: 何かは発現し易くないとしたら漏れ無くないかそれは天災地変でないかあるいはどちらもだ fact4: もし仮にこの満身が凄くなくてしかもそれは発現し易くないなら「この規制上は発現し易くない」ということは真実である fact5: この満身が欲深いとすれば凄いということはなくておまけに発現し易くない fact6: 「天災地変は物象化するということはない」ということは成り立つ fact7: もしこの規制上が漏れ無いということはないかまたは天災地変でないならこの盛り蕎麦は天災地変だ fact8: もしとあるものは最低気温であるとするとすばしこい fact9: 「「この規制上は天災地変だが漏れ無くない」ということは偽である」ということは嘘でない fact10: この合成繊維は飯盒でない fact11: もしもとある物が漏れ無いとするとそれは凄くてかつ最低気温でない ; $hypothesis$ = 「もしも天災地変であるし発現し易いならば最低気温でない」物はある ; $proof$ = 
void -> assump2: 以下のように仮定する。この規制上は天災地変だし加えて発現し易い; assump2 -> int1: この規制上は天災地変である; void -> assump1: 以下のように仮定する。この規制上は漏れ無くない; int1 & assump1 -> int2: この規制上は天災地変で漏れ無くない; int2 & fact9 -> int3: これは矛盾である; [assump1] & int3 -> int4: この規制上は漏れ無い; fact11 -> int5: もし仮にこの規制上が漏れ無いならばそれが凄いしその上それは最低気温でない; int4 & int5 -> int6: この規制上は凄いけど最低気温でない; int6 -> int7: この規制上は最低気温でない; [assump2] & int7 -> int8: もしもこの規制上は天災地変であるし発現し易いとすると最低気温でない; int8 -> hypothesis; __PROVED__
事実1: この合成繊維が飯盒でないならばあの満身は飯盒である
事実2: どれもこれもは最低気温であるし更に賛成だ
事実3: 何かは発現し易くないとしたら漏れ無くないかそれは天災地変でないかあるいはどちらもだ
事実4: もし仮にこの満身が凄くなくてしかもそれは発現し易くないなら「この規制上は発現し易くない」ということは真実である
事実5: この満身が欲深いとすれば凄いということはなくておまけに発現し易くない
事実6: 「天災地変は物象化するということはない」ということは成り立つ
事実7: もしこの規制上が漏れ無いということはないかまたは天災地変でないならこの盛り蕎麦は天災地変だ
事実8: もしとあるものは最低気温であるとするとすばしこい
事実9: 「「この規制上は天災地変だが漏れ無くない」ということは偽である」ということは嘘でない
事実10: この合成繊維は飯盒でない
事実11: もしもとある物が漏れ無いとするとそれは凄くてかつ最低気温でない

仮説: 「もしも天災地変であるし発現し易いならば最低気温でない」物はある
1. 仮定2: 以下のように仮定する。この規制上は天災地変だし加えて発現し易い
2. 仮定2から、推論1: "この規制上は天災地変である"が導かれる
3. 仮定1: 以下のように仮定する。この規制上は漏れ無くない
4. 推論1と仮定1から、推論2: "この規制上は天災地変で漏れ無くない"が導かれる
5. 推論2と事実9から、推論3: "これは矛盾である"が導かれる
6. [仮定1]と推論3から、推論4: "この規制上は漏れ無い"が導かれる
7. 事実11から、推論5: "もし仮にこの規制上が漏れ無いならばそれが凄いしその上それは最低気温でない"が導かれる
8. 推論4と推論5から、推論6: "この規制上は凄いけど最低気温でない"が導かれる
9. 推論6から、推論7: "この規制上は最低気温でない"が導かれる
10. [仮定2]と推論7から、推論8: "もしもこの規制上は天災地変であるし発現し易いとすると最低気温でない"が導かれる
11. 推論8から、仮説が導かれる

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