あの三複合体は赤坂宿でないけれどぴったりする
fact1: あの三複合体が築き難いとしたらそれは八Ｘだ fact2: 仮に「このリスペクトは八Ｘであるがしかしそれは赤坂宿であるということはない」ということは間違いであるならばあの三複合体は赤坂宿だということはない fact3: もし何かは八Ｘであるとすると「赤坂宿でなくてそれはぴったりする」ということは成り立たない fact4: あの三複合体は築き難い fact5: 仮にそのスクールＯＢはユーザー名でないならば「このリスペクトは八Ｘだがしかし赤坂宿でない」ということは誤りである fact6: 「あの三複合体は築き難くておまけにそれはカウンターキッチンだ」ということは真実でない
fact1 & fact4 -> int1: あの三複合体は八Ｘである; fact3 -> int2: もし仮にあの三複合体は八Ｘであるとすれば「赤坂宿でないけどぴったりする」ということは偽である; int1 & int2 -> hypothesis;
fact1 & fact4 -> int1: {B}{a}; fact3 -> int2: {B}{a} -> ¬(¬{C}{a} & {D}{a}); int1 & int2 -> hypothesis;
「あの三複合体は赤坂宿でないがぴったりする」ということは本当である
$facts$ = fact1: あの三複合体が築き難いとしたらそれは八Ｘだ fact2: 仮に「このリスペクトは八Ｘであるがしかしそれは赤坂宿であるということはない」ということは間違いであるならばあの三複合体は赤坂宿だということはない fact3: もし何かは八Ｘであるとすると「赤坂宿でなくてそれはぴったりする」ということは成り立たない fact4: あの三複合体は築き難い fact5: 仮にそのスクールＯＢはユーザー名でないならば「このリスペクトは八Ｘだがしかし赤坂宿でない」ということは誤りである fact6: 「あの三複合体は築き難くておまけにそれはカウンターキッチンだ」ということは真実でない ; $hypothesis$ = あの三複合体は赤坂宿でないけれどぴったりする ; $proof$ = 
fact1 & fact4 -> int1: あの三複合体は八Ｘである; fact3 -> int2: もし仮にあの三複合体は八Ｘであるとすれば「赤坂宿でないけどぴったりする」ということは偽である; int1 & int2 -> hypothesis; __DISPROVED__
事実1: あの三複合体が築き難いとしたらそれは八Ｘだ
事実2: 仮に「このリスペクトは八Ｘであるがしかしそれは赤坂宿であるということはない」ということは間違いであるならばあの三複合体は赤坂宿だということはない
事実3: もし何かは八Ｘであるとすると「赤坂宿でなくてそれはぴったりする」ということは成り立たない
事実4: あの三複合体は築き難い
事実5: 仮にそのスクールＯＢはユーザー名でないならば「このリスペクトは八Ｘだがしかし赤坂宿でない」ということは誤りである
事実6: 「あの三複合体は築き難くておまけにそれはカウンターキッチンだ」ということは真実でない

仮説: あの三複合体は赤坂宿でないけれどぴったりする
1. 事実1と事実4から、推論1: "あの三複合体は八Ｘである"が導かれる
2. 事実3から、推論2: "もし仮にあの三複合体は八Ｘであるとすれば「赤坂宿でないけどぴったりする」ということは偽である"が導かれる
3. 推論1と推論2から、仮説が否定される

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