この本来的目的は契約下でない
fact1: もしもあるものはオー・データ機器でないがしかし追い付けるとしたらそれは浮き易くない fact2: この本来的目的は独り立ちするということはない fact3: もしもこの後発性が押し広げないなら枠線でなくてみっとも可愛いということはない fact4: その万博は構成事業者でない fact5: このＤＰは独り立ちするということはない fact6: もしもこの隠れチャネルは契約下だということはなくてかつせこくないならば病床規模別でない fact7: もしこの本来的目的は踏襲しないが構成事業者であるとすれば「それは契約下でない」ということは正しい fact8: この本来的目的は押し広げなくてしかも構成事業者でない fact9: この本来的目的は流入しない fact10: もし仮にこの本来的目的は構成事業者でないなら零し始めないしまた御悪くない fact11: もし何かは踏襲しなくてまた構成事業者であるということはないとしたら契約下でない fact12: 「この本来的目的は構成事業者である」ということは偽である fact13: この本来的目的が独り立ちしないならそれは踏襲しないしさらに構成事業者でない
fact11 -> int1: この本来的目的が踏襲しなくてかつ構成事業者でないとしたら契約下でない; fact13 & fact2 -> int2: この本来的目的は踏襲しなくてかつ構成事業者でない; int1 & int2 -> hypothesis;
$facts$ = fact1: もしもあるものはオー・データ機器でないがしかし追い付けるとしたらそれは浮き易くない fact2: この本来的目的は独り立ちするということはない fact3: もしもこの後発性が押し広げないなら枠線でなくてみっとも可愛いということはない fact4: その万博は構成事業者でない fact5: このＤＰは独り立ちするということはない fact6: もしもこの隠れチャネルは契約下だということはなくてかつせこくないならば病床規模別でない fact7: もしこの本来的目的は踏襲しないが構成事業者であるとすれば「それは契約下でない」ということは正しい fact8: この本来的目的は押し広げなくてしかも構成事業者でない fact9: この本来的目的は流入しない fact10: もし仮にこの本来的目的は構成事業者でないなら零し始めないしまた御悪くない fact11: もし何かは踏襲しなくてまた構成事業者であるということはないとしたら契約下でない fact12: 「この本来的目的は構成事業者である」ということは偽である fact13: この本来的目的が独り立ちしないならそれは踏襲しないしさらに構成事業者でない ; $hypothesis$ = この本来的目的は契約下でない ; $proof$ = 
fact11 -> int1: この本来的目的が踏襲しなくてかつ構成事業者でないとしたら契約下でない; fact13 & fact2 -> int2: この本来的目的は踏襲しなくてかつ構成事業者でない; int1 & int2 -> hypothesis; __PROVED__
事実1: もしもあるものはオー・データ機器でないがしかし追い付けるとしたらそれは浮き易くない
事実2: この本来的目的は独り立ちするということはない
事実3: もしもこの後発性が押し広げないなら枠線でなくてみっとも可愛いということはない
事実4: その万博は構成事業者でない
事実5: このＤＰは独り立ちするということはない
事実6: もしもこの隠れチャネルは契約下だということはなくてかつせこくないならば病床規模別でない
事実7: もしこの本来的目的は踏襲しないが構成事業者であるとすれば「それは契約下でない」ということは正しい
事実8: この本来的目的は押し広げなくてしかも構成事業者でない
事実9: この本来的目的は流入しない
事実10: もし仮にこの本来的目的は構成事業者でないなら零し始めないしまた御悪くない
事実11: もし何かは踏襲しなくてまた構成事業者であるということはないとしたら契約下でない
事実12: 「この本来的目的は構成事業者である」ということは偽である
事実13: この本来的目的が独り立ちしないならそれは踏襲しないしさらに構成事業者でない

仮説: この本来的目的は契約下でない
1. 事実11から、推論1: "この本来的目的が踏襲しなくてかつ構成事業者でないとしたら契約下でない"が導かれる
2. 事実13と事実2から、推論2: "この本来的目的は踏襲しなくてかつ構成事業者でない"が導かれる
3. 推論1と推論2から、仮説が導かれる

よって、仮説が証明されました。