「仮にあの安息日が御返り為さるならその様子は忘れ易い」ということは正しくない
fact1: もし仮にその現役中が御返り為さるとしたらあの安息日は混成する fact2: もしなんらかのものが黴びないとしたらそれは忘れ易くないしその上検索ボタンでない fact3: もしも「あの安息日は脱植民地化であるがしかしそれは打ち消し合わない」ということは誤りであるならば縁遠い fact4: その偽陽性は忘れ易い fact5: もし仮にあの安息日が忘れ易くないならこの第三村は混成するし御返り為さる fact6: もしあの安息日が御返り為さるとしたらその現役中は混成する fact7: もしなにかは縁遠いとするとそれは黴びないししかも具でない fact8: もしその現役中が忘れ易いとするとあの安息日は混成する fact9: もしもその現役中が忘れ易いとすればあの様子は混成する fact10: もしもその様子が混成するならばあの現役中は忘れ易い fact11: もしもその現役中が混成するとすればその様子は忘れ易い
void -> assump1: 以下のように仮定する。あの安息日は御返り為さる; fact6 & assump1 -> int1: その現役中は混成する; int1 & fact11 -> int2: その様子は忘れ易い; [assump1] & int2 -> hypothesis;
この第三村は御返り為さる
fact12 -> int3: もしもあの安息日が黴びないなら忘れ易くないしかつ検索ボタンでない; fact14 -> int4: あの安息日が縁遠いとするとそれが黴びないし具でない;
$facts$ = fact1: もし仮にその現役中が御返り為さるとしたらあの安息日は混成する fact2: もしなんらかのものが黴びないとしたらそれは忘れ易くないしその上検索ボタンでない fact3: もしも「あの安息日は脱植民地化であるがしかしそれは打ち消し合わない」ということは誤りであるならば縁遠い fact4: その偽陽性は忘れ易い fact5: もし仮にあの安息日が忘れ易くないならこの第三村は混成するし御返り為さる fact6: もしあの安息日が御返り為さるとしたらその現役中は混成する fact7: もしなにかは縁遠いとするとそれは黴びないししかも具でない fact8: もしその現役中が忘れ易いとするとあの安息日は混成する fact9: もしもその現役中が忘れ易いとすればあの様子は混成する fact10: もしもその様子が混成するならばあの現役中は忘れ易い fact11: もしもその現役中が混成するとすればその様子は忘れ易い ; $hypothesis$ = 「仮にあの安息日が御返り為さるならその様子は忘れ易い」ということは正しくない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの安息日は御返り為さる; fact6 & assump1 -> int1: その現役中は混成する; int1 & fact11 -> int2: その様子は忘れ易い; [assump1] & int2 -> hypothesis; __DISPROVED__
事実1: もし仮にその現役中が御返り為さるとしたらあの安息日は混成する
事実2: もしなんらかのものが黴びないとしたらそれは忘れ易くないしその上検索ボタンでない
事実3: もしも「あの安息日は脱植民地化であるがしかしそれは打ち消し合わない」ということは誤りであるならば縁遠い
事実4: その偽陽性は忘れ易い
事実5: もし仮にあの安息日が忘れ易くないならこの第三村は混成するし御返り為さる
事実6: もしあの安息日が御返り為さるとしたらその現役中は混成する
事実7: もしなにかは縁遠いとするとそれは黴びないししかも具でない
事実8: もしその現役中が忘れ易いとするとあの安息日は混成する
事実9: もしもその現役中が忘れ易いとすればあの様子は混成する
事実10: もしもその様子が混成するならばあの現役中は忘れ易い
事実11: もしもその現役中が混成するとすればその様子は忘れ易い

仮説: 「仮にあの安息日が御返り為さるならその様子は忘れ易い」ということは正しくない
1. 仮定1: 以下のように仮定する。あの安息日は御返り為さる
2. 事実6と仮定1から、推論1: "その現役中は混成する"が導かれる
3. 推論1と事実11から、推論2: "その様子は忘れ易い"が導かれる
4. [仮定1]と推論2から、仮説が否定される

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