あの建築現場は貴方らしくない
fact1: このヒスパニック系が重々しいとすれば看過し難い fact2: もし仮にあの予定価格が各事象でないとすれば真新しいけど死去しない fact3: もしもその動産・不動産は三毛でないならば「それは破裂するか教育文化であるかまたは両方ともだ」ということは誤っている fact4: あの建築現場はリンパ管だ fact5: 「「あの予定価格はぬるぬるしないしまた野暮ったくない」ということは嘘である」ということは事実ならばあの建築現場は貴方らしくない fact6: 「あの予定価格はぼんやりしない」ということは事実だ fact7: 真新しい物は死去しないならば「重々しい」ということは本当だ fact8: もし「「その動産・不動産は破裂するかあるいは教育文化である」ということは正しい」ということは本当でないとしたらこのヒスパニック系は教育文化でない fact9: もしこのヒスパニック系が教育文化でないならそれが各事象だしそれは相手取る fact10: あの予定価格が野暮ったいならばあの建築現場は貴方らしいということはない fact11: 「あの予定価格はぬるぬるしないがしかし野暮ったい」ということは間違っている fact12: あの予定価格は野暮ったくない fact13: この十三世紀頃は野暮ったい fact14: このヒスパニック系は重々しい fact15: もし仮にあの予定価格がぬるぬるしないけれど野暮ったいとすればこのヒスパニック系は看過し難いということはない fact16: もしもこのヒスパニック系は各事象だとすれば「あの予定価格は各事象でない」ということは成り立つ fact17: あの予定価格は絶え難いということはなくて更にそれは重々しかない fact18: あの建築現場は貴方らしいなら「それはぬるぬるする」ということは成り立つ fact19: もしあの予定価格がぬるぬるするということはなくて加えて野暮ったくないとするとこのヒスパニック系は看過し難くない
void -> assump1: 以下のように仮定する。あの予定価格はぬるぬるしなくてそれは野暮ったくない; fact19 & assump1 -> int1: このヒスパニック系は看過し難いということはない; fact1 & fact14 -> int2: このヒスパニック系は看過し難い; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「あの予定価格はぬるぬるしないし野暮ったくない」ということは偽である; int4 & fact5 -> hypothesis;
あの建築現場は貴方らしい
fact25 -> int5: 仮にあの予定価格は真新しいが死去しないとすればそれは重々しい;
$facts$ = fact1: このヒスパニック系が重々しいとすれば看過し難い fact2: もし仮にあの予定価格が各事象でないとすれば真新しいけど死去しない fact3: もしもその動産・不動産は三毛でないならば「それは破裂するか教育文化であるかまたは両方ともだ」ということは誤っている fact4: あの建築現場はリンパ管だ fact5: 「「あの予定価格はぬるぬるしないしまた野暮ったくない」ということは嘘である」ということは事実ならばあの建築現場は貴方らしくない fact6: 「あの予定価格はぼんやりしない」ということは事実だ fact7: 真新しい物は死去しないならば「重々しい」ということは本当だ fact8: もし「「その動産・不動産は破裂するかあるいは教育文化である」ということは正しい」ということは本当でないとしたらこのヒスパニック系は教育文化でない fact9: もしこのヒスパニック系が教育文化でないならそれが各事象だしそれは相手取る fact10: あの予定価格が野暮ったいならばあの建築現場は貴方らしいということはない fact11: 「あの予定価格はぬるぬるしないがしかし野暮ったい」ということは間違っている fact12: あの予定価格は野暮ったくない fact13: この十三世紀頃は野暮ったい fact14: このヒスパニック系は重々しい fact15: もし仮にあの予定価格がぬるぬるしないけれど野暮ったいとすればこのヒスパニック系は看過し難いということはない fact16: もしもこのヒスパニック系は各事象だとすれば「あの予定価格は各事象でない」ということは成り立つ fact17: あの予定価格は絶え難いということはなくて更にそれは重々しかない fact18: あの建築現場は貴方らしいなら「それはぬるぬるする」ということは成り立つ fact19: もしあの予定価格がぬるぬるするということはなくて加えて野暮ったくないとするとこのヒスパニック系は看過し難くない ; $hypothesis$ = あの建築現場は貴方らしくない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの予定価格はぬるぬるしなくてそれは野暮ったくない; fact19 & assump1 -> int1: このヒスパニック系は看過し難いということはない; fact1 & fact14 -> int2: このヒスパニック系は看過し難い; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「あの予定価格はぬるぬるしないし野暮ったくない」ということは偽である; int4 & fact5 -> hypothesis; __PROVED__
事実1: このヒスパニック系が重々しいとすれば看過し難い
事実2: もし仮にあの予定価格が各事象でないとすれば真新しいけど死去しない
事実3: もしもその動産・不動産は三毛でないならば「それは破裂するか教育文化であるかまたは両方ともだ」ということは誤っている
事実4: あの建築現場はリンパ管だ
事実5: 「「あの予定価格はぬるぬるしないしまた野暮ったくない」ということは嘘である」ということは事実ならばあの建築現場は貴方らしくない
事実6: 「あの予定価格はぼんやりしない」ということは事実だ
事実7: 真新しい物は死去しないならば「重々しい」ということは本当だ
事実8: もし「「その動産・不動産は破裂するかあるいは教育文化である」ということは正しい」ということは本当でないとしたらこのヒスパニック系は教育文化でない
事実9: もしこのヒスパニック系が教育文化でないならそれが各事象だしそれは相手取る
事実10: あの予定価格が野暮ったいならばあの建築現場は貴方らしいということはない
事実11: 「あの予定価格はぬるぬるしないがしかし野暮ったい」ということは間違っている
事実12: あの予定価格は野暮ったくない
事実13: この十三世紀頃は野暮ったい
事実14: このヒスパニック系は重々しい
事実15: もし仮にあの予定価格がぬるぬるしないけれど野暮ったいとすればこのヒスパニック系は看過し難いということはない
事実16: もしもこのヒスパニック系は各事象だとすれば「あの予定価格は各事象でない」ということは成り立つ
事実17: あの予定価格は絶え難いということはなくて更にそれは重々しかない
事実18: あの建築現場は貴方らしいなら「それはぬるぬるする」ということは成り立つ
事実19: もしあの予定価格がぬるぬるするということはなくて加えて野暮ったくないとするとこのヒスパニック系は看過し難くない

仮説: あの建築現場は貴方らしくない
1. 仮定1: 以下のように仮定する。あの予定価格はぬるぬるしなくてそれは野暮ったくない
2. 事実19と仮定1から、推論1: "このヒスパニック系は看過し難いということはない"が導かれる
3. 事実1と事実14から、推論2: "このヒスパニック系は看過し難い"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「あの予定価格はぬるぬるしないし野暮ったくない」ということは偽である"が導かれる
6. 推論4と事実5から、仮説が導かれる

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