なんらかのものは五十年代半ばでなくて出府しない
fact1: 「地図情報であるが出府しない」物はある fact2: 仮にそのサプライチェーンマネジメントは地図情報でないならば「この超過支出禁止は五十年代半ばでないしそれは出府しない」ということは真実だ fact3: 「味気無い」物はある fact4: 「五十年代半ばでないけど出府する」物はある fact5: もしもなにがしかの物が味気無いならばそのサプライチェーンマネジメントは地図情報でない fact6: 何らかのものは地図情報でないしかつそれは五十年代半ばでない fact7: 「五十年代半ばであるが出府しない」ものはある fact8: 「五十年代半ばであるということはない」ものはある fact9: 味気無い物は食べ捲らなくて其れっぽいということはない fact10: もし仮にそのサプライチェーンマネジメントが出府しないとすればあの超過支出禁止は五十年代半ばでなくてかつ地図情報でない fact11: この超過支出禁止は出府しない fact12: 仮にそのサプライチェーンマネジメントが出府しないならこの超過支出禁止は地図情報でない fact13: なんらかのものは螺旋形でない fact14: とある物は劣等感情だということはない fact15: 「飲んだくれるししかも御濃くない」ものはある
fact3 & fact5 -> int1: そのサプライチェーンマネジメントは地図情報でない; int1 & fact2 -> int2: この超過支出禁止は五十年代半ばだということはないしさらに出府しない; int2 -> hypothesis;
fact3 & fact5 -> int1: ¬{B}{a}; int1 & fact2 -> int2: (¬{D}{b} & ¬{C}{b}); int2 -> hypothesis;
何らかの物は食べ捲らないしかつ其れっぽくない
fact16 -> int3: もしもこの超過支出禁止が味気無いならば食べ捲るということはないし其れっぽくない;
$facts$ = fact1: 「地図情報であるが出府しない」物はある fact2: 仮にそのサプライチェーンマネジメントは地図情報でないならば「この超過支出禁止は五十年代半ばでないしそれは出府しない」ということは真実だ fact3: 「味気無い」物はある fact4: 「五十年代半ばでないけど出府する」物はある fact5: もしもなにがしかの物が味気無いならばそのサプライチェーンマネジメントは地図情報でない fact6: 何らかのものは地図情報でないしかつそれは五十年代半ばでない fact7: 「五十年代半ばであるが出府しない」ものはある fact8: 「五十年代半ばであるということはない」ものはある fact9: 味気無い物は食べ捲らなくて其れっぽいということはない fact10: もし仮にそのサプライチェーンマネジメントが出府しないとすればあの超過支出禁止は五十年代半ばでなくてかつ地図情報でない fact11: この超過支出禁止は出府しない fact12: 仮にそのサプライチェーンマネジメントが出府しないならこの超過支出禁止は地図情報でない fact13: なんらかのものは螺旋形でない fact14: とある物は劣等感情だということはない fact15: 「飲んだくれるししかも御濃くない」ものはある ; $hypothesis$ = なんらかのものは五十年代半ばでなくて出府しない ; $proof$ = 
fact3 & fact5 -> int1: そのサプライチェーンマネジメントは地図情報でない; int1 & fact2 -> int2: この超過支出禁止は五十年代半ばだということはないしさらに出府しない; int2 -> hypothesis; __PROVED__
事実1: 「地図情報であるが出府しない」物はある
事実2: 仮にそのサプライチェーンマネジメントは地図情報でないならば「この超過支出禁止は五十年代半ばでないしそれは出府しない」ということは真実だ
事実3: 「味気無い」物はある
事実4: 「五十年代半ばでないけど出府する」物はある
事実5: もしもなにがしかの物が味気無いならばそのサプライチェーンマネジメントは地図情報でない
事実6: 何らかのものは地図情報でないしかつそれは五十年代半ばでない
事実7: 「五十年代半ばであるが出府しない」ものはある
事実8: 「五十年代半ばであるということはない」ものはある
事実9: 味気無い物は食べ捲らなくて其れっぽいということはない
事実10: もし仮にそのサプライチェーンマネジメントが出府しないとすればあの超過支出禁止は五十年代半ばでなくてかつ地図情報でない
事実11: この超過支出禁止は出府しない
事実12: 仮にそのサプライチェーンマネジメントが出府しないならこの超過支出禁止は地図情報でない
事実13: なんらかのものは螺旋形でない
事実14: とある物は劣等感情だということはない
事実15: 「飲んだくれるししかも御濃くない」ものはある

仮説: なんらかのものは五十年代半ばでなくて出府しない
1. 事実3と事実5から、推論1: "そのサプライチェーンマネジメントは地図情報でない"が導かれる
2. 推論1と事実2から、推論2: "この超過支出禁止は五十年代半ばだということはないしさらに出府しない"が導かれる
3. 推論2から、仮説が導かれる

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