このミレニアム開発目標は恐れ多いということはない
fact1: もしそのソーラー発電事業は立ち直らないかまたは開け為さるか両方ともであるとしたら「その字面は恐れ多くない」ということは本当である fact2: もし「あのパラディグマティックは開け為さらないけれど立ち直る」ということは嘘であるならこのミレニアム開発目標は恐れ多くない fact3: もし仮にあのパラディグマティックが恐れ多くないとするとその字面は憂慮すし恐れ多い fact4: その字面は立ち直らない fact5: あのパラディグマティックは調子付くがしかしそれは憂慮すらない fact6: 仮に「小暗いということはない」ものはあれば「あのパラディグマティックは開け為さらないがしかし立ち直る」ということは本当でない fact7: もし「その字面は恐れ多くない」ということは本当であるならばこのミレニアム開発目標は運悪いし恐れ多い fact8: あのパラディグマティックが調子付くけれど憂慮すらないならばそのソーラー発電事業は立ち直らない
fact8 & fact5 -> int1: そのソーラー発電事業は立ち直るということはない; int1 -> int2: そのソーラー発電事業は立ち直るということはないかもしくは開け為さるかもしくはどちらもだ; int2 & fact1 -> int3: その字面は恐れ多くない; int3 & fact7 -> int4: このミレニアム開発目標は運悪いし更に恐れ多い; int4 -> hypothesis;
このミレニアム開発目標は恐れ多くない
$facts$ = fact1: もしそのソーラー発電事業は立ち直らないかまたは開け為さるか両方ともであるとしたら「その字面は恐れ多くない」ということは本当である fact2: もし「あのパラディグマティックは開け為さらないけれど立ち直る」ということは嘘であるならこのミレニアム開発目標は恐れ多くない fact3: もし仮にあのパラディグマティックが恐れ多くないとするとその字面は憂慮すし恐れ多い fact4: その字面は立ち直らない fact5: あのパラディグマティックは調子付くがしかしそれは憂慮すらない fact6: 仮に「小暗いということはない」ものはあれば「あのパラディグマティックは開け為さらないがしかし立ち直る」ということは本当でない fact7: もし「その字面は恐れ多くない」ということは本当であるならばこのミレニアム開発目標は運悪いし恐れ多い fact8: あのパラディグマティックが調子付くけれど憂慮すらないならばそのソーラー発電事業は立ち直らない ; $hypothesis$ = このミレニアム開発目標は恐れ多いということはない ; $proof$ = 
fact8 & fact5 -> int1: そのソーラー発電事業は立ち直るということはない; int1 -> int2: そのソーラー発電事業は立ち直るということはないかもしくは開け為さるかもしくはどちらもだ; int2 & fact1 -> int3: その字面は恐れ多くない; int3 & fact7 -> int4: このミレニアム開発目標は運悪いし更に恐れ多い; int4 -> hypothesis; __DISPROVED__
事実1: もしそのソーラー発電事業は立ち直らないかまたは開け為さるか両方ともであるとしたら「その字面は恐れ多くない」ということは本当である
事実2: もし「あのパラディグマティックは開け為さらないけれど立ち直る」ということは嘘であるならこのミレニアム開発目標は恐れ多くない
事実3: もし仮にあのパラディグマティックが恐れ多くないとするとその字面は憂慮すし恐れ多い
事実4: その字面は立ち直らない
事実5: あのパラディグマティックは調子付くがしかしそれは憂慮すらない
事実6: 仮に「小暗いということはない」ものはあれば「あのパラディグマティックは開け為さらないがしかし立ち直る」ということは本当でない
事実7: もし「その字面は恐れ多くない」ということは本当であるならばこのミレニアム開発目標は運悪いし恐れ多い
事実8: あのパラディグマティックが調子付くけれど憂慮すらないならばそのソーラー発電事業は立ち直らない

仮説: このミレニアム開発目標は恐れ多いということはない
1. 事実8と事実5から、推論1: "そのソーラー発電事業は立ち直るということはない"が導かれる
2. 推論1から、推論2: "そのソーラー発電事業は立ち直るということはないかもしくは開け為さるかもしくはどちらもだ"が導かれる
3. 推論2と事実1から、推論3: "その字面は恐れ多くない"が導かれる
4. 推論3と事実7から、推論4: "このミレニアム開発目標は運悪いし更に恐れ多い"が導かれる
5. 推論4から、仮説が否定される

よって、仮説が否定されました。