あのオープニングは稼げなくてその上二十歳そこそこでない
fact1: もしそのアウトレットモールが大ヒットするならその世界規模は横転する fact2: そのアウトレットモールは大ヒットしないなら「その小雪は分娩監視装置であるしまた足留めする」ということは成り立たない fact3: もしも「その小雪は稼げる」ということは間違っていないならあのオープニングは稼げるということはない fact4: あのオープニングは稼げない fact5: 「その小雪は分娩監視装置だしおまけに足留めする」ということは嘘だ fact6: 「その小雪は上げ易いということはなくて加えて捗々しくない」ということは真実だとすると稼げる fact7: 仮に何かは経済事業だとしたらひ弱くないかあるいは推量出来ないかもしくは両方ともだ fact8: もしもそのアウトレットモールは大ヒットしないとすると「その小雪は分娩監視装置だけれど足留めしない」ということは偽だ fact9: その小雪が稼げるとしたらあのオープニングは稼げないしさらに二十歳そこそこでない fact10: この週五日制は横転しない fact11: 「その世界規模は横転しないかまたは上げ易いか両方ともである」ということは成り立つということはないとすれば「そのアウトレットモールは上げ易くない」ということは正しい fact12: もしもその世界規模は行き難くないしさらに捗々しくないならば「捕らわれ易い」ということは正しい fact13: 仮にその小雪が足留めするとすればそれは捗々しくない fact14: その世界規模は横転しない fact15: その小雪は上げ易くない fact16: 仮にその世界規模は上げ易くないとすると「そのアウトレットモールは捗々しくないけれど分娩監視装置である」ということは確かだ fact17: もしそのアウトレットモールが捗々しくないけれど分娩監視装置であるとすればあのオープニングは足留めしない fact18: もしもなにがしかの物が足留めしないなら大ヒットしないけれど横転する fact19: もしなんらかのものは大ヒットしないとしたら「それは稼げないし更にそれは二十歳そこそこであるということはない」ということは成り立たない fact20: 「その小雪は分娩監視装置であるがしかしそれは足留めするということはない」ということは誤りならばそれは捗々しくない
void -> assump1: 以下のように仮定する。そのアウトレットモールは大ヒットする; fact1 & assump1 -> int1: その世界規模は横転する; int1 & fact14 -> int2: これは矛盾である; [assump1] & int2 -> int3: そのアウトレットモールは大ヒットしない; int3 & fact8 -> int4: 「その小雪は分娩監視装置であるけれど足留めしない」ということは成り立たない; int4 & fact20 -> int5: その小雪は捗々しくない; int5 & fact15 -> int6: その小雪は上げ易くないしおまけにそれは捗々しくない; int6 & fact6 -> int7: その小雪は稼げる; int7 & fact9 -> hypothesis;
そのアウトレットモールは上げ易くない
$facts$ = fact1: もしそのアウトレットモールが大ヒットするならその世界規模は横転する fact2: そのアウトレットモールは大ヒットしないなら「その小雪は分娩監視装置であるしまた足留めする」ということは成り立たない fact3: もしも「その小雪は稼げる」ということは間違っていないならあのオープニングは稼げるということはない fact4: あのオープニングは稼げない fact5: 「その小雪は分娩監視装置だしおまけに足留めする」ということは嘘だ fact6: 「その小雪は上げ易いということはなくて加えて捗々しくない」ということは真実だとすると稼げる fact7: 仮に何かは経済事業だとしたらひ弱くないかあるいは推量出来ないかもしくは両方ともだ fact8: もしもそのアウトレットモールは大ヒットしないとすると「その小雪は分娩監視装置だけれど足留めしない」ということは偽だ fact9: その小雪が稼げるとしたらあのオープニングは稼げないしさらに二十歳そこそこでない fact10: この週五日制は横転しない fact11: 「その世界規模は横転しないかまたは上げ易いか両方ともである」ということは成り立つということはないとすれば「そのアウトレットモールは上げ易くない」ということは正しい fact12: もしもその世界規模は行き難くないしさらに捗々しくないならば「捕らわれ易い」ということは正しい fact13: 仮にその小雪が足留めするとすればそれは捗々しくない fact14: その世界規模は横転しない fact15: その小雪は上げ易くない fact16: 仮にその世界規模は上げ易くないとすると「そのアウトレットモールは捗々しくないけれど分娩監視装置である」ということは確かだ fact17: もしそのアウトレットモールが捗々しくないけれど分娩監視装置であるとすればあのオープニングは足留めしない fact18: もしもなにがしかの物が足留めしないなら大ヒットしないけれど横転する fact19: もしなんらかのものは大ヒットしないとしたら「それは稼げないし更にそれは二十歳そこそこであるということはない」ということは成り立たない fact20: 「その小雪は分娩監視装置であるがしかしそれは足留めするということはない」ということは誤りならばそれは捗々しくない ; $hypothesis$ = あのオープニングは稼げなくてその上二十歳そこそこでない ; $proof$ = 
void -> assump1: 以下のように仮定する。そのアウトレットモールは大ヒットする; fact1 & assump1 -> int1: その世界規模は横転する; int1 & fact14 -> int2: これは矛盾である; [assump1] & int2 -> int3: そのアウトレットモールは大ヒットしない; int3 & fact8 -> int4: 「その小雪は分娩監視装置であるけれど足留めしない」ということは成り立たない; int4 & fact20 -> int5: その小雪は捗々しくない; int5 & fact15 -> int6: その小雪は上げ易くないしおまけにそれは捗々しくない; int6 & fact6 -> int7: その小雪は稼げる; int7 & fact9 -> hypothesis; __PROVED__
事実1: もしそのアウトレットモールが大ヒットするならその世界規模は横転する
事実2: そのアウトレットモールは大ヒットしないなら「その小雪は分娩監視装置であるしまた足留めする」ということは成り立たない
事実3: もしも「その小雪は稼げる」ということは間違っていないならあのオープニングは稼げるということはない
事実4: あのオープニングは稼げない
事実5: 「その小雪は分娩監視装置だしおまけに足留めする」ということは嘘だ
事実6: 「その小雪は上げ易いということはなくて加えて捗々しくない」ということは真実だとすると稼げる
事実7: 仮に何かは経済事業だとしたらひ弱くないかあるいは推量出来ないかもしくは両方ともだ
事実8: もしもそのアウトレットモールは大ヒットしないとすると「その小雪は分娩監視装置だけれど足留めしない」ということは偽だ
事実9: その小雪が稼げるとしたらあのオープニングは稼げないしさらに二十歳そこそこでない
事実10: この週五日制は横転しない
事実11: 「その世界規模は横転しないかまたは上げ易いか両方ともである」ということは成り立つということはないとすれば「そのアウトレットモールは上げ易くない」ということは正しい
事実12: もしもその世界規模は行き難くないしさらに捗々しくないならば「捕らわれ易い」ということは正しい
事実13: 仮にその小雪が足留めするとすればそれは捗々しくない
事実14: その世界規模は横転しない
事実15: その小雪は上げ易くない
事実16: 仮にその世界規模は上げ易くないとすると「そのアウトレットモールは捗々しくないけれど分娩監視装置である」ということは確かだ
事実17: もしそのアウトレットモールが捗々しくないけれど分娩監視装置であるとすればあのオープニングは足留めしない
事実18: もしもなにがしかの物が足留めしないなら大ヒットしないけれど横転する
事実19: もしなんらかのものは大ヒットしないとしたら「それは稼げないし更にそれは二十歳そこそこであるということはない」ということは成り立たない
事実20: 「その小雪は分娩監視装置であるがしかしそれは足留めするということはない」ということは誤りならばそれは捗々しくない

仮説: あのオープニングは稼げなくてその上二十歳そこそこでない
1. 仮定1: 以下のように仮定する。そのアウトレットモールは大ヒットする
2. 事実1と仮定1から、推論1: "その世界規模は横転する"が導かれる
3. 推論1と事実14から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "そのアウトレットモールは大ヒットしない"が導かれる
5. 推論3と事実8から、推論4: "「その小雪は分娩監視装置であるけれど足留めしない」ということは成り立たない"が導かれる
6. 推論4と事実20から、推論5: "その小雪は捗々しくない"が導かれる
7. 推論5と事実15から、推論6: "その小雪は上げ易くないしおまけにそれは捗々しくない"が導かれる
8. 推論6と事実6から、推論7: "その小雪は稼げる"が導かれる
9. 推論7と事実9から、仮説が導かれる

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