「仮に「この買い主は廃する」ということは成り立つとするとその建築間取りは老齢化する」ということは誤っている
fact1: あの重油はざわめき立たない fact2: その建築間取りは調べ易くない fact3: もしその建築間取りが妖艶でないとしたらこの買い主は常駐する fact4: 「その建築間取りは廃するしかつ妖艶である」ということは嘘である fact5: もし調べ易いものは再構成すれば「それは老齢化しない」ということは間違いである fact6: その建築間取りは妖艶でないがしかし廃するとすればそれは調べ易い fact7: もし仮に何らかの物が常駐しないとしたら妖艶だし踏み外す fact8: 「もしもその建築間取りが常駐しないがしかし妖艶であるとしたらその建築間取りは踏み外す」ということは真実である fact9: もしも「この買い主は踏み外すか常駐するということはないか両方ともだ」ということは成り立たないならばそれは廃する fact10: もし何らかのものはざわめき立たないとすると「名高くて加えてそれは老齢化する」ということは成り立たない fact11: もし仮にその建築間取りは調べ易いし再構成するとすると「老齢化する」ということは事実である fact12: もし仮にその建築間取りが調べ易いとすると妖艶でない fact13: この買い主は常駐する fact14: もし調べ易くないものが再構成すれば老齢化する fact15: 「「その建築間取りは調べ易くないがしかし再構成する」ということは成り立つということはない」ということは嘘だということはないとしたら妖艶でない fact16: もしも何かは踏み外すとしたらそれは廃する fact17: 仮にその建築間取りは妖艶でないとしたら「この買い主は踏み外すかあるいは常駐しないかもしくは両方ともである」ということは間違いだ fact18: 「もしも「この買い主は踏み外すかあるいはそれは常駐しないかあるいはどちらもである」ということは事実でないならば「この買い主は廃しない」ということは成り立つ」ということは成り立つ fact19: もし仮にその建築間取りが常駐すればこの買い主は調べ易い
void -> assump2: 以下のように仮定する。「その建築間取りは調べ易くないけど再構成する」ということは間違いだ; fact15 & assump2 -> int1: その建築間取りは妖艶でない; int1 & fact17 -> int2: 「この買い主は踏み外すかまたはそれは常駐しないかあるいは両方だ」ということは偽だ; int2 & fact18 -> int3: この買い主は廃しない; void -> assump1: 以下のように仮定する。「この買い主は廃する」ということは真実だ; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: その建築間取りは調べ易くないがしかしそれは再構成する; fact14 -> int6: その建築間取りが調べ易くないがしかしそれが再構成するとしたら老齢化する; int5 & int6 -> int7: その建築間取りは老齢化する; [assump1] & int7 -> hypothesis;
あの重油は廃する
fact22 -> int8: もし仮にあの重油は踏み外すとしたら「廃する」ということは事実である; fact21 -> int9: あの重油が常駐するということはないなら妖艶だし踏み外す; fact20 -> int10: もしもあの重油はざわめき立たないならば「それは名高いしまた老齢化する」ということは成り立たない; int10 & fact23 -> int11: 「あの重油は名高くて老齢化する」ということは間違いだ;
$facts$ = fact1: あの重油はざわめき立たない fact2: その建築間取りは調べ易くない fact3: もしその建築間取りが妖艶でないとしたらこの買い主は常駐する fact4: 「その建築間取りは廃するしかつ妖艶である」ということは嘘である fact5: もし調べ易いものは再構成すれば「それは老齢化しない」ということは間違いである fact6: その建築間取りは妖艶でないがしかし廃するとすればそれは調べ易い fact7: もし仮に何らかの物が常駐しないとしたら妖艶だし踏み外す fact8: 「もしもその建築間取りが常駐しないがしかし妖艶であるとしたらその建築間取りは踏み外す」ということは真実である fact9: もしも「この買い主は踏み外すか常駐するということはないか両方ともだ」ということは成り立たないならばそれは廃する fact10: もし何らかのものはざわめき立たないとすると「名高くて加えてそれは老齢化する」ということは成り立たない fact11: もし仮にその建築間取りは調べ易いし再構成するとすると「老齢化する」ということは事実である fact12: もし仮にその建築間取りが調べ易いとすると妖艶でない fact13: この買い主は常駐する fact14: もし調べ易くないものが再構成すれば老齢化する fact15: 「「その建築間取りは調べ易くないがしかし再構成する」ということは成り立つということはない」ということは嘘だということはないとしたら妖艶でない fact16: もしも何かは踏み外すとしたらそれは廃する fact17: 仮にその建築間取りは妖艶でないとしたら「この買い主は踏み外すかあるいは常駐しないかもしくは両方ともである」ということは間違いだ fact18: 「もしも「この買い主は踏み外すかあるいはそれは常駐しないかあるいはどちらもである」ということは事実でないならば「この買い主は廃しない」ということは成り立つ」ということは成り立つ fact19: もし仮にその建築間取りが常駐すればこの買い主は調べ易い ; $hypothesis$ = 「仮に「この買い主は廃する」ということは成り立つとするとその建築間取りは老齢化する」ということは誤っている ; $proof$ = 
void -> assump2: 以下のように仮定する。「その建築間取りは調べ易くないけど再構成する」ということは間違いだ; fact15 & assump2 -> int1: その建築間取りは妖艶でない; int1 & fact17 -> int2: 「この買い主は踏み外すかまたはそれは常駐しないかあるいは両方だ」ということは偽だ; int2 & fact18 -> int3: この買い主は廃しない; void -> assump1: 以下のように仮定する。「この買い主は廃する」ということは真実だ; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: その建築間取りは調べ易くないがしかしそれは再構成する; fact14 -> int6: その建築間取りが調べ易くないがしかしそれが再構成するとしたら老齢化する; int5 & int6 -> int7: その建築間取りは老齢化する; [assump1] & int7 -> hypothesis; __DISPROVED__
事実1: あの重油はざわめき立たない
事実2: その建築間取りは調べ易くない
事実3: もしその建築間取りが妖艶でないとしたらこの買い主は常駐する
事実4: 「その建築間取りは廃するしかつ妖艶である」ということは嘘である
事実5: もし調べ易いものは再構成すれば「それは老齢化しない」ということは間違いである
事実6: その建築間取りは妖艶でないがしかし廃するとすればそれは調べ易い
事実7: もし仮に何らかの物が常駐しないとしたら妖艶だし踏み外す
事実8: 「もしもその建築間取りが常駐しないがしかし妖艶であるとしたらその建築間取りは踏み外す」ということは真実である
事実9: もしも「この買い主は踏み外すか常駐するということはないか両方ともだ」ということは成り立たないならばそれは廃する
事実10: もし何らかのものはざわめき立たないとすると「名高くて加えてそれは老齢化する」ということは成り立たない
事実11: もし仮にその建築間取りは調べ易いし再構成するとすると「老齢化する」ということは事実である
事実12: もし仮にその建築間取りが調べ易いとすると妖艶でない
事実13: この買い主は常駐する
事実14: もし調べ易くないものが再構成すれば老齢化する
事実15: 「「その建築間取りは調べ易くないがしかし再構成する」ということは成り立つということはない」ということは嘘だということはないとしたら妖艶でない
事実16: もしも何かは踏み外すとしたらそれは廃する
事実17: 仮にその建築間取りは妖艶でないとしたら「この買い主は踏み外すかあるいは常駐しないかもしくは両方ともである」ということは間違いだ
事実18: 「もしも「この買い主は踏み外すかあるいはそれは常駐しないかあるいはどちらもである」ということは事実でないならば「この買い主は廃しない」ということは成り立つ」ということは成り立つ
事実19: もし仮にその建築間取りが常駐すればこの買い主は調べ易い

仮説: 「仮に「この買い主は廃する」ということは成り立つとするとその建築間取りは老齢化する」ということは誤っている
1. 仮定2: 以下のように仮定する。「その建築間取りは調べ易くないけど再構成する」ということは間違いだ
2. 事実15と仮定2から、推論1: "その建築間取りは妖艶でない"が導かれる
3. 推論1と事実17から、推論2: "「この買い主は踏み外すかまたはそれは常駐しないかあるいは両方だ」ということは偽だ"が導かれる
4. 推論2と事実18から、推論3: "この買い主は廃しない"が導かれる
5. 仮定1: 以下のように仮定する。「この買い主は廃する」ということは真実だ
6. 推論3と仮定1から、推論4: "これは矛盾である"が導かれる
7. [仮定2]と推論4から、推論5: "その建築間取りは調べ易くないがしかしそれは再構成する"が導かれる
8. 事実14から、推論6: "その建築間取りが調べ易くないがしかしそれが再構成するとしたら老齢化する"が導かれる
9. 推論5と推論6から、推論7: "その建築間取りは老齢化する"が導かれる
10. [仮定1]と推論7から、仮説が否定される

よって、仮説が否定されました。