その見開きページはパスする
fact1: その見開きページは題字である fact2: もし仮にその十五年以上が吹き渡るならこの股関節は囲い込む fact3: もし仮にその投射が題字でないかもしくはそれが止め為さるかどちらもであるならばその見開きページはパスしない fact4: その投射は止め為さるし更にそれは尊重する fact5: もしもその投射が題字でないしさらに尊重しないならばあの見開きページは尊重しない fact6: もしもこの股関節が囲い込むならその投射は題字だということはなくてそれに尊重しない fact7: 仮にあるものが尊重しないとしたらそれはパスするしまた止め為さる
fact4 -> int1: 「その投射は止め為さる」ということは成り立つ; int1 -> int2: その投射は題字でないかもしくはそれは止め為さる; int2 & fact3 -> hypothesis;
その見開きページはパスする
fact9 -> int3: 仮にその見開きページが尊重するということはないとするとそれはパスするしそれは止め為さる;
$facts$ = fact1: その見開きページは題字である fact2: もし仮にその十五年以上が吹き渡るならこの股関節は囲い込む fact3: もし仮にその投射が題字でないかもしくはそれが止め為さるかどちらもであるならばその見開きページはパスしない fact4: その投射は止め為さるし更にそれは尊重する fact5: もしもその投射が題字でないしさらに尊重しないならばあの見開きページは尊重しない fact6: もしもこの股関節が囲い込むならその投射は題字だということはなくてそれに尊重しない fact7: 仮にあるものが尊重しないとしたらそれはパスするしまた止め為さる ; $hypothesis$ = その見開きページはパスする ; $proof$ = 
fact4 -> int1: 「その投射は止め為さる」ということは成り立つ; int1 -> int2: その投射は題字でないかもしくはそれは止め為さる; int2 & fact3 -> hypothesis; __DISPROVED__
事実1: その見開きページは題字である
事実2: もし仮にその十五年以上が吹き渡るならこの股関節は囲い込む
事実3: もし仮にその投射が題字でないかもしくはそれが止め為さるかどちらもであるならばその見開きページはパスしない
事実4: その投射は止め為さるし更にそれは尊重する
事実5: もしもその投射が題字でないしさらに尊重しないならばあの見開きページは尊重しない
事実6: もしもこの股関節が囲い込むならその投射は題字だということはなくてそれに尊重しない
事実7: 仮にあるものが尊重しないとしたらそれはパスするしまた止め為さる

仮説: その見開きページはパスする
1. 事実4から、推論1: "「その投射は止め為さる」ということは成り立つ"が導かれる
2. 推論1から、推論2: "その投射は題字でないかもしくはそれは止め為さる"が導かれる
3. 推論2と事実3から、仮説が否定される

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