「「もしも外国証券でないかまたは居眠りするか両方ともだとすれば共生関係でない」ものはある」ということは成り立たない
fact1: もしもあの種明かしがネット金額でないかまたは共生関係であるかもしくはどちらもであるとすればそれは溶出しない fact2: もしもなにかは貴顕でないかまたは天体観測ならそれは属性ビューであるということはない fact3: 「仮に御役立たないか保障提供機能であるか両方ともなら貸し付け金な」ものはある fact4: 「もし「ＮＡＣＮでない」ということは成り立つとすると「保障提供機能でない」ということは成り立つ」物はある fact5: 仮にあの種明かしが居眠りするなら共生関係でない fact6: 仮になんらかの物が捏造しないかもしくは前半戦であるかもしくは両方ともならば熟れ切らない fact7: 何らかの物は外国証券でないかあるいは居眠りするかもしくは両方ともだとしたらそれは共生関係である fact8: 「「居眠りする」ということは真実だとすれば共生関係でない」ものはある fact9: もしも何らかの物は外国証券でないかまたは居眠りするかまたは両方ともならば共生関係でない fact10: もしその原詩が出資しないとしたらそれは提議するということはない fact11: 仮にあの種明かしが外国証券でないかあるいはそれは居眠りするかどちらもであるとしたらそれは共生関係である fact12: 「もしも外国証券でないなら共生関係でない」ものはある fact13: 「外国証券であるかまたは居眠りするなら共生関係でない」ものはある fact14: あの種明かしが外国証券であるか居眠りするとしたらそれは共生関係でない fact15: 「もしも外国証券でないかまたは居眠りするとしたら共生関係な」ものはある
fact9 -> int1: 仮にあの種明かしが外国証券だということはないかそれが居眠りするとしたら共生関係であるということはない; int1 -> hypothesis;
$facts$ = fact1: もしもあの種明かしがネット金額でないかまたは共生関係であるかもしくはどちらもであるとすればそれは溶出しない fact2: もしもなにかは貴顕でないかまたは天体観測ならそれは属性ビューであるということはない fact3: 「仮に御役立たないか保障提供機能であるか両方ともなら貸し付け金な」ものはある fact4: 「もし「ＮＡＣＮでない」ということは成り立つとすると「保障提供機能でない」ということは成り立つ」物はある fact5: 仮にあの種明かしが居眠りするなら共生関係でない fact6: 仮になんらかの物が捏造しないかもしくは前半戦であるかもしくは両方ともならば熟れ切らない fact7: 何らかの物は外国証券でないかあるいは居眠りするかもしくは両方ともだとしたらそれは共生関係である fact8: 「「居眠りする」ということは真実だとすれば共生関係でない」ものはある fact9: もしも何らかの物は外国証券でないかまたは居眠りするかまたは両方ともならば共生関係でない fact10: もしその原詩が出資しないとしたらそれは提議するということはない fact11: 仮にあの種明かしが外国証券でないかあるいはそれは居眠りするかどちらもであるとしたらそれは共生関係である fact12: 「もしも外国証券でないなら共生関係でない」ものはある fact13: 「外国証券であるかまたは居眠りするなら共生関係でない」ものはある fact14: あの種明かしが外国証券であるか居眠りするとしたらそれは共生関係でない fact15: 「もしも外国証券でないかまたは居眠りするとしたら共生関係な」ものはある ; $hypothesis$ = 「「もしも外国証券でないかまたは居眠りするか両方ともだとすれば共生関係でない」ものはある」ということは成り立たない ; $proof$ = 
fact9 -> int1: 仮にあの種明かしが外国証券だということはないかそれが居眠りするとしたら共生関係であるということはない; int1 -> hypothesis; __DISPROVED__
事実1: もしもあの種明かしがネット金額でないかまたは共生関係であるかもしくはどちらもであるとすればそれは溶出しない
事実2: もしもなにかは貴顕でないかまたは天体観測ならそれは属性ビューであるということはない
事実3: 「仮に御役立たないか保障提供機能であるか両方ともなら貸し付け金な」ものはある
事実4: 「もし「ＮＡＣＮでない」ということは成り立つとすると「保障提供機能でない」ということは成り立つ」物はある
事実5: 仮にあの種明かしが居眠りするなら共生関係でない
事実6: 仮になんらかの物が捏造しないかもしくは前半戦であるかもしくは両方ともならば熟れ切らない
事実7: 何らかの物は外国証券でないかあるいは居眠りするかもしくは両方ともだとしたらそれは共生関係である
事実8: 「「居眠りする」ということは真実だとすれば共生関係でない」ものはある
事実9: もしも何らかの物は外国証券でないかまたは居眠りするかまたは両方ともならば共生関係でない
事実10: もしその原詩が出資しないとしたらそれは提議するということはない
事実11: 仮にあの種明かしが外国証券でないかあるいはそれは居眠りするかどちらもであるとしたらそれは共生関係である
事実12: 「もしも外国証券でないなら共生関係でない」ものはある
事実13: 「外国証券であるかまたは居眠りするなら共生関係でない」ものはある
事実14: あの種明かしが外国証券であるか居眠りするとしたらそれは共生関係でない
事実15: 「もしも外国証券でないかまたは居眠りするとしたら共生関係な」ものはある

仮説: 「「もしも外国証券でないかまたは居眠りするか両方ともだとすれば共生関係でない」ものはある」ということは成り立たない
1. 事実9から、推論1: "仮にあの種明かしが外国証券だということはないかそれが居眠りするとしたら共生関係であるということはない"が導かれる
2. 推論1から、仮説が否定される

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