このアンダーライターは住居建築時である
fact1: 仮にとあるものが金納化でないしまた××さんでないとすれば住居建築時でない fact2: もし仮になにかは××さんだということはないならば金納化だということはないかあるいは真っ白いかまたは両方ともである fact3: もしこの衡平法は金納化でないかあるいは真っ白いかもしくは両方だとすれば「この機動は金納化である」ということは嘘だ fact4: あの金融再生委員会は××さんだ fact5: このアンダーライターは××さんだということはない fact6: もし仮にこの機動は灌頂だとしたら「この衡平法は金納化である」ということは成り立つ fact7: もし「この機動は住居建築時だ」ということは真実であるとするとこのアンダーライターは住居建築時だ fact8: もしもあるものが金納化でないがそれが××さんならば住居建築時でない fact9: この機動は灌頂である fact10: もしこのアンダーライターが金納化でない一方で××さんであるならそれは住居建築時でない fact11: もし仮に「この衡平法は金納化である」ということは確かならこのアンダーライターは金納化でなくておまけにそれは××さんでない fact12: もし仮にこの衡平法は金納化だとしたら「このアンダーライターは××さんでない」ということは確かである
fact6 & fact9 -> int1: この衡平法は金納化である; int1 & fact11 -> int2: このアンダーライターは金納化でないしまたそれは××さんでない; fact1 -> int3: 仮にこのアンダーライターが金納化でないしそれは××さんでないなら住居建築時でない; int2 & int3 -> hypothesis;
fact6 & fact9 -> int1: {B}{b}; int1 & fact11 -> int2: (¬{B}{c} & ¬{C}{c}); fact1 -> int3: (¬{B}{c} & ¬{C}{c}) -> ¬{D}{c}; int2 & int3 -> hypothesis;
「このアンダーライターは住居建築時である」ということは確かである
fact13 -> int4: この衡平法は××さんでないならば金納化でないかもしくは真っ白いかあるいはどちらもである;
$facts$ = fact1: 仮にとあるものが金納化でないしまた××さんでないとすれば住居建築時でない fact2: もし仮になにかは××さんだということはないならば金納化だということはないかあるいは真っ白いかまたは両方ともである fact3: もしこの衡平法は金納化でないかあるいは真っ白いかもしくは両方だとすれば「この機動は金納化である」ということは嘘だ fact4: あの金融再生委員会は××さんだ fact5: このアンダーライターは××さんだということはない fact6: もし仮にこの機動は灌頂だとしたら「この衡平法は金納化である」ということは成り立つ fact7: もし「この機動は住居建築時だ」ということは真実であるとするとこのアンダーライターは住居建築時だ fact8: もしもあるものが金納化でないがそれが××さんならば住居建築時でない fact9: この機動は灌頂である fact10: もしこのアンダーライターが金納化でない一方で××さんであるならそれは住居建築時でない fact11: もし仮に「この衡平法は金納化である」ということは確かならこのアンダーライターは金納化でなくておまけにそれは××さんでない fact12: もし仮にこの衡平法は金納化だとしたら「このアンダーライターは××さんでない」ということは確かである ; $hypothesis$ = このアンダーライターは住居建築時である ; $proof$ = 
fact6 & fact9 -> int1: この衡平法は金納化である; int1 & fact11 -> int2: このアンダーライターは金納化でないしまたそれは××さんでない; fact1 -> int3: 仮にこのアンダーライターが金納化でないしそれは××さんでないなら住居建築時でない; int2 & int3 -> hypothesis; __DISPROVED__
事実1: 仮にとあるものが金納化でないしまた××さんでないとすれば住居建築時でない
事実2: もし仮になにかは××さんだということはないならば金納化だということはないかあるいは真っ白いかまたは両方ともである
事実3: もしこの衡平法は金納化でないかあるいは真っ白いかもしくは両方だとすれば「この機動は金納化である」ということは嘘だ
事実4: あの金融再生委員会は××さんだ
事実5: このアンダーライターは××さんだということはない
事実6: もし仮にこの機動は灌頂だとしたら「この衡平法は金納化である」ということは成り立つ
事実7: もし「この機動は住居建築時だ」ということは真実であるとするとこのアンダーライターは住居建築時だ
事実8: もしもあるものが金納化でないがそれが××さんならば住居建築時でない
事実9: この機動は灌頂である
事実10: もしこのアンダーライターが金納化でない一方で××さんであるならそれは住居建築時でない
事実11: もし仮に「この衡平法は金納化である」ということは確かならこのアンダーライターは金納化でなくておまけにそれは××さんでない
事実12: もし仮にこの衡平法は金納化だとしたら「このアンダーライターは××さんでない」ということは確かである

仮説: このアンダーライターは住居建築時である
1. 事実6と事実9から、推論1: "この衡平法は金納化である"が導かれる
2. 推論1と事実11から、推論2: "このアンダーライターは金納化でないしまたそれは××さんでない"が導かれる
3. 事実1から、推論3: "仮にこのアンダーライターが金納化でないしそれは××さんでないなら住居建築時でない"が導かれる
4. 推論2と推論3から、仮説が否定される

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