この四季は原子模型だということはないしおまけに請け出さない
fact1: もし仮に「あの文学性は切れ易いし時毎である」ということは嘘だとすればその受忍義務は切れ易くない fact2: もし仮に「ある物は平伏しないかそれは麗々しい」ということは成り立たないなら「デモ行進しない」ということは本当だ fact3: なんらかの物が氷川神社だということはないかまたは反転表示しないかもしくは両方ともであるとするとこの約束手形要件は切れ易い fact4: 仮にこの約束手形要件は氷川神社であるということはないとすれば「「この四季は原子模型でないしさらに請け出さない」ということは事実と異なる」ということは真実である fact5: 仮にその煮干し天気予報が時毎でないとすればその受忍義務は平伏すかまたは時毎でない fact6: もしもその煮干し天気予報が時毎でないとするとその受忍義務は平伏しないかまたはそれは時毎でないかもしくはどちらもである fact7: あの隣人は把握し難くないか心置き無くないかまたは両方ともだ fact8: 「あの文学性は麗々しいかそれは把握し難くないかまたはどちらもだ」ということは成り立たない fact9: 仮にとある物は把握し難いならば「平伏しないかあるいは麗々しいかどちらもである」ということは成り立つということはない fact10: もしも「氷川神社でない」物があればこの約束手形要件は切れ易い fact11: その受忍義務は反転表示するかもしくは時毎でないかあるいはどちらもである fact12: もしあの隣人が把握し難くないならばあの文学性は把握し難い fact13: もしも「あの文学性は麗々しいかもしくは把握し難くない」ということは嘘であるとするとこの約束手形要件は切れ易くない fact14: もしもとある物がデモ行進しないなら原子模型でないし請け出すということはない fact15: もしもその受忍義務が平伏しないかまたは時毎であるということはないかもしくは両方ともであるならこの四季はデモ行進するということはない fact16: もし仮になんらかの物はデモ行進するということはないとすると「切れ易いししかも時毎である」ということは成り立つということはない fact17: もしこの四季が麗々しくないならばあの文学性は請け出すということはない fact18: 仮に「その煮干し天気予報は氷川神社でないかもしくはそれは反転表示しないかまたはどちらもである」ということは嘘であるとするとそれは時毎だということはない
void -> assump1: 以下のように仮定する。その煮干し天気予報は氷川神社でないかそれは反転表示しない; assump1 -> int1: なんらかのものは氷川神社でないか反転表示しないかどちらもだ; int1 & fact3 -> int2: この約束手形要件は切れ易い; fact8 & fact13 -> int3: 「この約束手形要件は切れ易くない」ということは正しい; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「その煮干し天気予報は氷川神社であるということはないかそれは反転表示しない」ということは成り立たない; int5 & fact18 -> int6: その煮干し天気予報は時毎でない; int6 & fact6 -> int7: 「その受忍義務は平伏しないかあるいは時毎でないか両方ともである」ということは成り立つ; int7 & fact15 -> int8: 「この四季はデモ行進する」ということは嘘だ; fact14 -> int9: この四季がデモ行進しないとすればそれは原子模型でなくてまたそれは請け出さない; int8 & int9 -> hypothesis;
「この四季は原子模型でないしさらにそれは請け出さない」ということは間違っている
fact24 -> int10: 仮にあの文学性はデモ行進しないとすると「切れ易くておまけにそれは時毎である」ということは嘘である; fact25 -> int11: もし仮に「あの文学性は平伏しないか麗々しいかあるいはどちらもである」ということは成り立たないならばそれはデモ行進しない; fact21 -> int12: もし仮にあの文学性は把握し難いとしたら「それは平伏しないか麗々しいか両方だ」ということは誤っている;
$facts$ = fact1: もし仮に「あの文学性は切れ易いし時毎である」ということは嘘だとすればその受忍義務は切れ易くない fact2: もし仮に「ある物は平伏しないかそれは麗々しい」ということは成り立たないなら「デモ行進しない」ということは本当だ fact3: なんらかの物が氷川神社だということはないかまたは反転表示しないかもしくは両方ともであるとするとこの約束手形要件は切れ易い fact4: 仮にこの約束手形要件は氷川神社であるということはないとすれば「「この四季は原子模型でないしさらに請け出さない」ということは事実と異なる」ということは真実である fact5: 仮にその煮干し天気予報が時毎でないとすればその受忍義務は平伏すかまたは時毎でない fact6: もしもその煮干し天気予報が時毎でないとするとその受忍義務は平伏しないかまたはそれは時毎でないかもしくはどちらもである fact7: あの隣人は把握し難くないか心置き無くないかまたは両方ともだ fact8: 「あの文学性は麗々しいかそれは把握し難くないかまたはどちらもだ」ということは成り立たない fact9: 仮にとある物は把握し難いならば「平伏しないかあるいは麗々しいかどちらもである」ということは成り立つということはない fact10: もしも「氷川神社でない」物があればこの約束手形要件は切れ易い fact11: その受忍義務は反転表示するかもしくは時毎でないかあるいはどちらもである fact12: もしあの隣人が把握し難くないならばあの文学性は把握し難い fact13: もしも「あの文学性は麗々しいかもしくは把握し難くない」ということは嘘であるとするとこの約束手形要件は切れ易くない fact14: もしもとある物がデモ行進しないなら原子模型でないし請け出すということはない fact15: もしもその受忍義務が平伏しないかまたは時毎であるということはないかもしくは両方ともであるならこの四季はデモ行進するということはない fact16: もし仮になんらかの物はデモ行進するということはないとすると「切れ易いししかも時毎である」ということは成り立つということはない fact17: もしこの四季が麗々しくないならばあの文学性は請け出すということはない fact18: 仮に「その煮干し天気予報は氷川神社でないかもしくはそれは反転表示しないかまたはどちらもである」ということは嘘であるとするとそれは時毎だということはない ; $hypothesis$ = この四季は原子模型だということはないしおまけに請け出さない ; $proof$ = 
void -> assump1: 以下のように仮定する。その煮干し天気予報は氷川神社でないかそれは反転表示しない; assump1 -> int1: なんらかのものは氷川神社でないか反転表示しないかどちらもだ; int1 & fact3 -> int2: この約束手形要件は切れ易い; fact8 & fact13 -> int3: 「この約束手形要件は切れ易くない」ということは正しい; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「その煮干し天気予報は氷川神社であるということはないかそれは反転表示しない」ということは成り立たない; int5 & fact18 -> int6: その煮干し天気予報は時毎でない; int6 & fact6 -> int7: 「その受忍義務は平伏しないかあるいは時毎でないか両方ともである」ということは成り立つ; int7 & fact15 -> int8: 「この四季はデモ行進する」ということは嘘だ; fact14 -> int9: この四季がデモ行進しないとすればそれは原子模型でなくてまたそれは請け出さない; int8 & int9 -> hypothesis; __PROVED__
事実1: もし仮に「あの文学性は切れ易いし時毎である」ということは嘘だとすればその受忍義務は切れ易くない
事実2: もし仮に「ある物は平伏しないかそれは麗々しい」ということは成り立たないなら「デモ行進しない」ということは本当だ
事実3: なんらかの物が氷川神社だということはないかまたは反転表示しないかもしくは両方ともであるとするとこの約束手形要件は切れ易い
事実4: 仮にこの約束手形要件は氷川神社であるということはないとすれば「「この四季は原子模型でないしさらに請け出さない」ということは事実と異なる」ということは真実である
事実5: 仮にその煮干し天気予報が時毎でないとすればその受忍義務は平伏すかまたは時毎でない
事実6: もしもその煮干し天気予報が時毎でないとするとその受忍義務は平伏しないかまたはそれは時毎でないかもしくはどちらもである
事実7: あの隣人は把握し難くないか心置き無くないかまたは両方ともだ
事実8: 「あの文学性は麗々しいかそれは把握し難くないかまたはどちらもだ」ということは成り立たない
事実9: 仮にとある物は把握し難いならば「平伏しないかあるいは麗々しいかどちらもである」ということは成り立つということはない
事実10: もしも「氷川神社でない」物があればこの約束手形要件は切れ易い
事実11: その受忍義務は反転表示するかもしくは時毎でないかあるいはどちらもである
事実12: もしあの隣人が把握し難くないならばあの文学性は把握し難い
事実13: もしも「あの文学性は麗々しいかもしくは把握し難くない」ということは嘘であるとするとこの約束手形要件は切れ易くない
事実14: もしもとある物がデモ行進しないなら原子模型でないし請け出すということはない
事実15: もしもその受忍義務が平伏しないかまたは時毎であるということはないかもしくは両方ともであるならこの四季はデモ行進するということはない
事実16: もし仮になんらかの物はデモ行進するということはないとすると「切れ易いししかも時毎である」ということは成り立つということはない
事実17: もしこの四季が麗々しくないならばあの文学性は請け出すということはない
事実18: 仮に「その煮干し天気予報は氷川神社でないかもしくはそれは反転表示しないかまたはどちらもである」ということは嘘であるとするとそれは時毎だということはない

仮説: この四季は原子模型だということはないしおまけに請け出さない
1. 仮定1: 以下のように仮定する。その煮干し天気予報は氷川神社でないかそれは反転表示しない
2. 仮定1から、推論1: "なんらかのものは氷川神社でないか反転表示しないかどちらもだ"が導かれる
3. 推論1と事実3から、推論2: "この約束手形要件は切れ易い"が導かれる
4. 事実8と事実13から、推論3: "「この約束手形要件は切れ易くない」ということは正しい"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「その煮干し天気予報は氷川神社であるということはないかそれは反転表示しない」ということは成り立たない"が導かれる
7. 推論5と事実18から、推論6: "その煮干し天気予報は時毎でない"が導かれる
8. 推論6と事実6から、推論7: "「その受忍義務は平伏しないかあるいは時毎でないか両方ともである」ということは成り立つ"が導かれる
9. 推論7と事実15から、推論8: "「この四季はデモ行進する」ということは嘘だ"が導かれる
10. 事実14から、推論9: "この四季がデモ行進しないとすればそれは原子模型でなくてまたそれは請け出さない"が導かれる
11. 推論8と推論9から、仮説が導かれる

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