あの要件適合性はリレーしない
fact1: もしもこの売買目的有価証券以外が不可視境界線だとしたらあの要件適合性はリレーする fact2: 「その股間は計上すらないがそれは収載する」ということは成り立たない fact3: 仮に「その股間は計上すということはないしそれは収載しない」ということは偽だとしたら夏らしい fact4: もしも「作成であるかもしくは夏らしいかもしくはどちらもである」ものがあるとしたらこの売買目的有価証券以外は不可視境界線である fact5: 「その股間は計上すということはないしさらに収載しない」ということは確かでない
fact3 & fact5 -> int1: その股間は夏らしい; int1 -> int2: その股間は作成であるかもしくはそれは夏らしいかまたはどちらもだ; int2 -> int3: 「作成であるかあるいは夏らしい」物はある; int3 & fact4 -> int4: この売買目的有価証券以外は不可視境界線である; int4 & fact1 -> hypothesis;
$facts$ = fact1: もしもこの売買目的有価証券以外が不可視境界線だとしたらあの要件適合性はリレーする fact2: 「その股間は計上すらないがそれは収載する」ということは成り立たない fact3: 仮に「その股間は計上すということはないしそれは収載しない」ということは偽だとしたら夏らしい fact4: もしも「作成であるかもしくは夏らしいかもしくはどちらもである」ものがあるとしたらこの売買目的有価証券以外は不可視境界線である fact5: 「その股間は計上すということはないしさらに収載しない」ということは確かでない ; $hypothesis$ = あの要件適合性はリレーしない ; $proof$ = 
fact3 & fact5 -> int1: その股間は夏らしい; int1 -> int2: その股間は作成であるかもしくはそれは夏らしいかまたはどちらもだ; int2 -> int3: 「作成であるかあるいは夏らしい」物はある; int3 & fact4 -> int4: この売買目的有価証券以外は不可視境界線である; int4 & fact1 -> hypothesis; __DISPROVED__
事実1: もしもこの売買目的有価証券以外が不可視境界線だとしたらあの要件適合性はリレーする
事実2: 「その股間は計上すらないがそれは収載する」ということは成り立たない
事実3: 仮に「その股間は計上すということはないしそれは収載しない」ということは偽だとしたら夏らしい
事実4: もしも「作成であるかもしくは夏らしいかもしくはどちらもである」ものがあるとしたらこの売買目的有価証券以外は不可視境界線である
事実5: 「その股間は計上すということはないしさらに収載しない」ということは確かでない

仮説: あの要件適合性はリレーしない
1. 事実3と事実5から、推論1: "その股間は夏らしい"が導かれる
2. 推論1から、推論2: "その股間は作成であるかもしくはそれは夏らしいかまたはどちらもだ"が導かれる
3. 推論2から、推論3: "「作成であるかあるいは夏らしい」物はある"が導かれる
4. 推論3と事実4から、推論4: "この売買目的有価証券以外は不可視境界線である"が導かれる
5. 推論4と事実1から、仮説が否定される

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