その灌漑は内命婦である
fact1: 仮にとあるものが御紹介でないとすれば内命婦であるということはない fact2: あの東向きは御紹介だということはない fact3: もしもなにがしかの物が生じ易くないとすればそれは寝泊まりしない fact4: もしその灌漑が御紹介ならそれは御覧下さる fact5: その灌漑は纏まり易い fact6: 生じ易くないものは御紹介でない fact7: その灌漑は生じ易いがそれは寝泊まりしない fact8: その灌漑が生じ易いけどそれが緑色はからない fact9: その灌漑が御紹介だとすればそれは寝泊まりする fact10: あのダクトは生じ易くない fact11: もしもこのビネガーが寝泊まりするということはないならばその灌漑は内命婦であるし御紹介である
void -> assump1: 以下のように仮定する。その灌漑は御紹介である; fact9 & assump1 -> int1: その灌漑は寝泊まりする; fact7 -> int2: その灌漑は寝泊まりするということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その灌漑は御紹介でない; fact1 -> int5: 仮にその灌漑は御紹介でないならば内命婦でない; int4 & int5 -> hypothesis;
その灌漑は内命婦だ
$facts$ = fact1: 仮にとあるものが御紹介でないとすれば内命婦であるということはない fact2: あの東向きは御紹介だということはない fact3: もしもなにがしかの物が生じ易くないとすればそれは寝泊まりしない fact4: もしその灌漑が御紹介ならそれは御覧下さる fact5: その灌漑は纏まり易い fact6: 生じ易くないものは御紹介でない fact7: その灌漑は生じ易いがそれは寝泊まりしない fact8: その灌漑が生じ易いけどそれが緑色はからない fact9: その灌漑が御紹介だとすればそれは寝泊まりする fact10: あのダクトは生じ易くない fact11: もしもこのビネガーが寝泊まりするということはないならばその灌漑は内命婦であるし御紹介である ; $hypothesis$ = その灌漑は内命婦である ; $proof$ = 
void -> assump1: 以下のように仮定する。その灌漑は御紹介である; fact9 & assump1 -> int1: その灌漑は寝泊まりする; fact7 -> int2: その灌漑は寝泊まりするということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その灌漑は御紹介でない; fact1 -> int5: 仮にその灌漑は御紹介でないならば内命婦でない; int4 & int5 -> hypothesis; __DISPROVED__
事実1: 仮にとあるものが御紹介でないとすれば内命婦であるということはない
事実2: あの東向きは御紹介だということはない
事実3: もしもなにがしかの物が生じ易くないとすればそれは寝泊まりしない
事実4: もしその灌漑が御紹介ならそれは御覧下さる
事実5: その灌漑は纏まり易い
事実6: 生じ易くないものは御紹介でない
事実7: その灌漑は生じ易いがそれは寝泊まりしない
事実8: その灌漑が生じ易いけどそれが緑色はからない
事実9: その灌漑が御紹介だとすればそれは寝泊まりする
事実10: あのダクトは生じ易くない
事実11: もしもこのビネガーが寝泊まりするということはないならばその灌漑は内命婦であるし御紹介である

仮説: その灌漑は内命婦である
1. 仮定1: 以下のように仮定する。その灌漑は御紹介である
2. 事実9と仮定1から、推論1: "その灌漑は寝泊まりする"が導かれる
3. 事実7から、推論2: "その灌漑は寝泊まりするということはない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その灌漑は御紹介でない"が導かれる
6. 事実1から、推論5: "仮にその灌漑は御紹介でないならば内命婦でない"が導かれる
7. 推論4と推論5から、仮説が否定される

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