あの不変δ関数は巡礼しないか心地良いかもしくは両方だ
fact1: 仮にとある物はブルジョワジーでないとすると「それは理解し易いし更に重畳しない」ということは誤っている fact2: あの不変δ関数は巡礼しないかまたはそれは心地良いかまたはどちらもである fact3: あの新興工業国はエステシャンである fact4: あの不変δ関数は巡礼するかもしくは心地良いかまたは両方ともである fact5: もし仮に何らかのものが上がり過ぎないとするとそれは上乗せしないかもしくはそれは巡礼するかまたはどちらもである fact6: あの不変δ関数は心地良いということはないか付載するかもしくは両方である fact7: もし仮にあの新興工業国が重畳するし更に理解し易いならあの闘志は上がり過ぎるということはない fact8: 「あの闘志は上がり過ぎない」ということは確かであるならば「あの不変δ関数は巡礼しないかもしくはそれは心地良いかあるいは両方である」ということは嘘だ
fact2 -> hypothesis;
fact2 -> hypothesis;
「「あの不変δ関数は巡礼しないか心地良いかどちらもだ」ということは正しい」ということは成り立たない
$facts$ = fact1: 仮にとある物はブルジョワジーでないとすると「それは理解し易いし更に重畳しない」ということは誤っている fact2: あの不変δ関数は巡礼しないかまたはそれは心地良いかまたはどちらもである fact3: あの新興工業国はエステシャンである fact4: あの不変δ関数は巡礼するかもしくは心地良いかまたは両方ともである fact5: もし仮に何らかのものが上がり過ぎないとするとそれは上乗せしないかもしくはそれは巡礼するかまたはどちらもである fact6: あの不変δ関数は心地良いということはないか付載するかもしくは両方である fact7: もし仮にあの新興工業国が重畳するし更に理解し易いならあの闘志は上がり過ぎるということはない fact8: 「あの闘志は上がり過ぎない」ということは確かであるならば「あの不変δ関数は巡礼しないかもしくはそれは心地良いかあるいは両方である」ということは嘘だ ; $hypothesis$ = あの不変δ関数は巡礼しないか心地良いかもしくは両方だ ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: 仮にとある物はブルジョワジーでないとすると「それは理解し易いし更に重畳しない」ということは誤っている
事実2: あの不変δ関数は巡礼しないかまたはそれは心地良いかまたはどちらもである
事実3: あの新興工業国はエステシャンである
事実4: あの不変δ関数は巡礼するかもしくは心地良いかまたは両方ともである
事実5: もし仮に何らかのものが上がり過ぎないとするとそれは上乗せしないかもしくはそれは巡礼するかまたはどちらもである
事実6: あの不変δ関数は心地良いということはないか付載するかもしくは両方である
事実7: もし仮にあの新興工業国が重畳するし更に理解し易いならあの闘志は上がり過ぎるということはない
事実8: 「あの闘志は上がり過ぎない」ということは確かであるならば「あの不変δ関数は巡礼しないかもしくはそれは心地良いかあるいは両方である」ということは嘘だ

仮説: あの不変δ関数は巡礼しないか心地良いかもしくは両方だ
1. 事実2から、仮説が導かれる

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