「この介護保障は小さくないかもしくは風靡しないかまたはどちらもだ」ということは成り立たない
fact1: 仮にこの単位系はオンラインショッピングでないがしかし残り易いとすると「この保安施設は小さい」ということは間違いでない fact2: 「もしもこの単位系が電束密度でないならこの単位系はオンラインショッピングでない」ということは成り立つ fact3: 何らかの物がナローバンドでないけれどそれが古人だとしたら電束密度でない fact4: この単位系はオンラインショッピングでない fact5: もしなんらかのものは電束密度でないならオンラインショッピングだということはない一方で残り易い fact6: 仮にこの単位系は風靡するということはないならば「それはオンラインショッピングでない」ということは成り立つ fact7: 仮になにかは古人であるならばそれは小さくないかあるいはそれは風靡しないかあるいは両方である fact8: もしもナローバンドが古人だとするとそれは電束密度でない fact9: 「あの不況下は仰々しいということはないかあるいは紙バンでないかまたはどちらもである」ということは嘘である fact10: もしもこの介護保障が電束密度でそれにナローバンドだとするとそれは小さくない fact11: もしも「あの不況下は紙バンであるかまたは仰々しくないかあるいは両方ともである」ということは成り立たないなら「電束密度だということはない」ということは正しい fact12: もしもあの不況下が電束密度で紙バンであるとしたらこの単位系は小さい fact13: この保安施設はナローバンドでない fact14: もし仮にあの不況下が仰々しくないとするとオンラインショッピングでないがしかし電束密度だ fact15: もし仮にこの保安施設は小さいとすれば「この介護保障は小さくないか風靡しない」ということは成り立たない fact16: 仮にあの不況下がナローバンドでないとしたらこの単位系はナローバンドでないけれど古人である fact17: もし仮に「あの不況下は仰々しくないかあるいはそれは紙バンでない」ということは成り立たないならば「それはナローバンドでない」ということは確かである
fact17 & fact9 -> int1: あの不況下はナローバンドでない; int1 & fact16 -> int2: この単位系はナローバンドでないけれど古人だ; fact3 -> int3: もしもこの単位系はナローバンドでないけれど古人ならば電束密度でない; int2 & int3 -> int4: 「この単位系は電束密度でない」ということは本当である; fact5 -> int5: もしこの単位系は電束密度でないとしたらオンラインショッピングでないけど残り易い; int4 & int5 -> int6: 「この単位系はオンラインショッピングであるということはないけど残り易い」ということは事実だ; int6 & fact1 -> int7: この保安施設は小さい; int7 & fact15 -> hypothesis;
この介護保障は小さくないか風靡しない
fact18 -> int8: もしこの介護保障は古人であるとすれば小さくないか風靡しないか両方である;
$facts$ = fact1: 仮にこの単位系はオンラインショッピングでないがしかし残り易いとすると「この保安施設は小さい」ということは間違いでない fact2: 「もしもこの単位系が電束密度でないならこの単位系はオンラインショッピングでない」ということは成り立つ fact3: 何らかの物がナローバンドでないけれどそれが古人だとしたら電束密度でない fact4: この単位系はオンラインショッピングでない fact5: もしなんらかのものは電束密度でないならオンラインショッピングだということはない一方で残り易い fact6: 仮にこの単位系は風靡するということはないならば「それはオンラインショッピングでない」ということは成り立つ fact7: 仮になにかは古人であるならばそれは小さくないかあるいはそれは風靡しないかあるいは両方である fact8: もしもナローバンドが古人だとするとそれは電束密度でない fact9: 「あの不況下は仰々しいということはないかあるいは紙バンでないかまたはどちらもである」ということは嘘である fact10: もしもこの介護保障が電束密度でそれにナローバンドだとするとそれは小さくない fact11: もしも「あの不況下は紙バンであるかまたは仰々しくないかあるいは両方ともである」ということは成り立たないなら「電束密度だということはない」ということは正しい fact12: もしもあの不況下が電束密度で紙バンであるとしたらこの単位系は小さい fact13: この保安施設はナローバンドでない fact14: もし仮にあの不況下が仰々しくないとするとオンラインショッピングでないがしかし電束密度だ fact15: もし仮にこの保安施設は小さいとすれば「この介護保障は小さくないか風靡しない」ということは成り立たない fact16: 仮にあの不況下がナローバンドでないとしたらこの単位系はナローバンドでないけれど古人である fact17: もし仮に「あの不況下は仰々しくないかあるいはそれは紙バンでない」ということは成り立たないならば「それはナローバンドでない」ということは確かである ; $hypothesis$ = 「この介護保障は小さくないかもしくは風靡しないかまたはどちらもだ」ということは成り立たない ; $proof$ = 
fact17 & fact9 -> int1: あの不況下はナローバンドでない; int1 & fact16 -> int2: この単位系はナローバンドでないけれど古人だ; fact3 -> int3: もしもこの単位系はナローバンドでないけれど古人ならば電束密度でない; int2 & int3 -> int4: 「この単位系は電束密度でない」ということは本当である; fact5 -> int5: もしこの単位系は電束密度でないとしたらオンラインショッピングでないけど残り易い; int4 & int5 -> int6: 「この単位系はオンラインショッピングであるということはないけど残り易い」ということは事実だ; int6 & fact1 -> int7: この保安施設は小さい; int7 & fact15 -> hypothesis; __PROVED__
事実1: 仮にこの単位系はオンラインショッピングでないがしかし残り易いとすると「この保安施設は小さい」ということは間違いでない
事実2: 「もしもこの単位系が電束密度でないならこの単位系はオンラインショッピングでない」ということは成り立つ
事実3: 何らかの物がナローバンドでないけれどそれが古人だとしたら電束密度でない
事実4: この単位系はオンラインショッピングでない
事実5: もしなんらかのものは電束密度でないならオンラインショッピングだということはない一方で残り易い
事実6: 仮にこの単位系は風靡するということはないならば「それはオンラインショッピングでない」ということは成り立つ
事実7: 仮になにかは古人であるならばそれは小さくないかあるいはそれは風靡しないかあるいは両方である
事実8: もしもナローバンドが古人だとするとそれは電束密度でない
事実9: 「あの不況下は仰々しいということはないかあるいは紙バンでないかまたはどちらもである」ということは嘘である
事実10: もしもこの介護保障が電束密度でそれにナローバンドだとするとそれは小さくない
事実11: もしも「あの不況下は紙バンであるかまたは仰々しくないかあるいは両方ともである」ということは成り立たないなら「電束密度だということはない」ということは正しい
事実12: もしもあの不況下が電束密度で紙バンであるとしたらこの単位系は小さい
事実13: この保安施設はナローバンドでない
事実14: もし仮にあの不況下が仰々しくないとするとオンラインショッピングでないがしかし電束密度だ
事実15: もし仮にこの保安施設は小さいとすれば「この介護保障は小さくないか風靡しない」ということは成り立たない
事実16: 仮にあの不況下がナローバンドでないとしたらこの単位系はナローバンドでないけれど古人である
事実17: もし仮に「あの不況下は仰々しくないかあるいはそれは紙バンでない」ということは成り立たないならば「それはナローバンドでない」ということは確かである

仮説: 「この介護保障は小さくないかもしくは風靡しないかまたはどちらもだ」ということは成り立たない
1. 事実17と事実9から、推論1: "あの不況下はナローバンドでない"が導かれる
2. 推論1と事実16から、推論2: "この単位系はナローバンドでないけれど古人だ"が導かれる
3. 事実3から、推論3: "もしもこの単位系はナローバンドでないけれど古人ならば電束密度でない"が導かれる
4. 推論2と推論3から、推論4: "「この単位系は電束密度でない」ということは本当である"が導かれる
5. 事実5から、推論5: "もしこの単位系は電束密度でないとしたらオンラインショッピングでないけど残り易い"が導かれる
6. 推論4と推論5から、推論6: "「この単位系はオンラインショッピングであるということはないけど残り易い」ということは事実だ"が導かれる
7. 推論6と事実1から、推論7: "この保安施設は小さい"が導かれる
8. 推論7と事実15から、仮説が導かれる

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