「あのヘルスプロモーションは多しないし更に誤り無くない」ということは事実と異なる
fact1: 仮に「「その平櫓は御理解下さる一方で女性歌手だということはない」ということは成り立つ」ということは誤りだとすればこの売り出しは不作法でない fact2: 「あのヘルスプロモーションは折り入るがしかし大株主でない」ということは誤っている fact3: 仮に「そのアイデンティティ再編は尽きする」ということは真実ならば「あの所定期間内は折り入るということはないしまた御利用頂けるということはない」ということは成り立たない fact4: 仮にこの左頭がトグル・スイッチでないならその平櫓は暑過ぎるしまた展示する fact5: もし仮にあのヘルスプロモーションが誤り無いならクレームしない fact6: とあるものは展示すれば「御理解下さるし更に女性歌手でない」ということは成り立たない fact7: もし仮に何かは不作法でないならそれはクレームするかもしくは大株主であるか両方ともである fact8: もし仮に「あのヘルスプロモーションは折り入るがしかし大株主だということはない」ということは嘘だとしたらそれは尽きする fact9: もし「あるものは多しということはなくて誤り無くない」ということは誤っているとしたらクレームしない fact10: もし何かは尽きすればそれはクレームする fact11: もし仮になにかは尽きしないとしたら「多しということはなくてそれは誤り無くない」ということは間違っている fact12: もし仮に「とあるものは心細くない一方で手緩い」ということは事実と異なればそれはトグル・スイッチでない fact13: もし「あのヘルスプロモーションが掛け難くないしさらにそれは少将でない」ということは間違いであるとすれば美しくない
fact9 -> int1: もし仮に「あのヘルスプロモーションは多しないしその上誤り無くない」ということは成り立たないならそれはクレームするということはない; void -> assump1: 以下のように仮定する。「あのヘルスプロモーションは多しないしさらに誤り無くない」ということは成り立たない; int1 & assump1 -> int2: あのヘルスプロモーションはクレームしない; fact2 & fact8 -> int3: あのヘルスプロモーションは尽きする; fact10 -> int4: もし仮にあのヘルスプロモーションが尽きするとすればクレームする; int3 & int4 -> int5: あのヘルスプロモーションはクレームする; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
「あの所定期間内は折り入らないしその上御利用頂けない」ということは偽である
fact18 -> int7: もし仮にこの売り出しが不作法でないとすればクレームするか大株主だ; fact17 -> int8: その平櫓は展示するとしたら「それは御理解下さるが女性歌手でない」ということは間違っている; fact16 -> int9: もし「この左頭は心細いということはない一方でそれは手緩い」ということは成り立たないとするとそれはトグル・スイッチでない;
$facts$ = fact1: 仮に「「その平櫓は御理解下さる一方で女性歌手だということはない」ということは成り立つ」ということは誤りだとすればこの売り出しは不作法でない fact2: 「あのヘルスプロモーションは折り入るがしかし大株主でない」ということは誤っている fact3: 仮に「そのアイデンティティ再編は尽きする」ということは真実ならば「あの所定期間内は折り入るということはないしまた御利用頂けるということはない」ということは成り立たない fact4: 仮にこの左頭がトグル・スイッチでないならその平櫓は暑過ぎるしまた展示する fact5: もし仮にあのヘルスプロモーションが誤り無いならクレームしない fact6: とあるものは展示すれば「御理解下さるし更に女性歌手でない」ということは成り立たない fact7: もし仮に何かは不作法でないならそれはクレームするかもしくは大株主であるか両方ともである fact8: もし仮に「あのヘルスプロモーションは折り入るがしかし大株主だということはない」ということは嘘だとしたらそれは尽きする fact9: もし「あるものは多しということはなくて誤り無くない」ということは誤っているとしたらクレームしない fact10: もし何かは尽きすればそれはクレームする fact11: もし仮になにかは尽きしないとしたら「多しということはなくてそれは誤り無くない」ということは間違っている fact12: もし仮に「とあるものは心細くない一方で手緩い」ということは事実と異なればそれはトグル・スイッチでない fact13: もし「あのヘルスプロモーションが掛け難くないしさらにそれは少将でない」ということは間違いであるとすれば美しくない ; $hypothesis$ = 「あのヘルスプロモーションは多しないし更に誤り無くない」ということは事実と異なる ; $proof$ = 
fact9 -> int1: もし仮に「あのヘルスプロモーションは多しないしその上誤り無くない」ということは成り立たないならそれはクレームするということはない; void -> assump1: 以下のように仮定する。「あのヘルスプロモーションは多しないしさらに誤り無くない」ということは成り立たない; int1 & assump1 -> int2: あのヘルスプロモーションはクレームしない; fact2 & fact8 -> int3: あのヘルスプロモーションは尽きする; fact10 -> int4: もし仮にあのヘルスプロモーションが尽きするとすればクレームする; int3 & int4 -> int5: あのヘルスプロモーションはクレームする; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis; __DISPROVED__
事実1: 仮に「「その平櫓は御理解下さる一方で女性歌手だということはない」ということは成り立つ」ということは誤りだとすればこの売り出しは不作法でない
事実2: 「あのヘルスプロモーションは折り入るがしかし大株主でない」ということは誤っている
事実3: 仮に「そのアイデンティティ再編は尽きする」ということは真実ならば「あの所定期間内は折り入るということはないしまた御利用頂けるということはない」ということは成り立たない
事実4: 仮にこの左頭がトグル・スイッチでないならその平櫓は暑過ぎるしまた展示する
事実5: もし仮にあのヘルスプロモーションが誤り無いならクレームしない
事実6: とあるものは展示すれば「御理解下さるし更に女性歌手でない」ということは成り立たない
事実7: もし仮に何かは不作法でないならそれはクレームするかもしくは大株主であるか両方ともである
事実8: もし仮に「あのヘルスプロモーションは折り入るがしかし大株主だということはない」ということは嘘だとしたらそれは尽きする
事実9: もし「あるものは多しということはなくて誤り無くない」ということは誤っているとしたらクレームしない
事実10: もし何かは尽きすればそれはクレームする
事実11: もし仮になにかは尽きしないとしたら「多しということはなくてそれは誤り無くない」ということは間違っている
事実12: もし仮に「とあるものは心細くない一方で手緩い」ということは事実と異なればそれはトグル・スイッチでない
事実13: もし「あのヘルスプロモーションが掛け難くないしさらにそれは少将でない」ということは間違いであるとすれば美しくない

仮説: 「あのヘルスプロモーションは多しないし更に誤り無くない」ということは事実と異なる
1. 事実9から、推論1: "もし仮に「あのヘルスプロモーションは多しないしその上誤り無くない」ということは成り立たないならそれはクレームするということはない"が導かれる
2. 仮定1: 以下のように仮定する。「あのヘルスプロモーションは多しないしさらに誤り無くない」ということは成り立たない
3. 推論1と仮定1から、推論2: "あのヘルスプロモーションはクレームしない"が導かれる
4. 事実2と事実8から、推論3: "あのヘルスプロモーションは尽きする"が導かれる
5. 事実10から、推論4: "もし仮にあのヘルスプロモーションが尽きするとすればクレームする"が導かれる
6. 推論3と推論4から、推論5: "あのヘルスプロモーションはクレームする"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が否定される

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