「仮にあの懇願は商品説明であるなら「その誇り意識は起こし難い」ということは確かだ」ということは成り立つということはない
fact1: 「もし仮にとある物は起こし難いということはないとしたら「実演販売でなくてしかもそれは嫌らしい」ということは成り立つということはない」ということは正しい fact2: もし仮に何かは起こし難くないとすると「商品説明でないしおまけにそれは嫌らしい」ということは確かでない fact3: 「その誇り意識は実演販売であるし嫌らしい」ということは本当でない fact4: なにかは起こし難くないとすると「それは実演販売で加えて嫌らしい」ということは成り立たない fact5: もし「あの懇願は商品説明でないがしかし実演販売だ」ということは間違いならばその誇り意識は起こし難くない fact6: もしも「その誇り意識は実演販売でないがしかし嫌らしい」ということは成り立たないならあの懇願は商品説明である fact7: もしもその誇り意識は起こし難くないなら「実演販売でそれは嫌らしい」ということは誤りだ fact8: その求人倍率は実演販売であるということはない fact9: あの懇願は起こし難い fact10: 仮に「あの懇願は商品説明でない一方でそれは起こし難い」ということは成り立たないとすればその誇り意識は実演販売でない fact11: 「その誇り意識は実演販売でないがしかし嫌らしい」ということは成り立たないとしたら「あの懇願は商品説明でない」ということは確かだ fact12: もしその誇り意識が商品説明だとすればあの懇願は嫌らしい fact13: 仮に「あの懇願は起こし難くない」ということは成り立たないならばあの誇り意識は商品説明だ fact14: もしもその誇り意識が実演販売であるならあの懇願は商品説明でない
fact1 -> int1: もしもその誇り意識は起こし難いということはないとしたら「それは実演販売でないけれど嫌らしい」ということは成り立たない; void -> assump2: 以下のように仮定する。その誇り意識は起こし難くない; int1 & assump2 -> int2: 「その誇り意識は実演販売でない一方で嫌らしい」ということは間違っている; int2 & fact11 -> int3: あの懇願は商品説明でない; void -> assump1: 以下のように仮定する。あの懇願は商品説明である; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: その誇り意識は起こし難い; [assump1] & int5 -> hypothesis;
$facts$ = fact1: 「もし仮にとある物は起こし難いということはないとしたら「実演販売でなくてしかもそれは嫌らしい」ということは成り立つということはない」ということは正しい fact2: もし仮に何かは起こし難くないとすると「商品説明でないしおまけにそれは嫌らしい」ということは確かでない fact3: 「その誇り意識は実演販売であるし嫌らしい」ということは本当でない fact4: なにかは起こし難くないとすると「それは実演販売で加えて嫌らしい」ということは成り立たない fact5: もし「あの懇願は商品説明でないがしかし実演販売だ」ということは間違いならばその誇り意識は起こし難くない fact6: もしも「その誇り意識は実演販売でないがしかし嫌らしい」ということは成り立たないならあの懇願は商品説明である fact7: もしもその誇り意識は起こし難くないなら「実演販売でそれは嫌らしい」ということは誤りだ fact8: その求人倍率は実演販売であるということはない fact9: あの懇願は起こし難い fact10: 仮に「あの懇願は商品説明でない一方でそれは起こし難い」ということは成り立たないとすればその誇り意識は実演販売でない fact11: 「その誇り意識は実演販売でないがしかし嫌らしい」ということは成り立たないとしたら「あの懇願は商品説明でない」ということは確かだ fact12: もしその誇り意識が商品説明だとすればあの懇願は嫌らしい fact13: 仮に「あの懇願は起こし難くない」ということは成り立たないならばあの誇り意識は商品説明だ fact14: もしもその誇り意識が実演販売であるならあの懇願は商品説明でない ; $hypothesis$ = 「仮にあの懇願は商品説明であるなら「その誇り意識は起こし難い」ということは確かだ」ということは成り立つということはない ; $proof$ = 
fact1 -> int1: もしもその誇り意識は起こし難いということはないとしたら「それは実演販売でないけれど嫌らしい」ということは成り立たない; void -> assump2: 以下のように仮定する。その誇り意識は起こし難くない; int1 & assump2 -> int2: 「その誇り意識は実演販売でない一方で嫌らしい」ということは間違っている; int2 & fact11 -> int3: あの懇願は商品説明でない; void -> assump1: 以下のように仮定する。あの懇願は商品説明である; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: その誇り意識は起こし難い; [assump1] & int5 -> hypothesis; __DISPROVED__
事実1: 「もし仮にとある物は起こし難いということはないとしたら「実演販売でなくてしかもそれは嫌らしい」ということは成り立つということはない」ということは正しい
事実2: もし仮に何かは起こし難くないとすると「商品説明でないしおまけにそれは嫌らしい」ということは確かでない
事実3: 「その誇り意識は実演販売であるし嫌らしい」ということは本当でない
事実4: なにかは起こし難くないとすると「それは実演販売で加えて嫌らしい」ということは成り立たない
事実5: もし「あの懇願は商品説明でないがしかし実演販売だ」ということは間違いならばその誇り意識は起こし難くない
事実6: もしも「その誇り意識は実演販売でないがしかし嫌らしい」ということは成り立たないならあの懇願は商品説明である
事実7: もしもその誇り意識は起こし難くないなら「実演販売でそれは嫌らしい」ということは誤りだ
事実8: その求人倍率は実演販売であるということはない
事実9: あの懇願は起こし難い
事実10: 仮に「あの懇願は商品説明でない一方でそれは起こし難い」ということは成り立たないとすればその誇り意識は実演販売でない
事実11: 「その誇り意識は実演販売でないがしかし嫌らしい」ということは成り立たないとしたら「あの懇願は商品説明でない」ということは確かだ
事実12: もしその誇り意識が商品説明だとすればあの懇願は嫌らしい
事実13: 仮に「あの懇願は起こし難くない」ということは成り立たないならばあの誇り意識は商品説明だ
事実14: もしもその誇り意識が実演販売であるならあの懇願は商品説明でない

仮説: 「仮にあの懇願は商品説明であるなら「その誇り意識は起こし難い」ということは確かだ」ということは成り立つということはない
1. 事実1から、推論1: "もしもその誇り意識は起こし難いということはないとしたら「それは実演販売でないけれど嫌らしい」ということは成り立たない"が導かれる
2. 仮定2: 以下のように仮定する。その誇り意識は起こし難くない
3. 推論1と仮定2から、推論2: "「その誇り意識は実演販売でない一方で嫌らしい」ということは間違っている"が導かれる
4. 推論2と事実11から、推論3: "あの懇願は商品説明でない"が導かれる
5. 仮定1: 以下のように仮定する。あの懇願は商品説明である
6. 推論3と仮定1から、推論4: "これは矛盾である"が導かれる
7. [仮定2]と推論4から、推論5: "その誇り意識は起こし難い"が導かれる
8. [仮定1]と推論5から、仮説が否定される

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