そのＵＳＢ接続は祝日休だ
fact1: もしもあの御事績が延焼するしおまけに執念深いならばこの偶有性は執念深くない fact2: もし「この増加分は消すし更に喜ばしい」ということは間違っているとすると喜ばしかない fact3: もし「この偶有性は祝日休でない」ということは正しいとすればそのＵＳＢ接続は祝日休でない fact4: もしも「ある物は生産集中でないけれど仄めかす」ということは嘘であるなら可笑しい fact5: この正当防衛が追求権だとしたらあの御事績は延焼する fact6: 執念深くないものは祝日休でなくてローテーションしない fact7: 仮にあの単純性便秘が国有企業改革ならこの正当防衛は追求権だ fact8: この過多月経は追求権である fact9: 仮にこの偶有性は執念深いとすると「そのＵＳＢ接続は執念深くないけれど追求権だ」ということは確かでない fact10: あの単純性便秘は国有企業改革だ fact11: もし仮に「なんらかのものは執念深くないけど追求権である」ということは嘘であるならそれは祝日休である fact12: もし仮にこの増加分が喜ばしかないしそれにそれが執念深くないとしたらあの御事績は執念深い fact13: この偶有性はローテーションするし執念深い
fact13 -> int1: 「この偶有性は執念深い」ということは本当である; int1 & fact9 -> int2: 「そのＵＳＢ接続は執念深くないけど追求権だ」ということは偽だ; fact11 -> int3: 「そのＵＳＢ接続は執念深くないけれどそれは追求権だ」ということは誤りであるならそれは祝日休である; int2 & int3 -> hypothesis;
そのＵＳＢ接続は祝日休だということはない
fact21 -> int4: もしこの偶有性が執念深くないとしたらそれは祝日休でなくてしかもローテーションしない; fact14 & fact17 -> int5: この正当防衛は追求権だ; fact18 & int5 -> int6: あの御事績は延焼する;
$facts$ = fact1: もしもあの御事績が延焼するしおまけに執念深いならばこの偶有性は執念深くない fact2: もし「この増加分は消すし更に喜ばしい」ということは間違っているとすると喜ばしかない fact3: もし「この偶有性は祝日休でない」ということは正しいとすればそのＵＳＢ接続は祝日休でない fact4: もしも「ある物は生産集中でないけれど仄めかす」ということは嘘であるなら可笑しい fact5: この正当防衛が追求権だとしたらあの御事績は延焼する fact6: 執念深くないものは祝日休でなくてローテーションしない fact7: 仮にあの単純性便秘が国有企業改革ならこの正当防衛は追求権だ fact8: この過多月経は追求権である fact9: 仮にこの偶有性は執念深いとすると「そのＵＳＢ接続は執念深くないけれど追求権だ」ということは確かでない fact10: あの単純性便秘は国有企業改革だ fact11: もし仮に「なんらかのものは執念深くないけど追求権である」ということは嘘であるならそれは祝日休である fact12: もし仮にこの増加分が喜ばしかないしそれにそれが執念深くないとしたらあの御事績は執念深い fact13: この偶有性はローテーションするし執念深い ; $hypothesis$ = そのＵＳＢ接続は祝日休だ ; $proof$ = 
fact13 -> int1: 「この偶有性は執念深い」ということは本当である; int1 & fact9 -> int2: 「そのＵＳＢ接続は執念深くないけど追求権だ」ということは偽だ; fact11 -> int3: 「そのＵＳＢ接続は執念深くないけれどそれは追求権だ」ということは誤りであるならそれは祝日休である; int2 & int3 -> hypothesis; __PROVED__
事実1: もしもあの御事績が延焼するしおまけに執念深いならばこの偶有性は執念深くない
事実2: もし「この増加分は消すし更に喜ばしい」ということは間違っているとすると喜ばしかない
事実3: もし「この偶有性は祝日休でない」ということは正しいとすればそのＵＳＢ接続は祝日休でない
事実4: もしも「ある物は生産集中でないけれど仄めかす」ということは嘘であるなら可笑しい
事実5: この正当防衛が追求権だとしたらあの御事績は延焼する
事実6: 執念深くないものは祝日休でなくてローテーションしない
事実7: 仮にあの単純性便秘が国有企業改革ならこの正当防衛は追求権だ
事実8: この過多月経は追求権である
事実9: 仮にこの偶有性は執念深いとすると「そのＵＳＢ接続は執念深くないけれど追求権だ」ということは確かでない
事実10: あの単純性便秘は国有企業改革だ
事実11: もし仮に「なんらかのものは執念深くないけど追求権である」ということは嘘であるならそれは祝日休である
事実12: もし仮にこの増加分が喜ばしかないしそれにそれが執念深くないとしたらあの御事績は執念深い
事実13: この偶有性はローテーションするし執念深い

仮説: そのＵＳＢ接続は祝日休だ
1. 事実13から、推論1: "「この偶有性は執念深い」ということは本当である"が導かれる
2. 推論1と事実9から、推論2: "「そのＵＳＢ接続は執念深くないけど追求権だ」ということは偽だ"が導かれる
3. 事実11から、推論3: "「そのＵＳＢ接続は執念深くないけれどそれは追求権だ」ということは誤りであるならそれは祝日休である"が導かれる
4. 推論2と推論3から、仮説が導かれる

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