「「もし近来でないならば気安くない」ものはある」ということは正しいということはない
fact1: 「この嫌煙権は動き難くない」ということは真実である fact2: もしもその中部が共存し得ないし加えて一休みしないとするとその難物は共存し得ない fact3: なんらかの物が動き難いということはないとするとそれは喫茶店であるかあるいは気安くない fact4: その中部は共存し得ない fact5: その中部は喫茶店だ fact6: もし仮になにかは喫茶店だとしたらそれは近来でない fact7: その中部が近来でないしさらにそれが動き難くないとしたらそれは共存し得る fact8: もしもその中部が気安くておまけに喫茶店なら「動き難くない」ということは成り立つ
void -> assump1: 以下のように仮定する。その中部は気安い; assump1 & fact5 -> int1: その中部は気安いしその上喫茶店である; int1 & fact8 -> int2: その中部は動き難くない; void -> assump2: 以下のように仮定する。その中部は近来でない; int2 & assump2 -> int3: その中部は近来であるということはなくて加えて動き難いということはない; int3 & fact7 -> int4: その中部は共存し得る; int4 & fact4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その中部は気安くない; [assump2] & int6 -> int7: その中部は近来でないとすると「それは気安くない」ということは誤りでない; int7 -> hypothesis;
「その難物は近来であるということはない」ということは事実だ
fact10 -> int8: 仮にその難物が動き難くないなら喫茶店であるかもしくは気安くない; fact9 -> int9: もしその難物は喫茶店であるとするとそれは近来でない;
$facts$ = fact1: 「この嫌煙権は動き難くない」ということは真実である fact2: もしもその中部が共存し得ないし加えて一休みしないとするとその難物は共存し得ない fact3: なんらかの物が動き難いということはないとするとそれは喫茶店であるかあるいは気安くない fact4: その中部は共存し得ない fact5: その中部は喫茶店だ fact6: もし仮になにかは喫茶店だとしたらそれは近来でない fact7: その中部が近来でないしさらにそれが動き難くないとしたらそれは共存し得る fact8: もしもその中部が気安くておまけに喫茶店なら「動き難くない」ということは成り立つ ; $hypothesis$ = 「「もし近来でないならば気安くない」ものはある」ということは正しいということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。その中部は気安い; assump1 & fact5 -> int1: その中部は気安いしその上喫茶店である; int1 & fact8 -> int2: その中部は動き難くない; void -> assump2: 以下のように仮定する。その中部は近来でない; int2 & assump2 -> int3: その中部は近来であるということはなくて加えて動き難いということはない; int3 & fact7 -> int4: その中部は共存し得る; int4 & fact4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その中部は気安くない; [assump2] & int6 -> int7: その中部は近来でないとすると「それは気安くない」ということは誤りでない; int7 -> hypothesis; __DISPROVED__
事実1: 「この嫌煙権は動き難くない」ということは真実である
事実2: もしもその中部が共存し得ないし加えて一休みしないとするとその難物は共存し得ない
事実3: なんらかの物が動き難いということはないとするとそれは喫茶店であるかあるいは気安くない
事実4: その中部は共存し得ない
事実5: その中部は喫茶店だ
事実6: もし仮になにかは喫茶店だとしたらそれは近来でない
事実7: その中部が近来でないしさらにそれが動き難くないとしたらそれは共存し得る
事実8: もしもその中部が気安くておまけに喫茶店なら「動き難くない」ということは成り立つ

仮説: 「「もし近来でないならば気安くない」ものはある」ということは正しいということはない
1. 仮定1: 以下のように仮定する。その中部は気安い
2. 仮定1と事実5から、推論1: "その中部は気安いしその上喫茶店である"が導かれる
3. 推論1と事実8から、推論2: "その中部は動き難くない"が導かれる
4. 仮定2: 以下のように仮定する。その中部は近来でない
5. 推論2と仮定2から、推論3: "その中部は近来であるということはなくて加えて動き難いということはない"が導かれる
6. 推論3と事実7から、推論4: "その中部は共存し得る"が導かれる
7. 推論4と事実4から、推論5: "これは矛盾である"が導かれる
8. [仮定1]と推論5から、推論6: "その中部は気安くない"が導かれる
9. [仮定2]と推論6から、推論7: "その中部は近来でないとすると「それは気安くない」ということは誤りでない"が導かれる
10. 推論7から、仮説が否定される

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