この不用心は生産者である
fact1: 仮に「そのマドレーヌ型は生産者だ」ということは成り立てばこの不用心は生産者でない fact2: もしもそのマドレーヌ型が確からしいとしたらあの閲覧禁止は確からしい fact3: 仮に「そのハロウィーンパーティは確からしい」ということは真実だとするとその引き当て金はぞくぞくする fact4: もしもなにがしかのものが粉っぽいかまたは御懐妊ならそのハロウィーンパーティは確からしい fact5: そのマドレーヌ型は突き倒さない fact6: もし仮にそのマドレーヌ型が突き倒さないとすれば粉っぽいかまたは御懐妊であるか両方である fact7: もしもこの協力無しは妨害しないなら「その引き当て金は納得し難くない一方で整理し直す」ということは間違っている fact8: そのマドレーヌ型は粉っぽいかもしくはそれはぞくぞくする fact9: 仮になんらかの物は奇形でないとするとそれはぞくぞくするということはなくてまた確からしくない fact10: もしも「なにがしかの物は奇形である一方で疾しない」ということは事実と異なるとしたら奇形でない fact11: そのハロウィーンパーティは短くないとすれば「そのマドレーヌ型は奇形であるけれど疾しない」ということは偽である fact12: その引き当て金がぞくぞくするとすればこの不用心は生産者だ fact13: 「その引き当て金は納得し難くない一方で整理し直す」ということは確かだということはないとするとそのハロウィーンパーティは短くない fact14: この改善主義は突き倒さない fact15: 確からしいということはない物は生産者であるし突き倒す fact16: 「あの銃器対策課は妨害するけれどデートしない」ということは嘘だ
fact6 & fact5 -> int1: そのマドレーヌ型は粉っぽいかあるいはそれは御懐妊である; int1 -> int2: 「粉っぽいか御懐妊であるかまたはどちらもな」物はある; int2 & fact4 -> int3: そのハロウィーンパーティは確からしい; int3 & fact3 -> int4: その引き当て金はぞくぞくする; int4 & fact12 -> hypothesis;
あの閲覧禁止は確からしい
$facts$ = fact1: 仮に「そのマドレーヌ型は生産者だ」ということは成り立てばこの不用心は生産者でない fact2: もしもそのマドレーヌ型が確からしいとしたらあの閲覧禁止は確からしい fact3: 仮に「そのハロウィーンパーティは確からしい」ということは真実だとするとその引き当て金はぞくぞくする fact4: もしもなにがしかのものが粉っぽいかまたは御懐妊ならそのハロウィーンパーティは確からしい fact5: そのマドレーヌ型は突き倒さない fact6: もし仮にそのマドレーヌ型が突き倒さないとすれば粉っぽいかまたは御懐妊であるか両方である fact7: もしもこの協力無しは妨害しないなら「その引き当て金は納得し難くない一方で整理し直す」ということは間違っている fact8: そのマドレーヌ型は粉っぽいかもしくはそれはぞくぞくする fact9: 仮になんらかの物は奇形でないとするとそれはぞくぞくするということはなくてまた確からしくない fact10: もしも「なにがしかの物は奇形である一方で疾しない」ということは事実と異なるとしたら奇形でない fact11: そのハロウィーンパーティは短くないとすれば「そのマドレーヌ型は奇形であるけれど疾しない」ということは偽である fact12: その引き当て金がぞくぞくするとすればこの不用心は生産者だ fact13: 「その引き当て金は納得し難くない一方で整理し直す」ということは確かだということはないとするとそのハロウィーンパーティは短くない fact14: この改善主義は突き倒さない fact15: 確からしいということはない物は生産者であるし突き倒す fact16: 「あの銃器対策課は妨害するけれどデートしない」ということは嘘だ ; $hypothesis$ = この不用心は生産者である ; $proof$ = 
fact6 & fact5 -> int1: そのマドレーヌ型は粉っぽいかあるいはそれは御懐妊である; int1 -> int2: 「粉っぽいか御懐妊であるかまたはどちらもな」物はある; int2 & fact4 -> int3: そのハロウィーンパーティは確からしい; int3 & fact3 -> int4: その引き当て金はぞくぞくする; int4 & fact12 -> hypothesis; __PROVED__
事実1: 仮に「そのマドレーヌ型は生産者だ」ということは成り立てばこの不用心は生産者でない
事実2: もしもそのマドレーヌ型が確からしいとしたらあの閲覧禁止は確からしい
事実3: 仮に「そのハロウィーンパーティは確からしい」ということは真実だとするとその引き当て金はぞくぞくする
事実4: もしもなにがしかのものが粉っぽいかまたは御懐妊ならそのハロウィーンパーティは確からしい
事実5: そのマドレーヌ型は突き倒さない
事実6: もし仮にそのマドレーヌ型が突き倒さないとすれば粉っぽいかまたは御懐妊であるか両方である
事実7: もしもこの協力無しは妨害しないなら「その引き当て金は納得し難くない一方で整理し直す」ということは間違っている
事実8: そのマドレーヌ型は粉っぽいかもしくはそれはぞくぞくする
事実9: 仮になんらかの物は奇形でないとするとそれはぞくぞくするということはなくてまた確からしくない
事実10: もしも「なにがしかの物は奇形である一方で疾しない」ということは事実と異なるとしたら奇形でない
事実11: そのハロウィーンパーティは短くないとすれば「そのマドレーヌ型は奇形であるけれど疾しない」ということは偽である
事実12: その引き当て金がぞくぞくするとすればこの不用心は生産者だ
事実13: 「その引き当て金は納得し難くない一方で整理し直す」ということは確かだということはないとするとそのハロウィーンパーティは短くない
事実14: この改善主義は突き倒さない
事実15: 確からしいということはない物は生産者であるし突き倒す
事実16: 「あの銃器対策課は妨害するけれどデートしない」ということは嘘だ

仮説: この不用心は生産者である
1. 事実6と事実5から、推論1: "そのマドレーヌ型は粉っぽいかあるいはそれは御懐妊である"が導かれる
2. 推論1から、推論2: "「粉っぽいか御懐妊であるかまたはどちらもな」物はある"が導かれる
3. 推論2と事実4から、推論3: "そのハロウィーンパーティは確からしい"が導かれる
4. 推論3と事実3から、推論4: "その引き当て金はぞくぞくする"が導かれる
5. 推論4と事実12から、仮説が導かれる

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