この居住地区は当暦年でないけれどそれは御出でに成る
fact1: 仮に「あの怒濤は当暦年である」ということは正しいとすれば「この居住地区は当暦年でないが御出でに成る」ということは間違っている fact2: 「その響きは急かせるということはない」ということは確かである fact3: もしあの連用が急かせないならあの怒濤はアクチュエータで当暦年だ fact4: もし「あの連用は御出でに成る」ということは正しいとしたらこの居住地区は御出でに成る fact5: もしも何らかのものが立ち歩きするということはないならばそれは軽くないししかも当暦年でない fact6: 「この居住地区は乗り易いということはないし狭くない」ということは間違っている fact7: 「「本両替でなくて急かせる」ということは間違いな」ものはある fact8: 「とあるものは乗り易くなくて狭くない」ということは確かでないとすればそれは立ち歩きするということはない fact9: 「あの連用は急かせるということはない」ということは確かである fact10: 仮にあの怒濤は当暦年だとすれば「この居住地区は当暦年であるしその上御出でに成る」ということは嘘である
fact3 & fact9 -> int1: あの怒濤はアクチュエータであるしそれに当暦年である; int1 -> int2: あの怒濤は当暦年である; int2 & fact1 -> hypothesis;
この居住地区は当暦年でないけどそれは御出でに成る
fact13 -> int3: もし仮にこの居住地区が立ち歩きしないとすると軽くないしそれに当暦年でない; fact15 -> int4: もし仮に「この居住地区は乗り易くないしまた狭くない」ということは誤りであるとしたら立ち歩きしない; int4 & fact12 -> int5: この居住地区は立ち歩きしない; int3 & int5 -> int6: この居住地区は軽くないしその上当暦年だということはない; int6 -> int7: この居住地区は当暦年でない;
$facts$ = fact1: 仮に「あの怒濤は当暦年である」ということは正しいとすれば「この居住地区は当暦年でないが御出でに成る」ということは間違っている fact2: 「その響きは急かせるということはない」ということは確かである fact3: もしあの連用が急かせないならあの怒濤はアクチュエータで当暦年だ fact4: もし「あの連用は御出でに成る」ということは正しいとしたらこの居住地区は御出でに成る fact5: もしも何らかのものが立ち歩きするということはないならばそれは軽くないししかも当暦年でない fact6: 「この居住地区は乗り易いということはないし狭くない」ということは間違っている fact7: 「「本両替でなくて急かせる」ということは間違いな」ものはある fact8: 「とあるものは乗り易くなくて狭くない」ということは確かでないとすればそれは立ち歩きするということはない fact9: 「あの連用は急かせるということはない」ということは確かである fact10: 仮にあの怒濤は当暦年だとすれば「この居住地区は当暦年であるしその上御出でに成る」ということは嘘である ; $hypothesis$ = この居住地区は当暦年でないけれどそれは御出でに成る ; $proof$ = 
fact3 & fact9 -> int1: あの怒濤はアクチュエータであるしそれに当暦年である; int1 -> int2: あの怒濤は当暦年である; int2 & fact1 -> hypothesis; __DISPROVED__
事実1: 仮に「あの怒濤は当暦年である」ということは正しいとすれば「この居住地区は当暦年でないが御出でに成る」ということは間違っている
事実2: 「その響きは急かせるということはない」ということは確かである
事実3: もしあの連用が急かせないならあの怒濤はアクチュエータで当暦年だ
事実4: もし「あの連用は御出でに成る」ということは正しいとしたらこの居住地区は御出でに成る
事実5: もしも何らかのものが立ち歩きするということはないならばそれは軽くないししかも当暦年でない
事実6: 「この居住地区は乗り易いということはないし狭くない」ということは間違っている
事実7: 「「本両替でなくて急かせる」ということは間違いな」ものはある
事実8: 「とあるものは乗り易くなくて狭くない」ということは確かでないとすればそれは立ち歩きするということはない
事実9: 「あの連用は急かせるということはない」ということは確かである
事実10: 仮にあの怒濤は当暦年だとすれば「この居住地区は当暦年であるしその上御出でに成る」ということは嘘である

仮説: この居住地区は当暦年でないけれどそれは御出でに成る
1. 事実3と事実9から、推論1: "あの怒濤はアクチュエータであるしそれに当暦年である"が導かれる
2. 推論1から、推論2: "あの怒濤は当暦年である"が導かれる
3. 推論2と事実1から、仮説が否定される

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