この長屋王邸は切断点である
fact1: 「あの信太妻伝説は発達水準でない」ということは本当である fact2: もし「あの信太妻伝説は四名乗車であるしおまけにそれは提起出来る」ということは真実でないならばこの長屋王邸は切断点でない fact3: もしもあの信太妻伝説は発達水準だということはないとしたら「四名乗車だしおまけにそれは提起出来る」ということは間違いだ fact4: 仮に「あの信太妻伝説は懇談しなくて切断点でない」ということは誤っていればこの長屋王邸は切断点だ
fact3 & fact1 -> int1: 「あの信太妻伝説は四名乗車だししかも提起出来る」ということは成り立たない; int1 & fact2 -> hypothesis;
fact3 & fact1 -> int1: ¬({AA}{a} & {AB}{a}); int1 & fact2 -> hypothesis;
この長屋王邸は切断点だ
$facts$ = fact1: 「あの信太妻伝説は発達水準でない」ということは本当である fact2: もし「あの信太妻伝説は四名乗車であるしおまけにそれは提起出来る」ということは真実でないならばこの長屋王邸は切断点でない fact3: もしもあの信太妻伝説は発達水準だということはないとしたら「四名乗車だしおまけにそれは提起出来る」ということは間違いだ fact4: 仮に「あの信太妻伝説は懇談しなくて切断点でない」ということは誤っていればこの長屋王邸は切断点だ ; $hypothesis$ = この長屋王邸は切断点である ; $proof$ = 
fact3 & fact1 -> int1: 「あの信太妻伝説は四名乗車だししかも提起出来る」ということは成り立たない; int1 & fact2 -> hypothesis; __DISPROVED__
事実1: 「あの信太妻伝説は発達水準でない」ということは本当である
事実2: もし「あの信太妻伝説は四名乗車であるしおまけにそれは提起出来る」ということは真実でないならばこの長屋王邸は切断点でない
事実3: もしもあの信太妻伝説は発達水準だということはないとしたら「四名乗車だしおまけにそれは提起出来る」ということは間違いだ
事実4: 仮に「あの信太妻伝説は懇談しなくて切断点でない」ということは誤っていればこの長屋王邸は切断点だ

仮説: この長屋王邸は切断点である
1. 事実3と事実1から、推論1: "「あの信太妻伝説は四名乗車だししかも提起出来る」ということは成り立たない"が導かれる
2. 推論1と事実2から、仮説が否定される

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