「商人らしくないしまたべた付き易いものはある」ということは成り立たない
fact1: このＧＤＮＦは御見えるなら「落ち着き為さらないしまたそれはきな臭いということはない」ということは誤っている fact2: 「その店舗名はきな臭くない一方で動き易い」ということは間違っている fact3: 「その店舗名は商人らしい一方で放置車両確認機関でない」ということは成り立つということはない fact4: あるものは動き易くないが御見える fact5: 「その店舗名は落ち着き為さらないしその上それは商人らしくない」ということは誤りならばあのＧＤＮＦは動き易くない fact6: 仮にその店舗名は御見えるとすると「きな臭くないが動き易い」ということは間違いである fact7: 仮に「その店舗名がきな臭くないしさらにそれは動き易くない」ということは成り立たないとしたらこのＧＤＮＦは商人らしくない fact8: このコンテキストは落ち着き為さらない fact9: 「べた付き易い」物はある fact10: このガラス戸越しは御見える fact11: べた付き易くて落ち着き為さるというものはない fact12: もし仮に「このＧＤＮＦはべた付き易くないけど落ち着き為さる」ということは誤っているとすれば「それはべた付き易い」ということは嘘でない fact13: 商人らしいしかつべた付き易いものはある fact14: 仮に「その店舗名は御見える」ということは本当であるとすると「きな臭いし動き易くない」ということは偽である fact15: 「このＧＤＮＦはべた付き易くて落ち着き為さる」ということは嘘だ fact16: もしもなんらかの物が御見えないとすれば動き易くなくてそれにそれは照会する fact17: 「その店舗名はきな臭いがしかし動き易いということはない」ということは成り立たない fact18: このＧＤＮＦはきな臭い fact19: 仮に「その店舗名は御見える」ということは誤っているということはないなら「「それはきな臭くないし動き易いということはない」ということは成り立つ」ということは偽である fact20: 「御見えるしその上べた付き易い」物はある fact21: その店舗名は御見える fact22: 「その店舗名は商人らしいけれど御見えない」ということは間違いである fact23: 商人らしくない物はある fact24: べた付き易くないが落ち着き為さるという物はない
fact19 & fact21 -> int1: 「その店舗名はきな臭いということはないしその上動き易いない」ということは成り立たない; int1 & fact7 -> int2: このＧＤＮＦは商人らしくない; fact24 -> int3: 「このＧＤＮＦはべた付き易くないがしかしそれは落ち着き為さる」ということは成り立たない; fact12 & int3 -> int4: このＧＤＮＦはべた付き易い; int2 & int4 -> int5: このＧＤＮＦは商人らしくないけどべた付き易い; int5 -> hypothesis;
このＸＭＬは動き易くないけど照会する
fact25 -> int6: 仮にこのＸＭＬが御見えないとすれば動き易くないしそれは照会する;
$facts$ = fact1: このＧＤＮＦは御見えるなら「落ち着き為さらないしまたそれはきな臭いということはない」ということは誤っている fact2: 「その店舗名はきな臭くない一方で動き易い」ということは間違っている fact3: 「その店舗名は商人らしい一方で放置車両確認機関でない」ということは成り立つということはない fact4: あるものは動き易くないが御見える fact5: 「その店舗名は落ち着き為さらないしその上それは商人らしくない」ということは誤りならばあのＧＤＮＦは動き易くない fact6: 仮にその店舗名は御見えるとすると「きな臭くないが動き易い」ということは間違いである fact7: 仮に「その店舗名がきな臭くないしさらにそれは動き易くない」ということは成り立たないとしたらこのＧＤＮＦは商人らしくない fact8: このコンテキストは落ち着き為さらない fact9: 「べた付き易い」物はある fact10: このガラス戸越しは御見える fact11: べた付き易くて落ち着き為さるというものはない fact12: もし仮に「このＧＤＮＦはべた付き易くないけど落ち着き為さる」ということは誤っているとすれば「それはべた付き易い」ということは嘘でない fact13: 商人らしいしかつべた付き易いものはある fact14: 仮に「その店舗名は御見える」ということは本当であるとすると「きな臭いし動き易くない」ということは偽である fact15: 「このＧＤＮＦはべた付き易くて落ち着き為さる」ということは嘘だ fact16: もしもなんらかの物が御見えないとすれば動き易くなくてそれにそれは照会する fact17: 「その店舗名はきな臭いがしかし動き易いということはない」ということは成り立たない fact18: このＧＤＮＦはきな臭い fact19: 仮に「その店舗名は御見える」ということは誤っているということはないなら「「それはきな臭くないし動き易いということはない」ということは成り立つ」ということは偽である fact20: 「御見えるしその上べた付き易い」物はある fact21: その店舗名は御見える fact22: 「その店舗名は商人らしいけれど御見えない」ということは間違いである fact23: 商人らしくない物はある fact24: べた付き易くないが落ち着き為さるという物はない ; $hypothesis$ = 「商人らしくないしまたべた付き易いものはある」ということは成り立たない ; $proof$ = 
fact19 & fact21 -> int1: 「その店舗名はきな臭いということはないしその上動き易いない」ということは成り立たない; int1 & fact7 -> int2: このＧＤＮＦは商人らしくない; fact24 -> int3: 「このＧＤＮＦはべた付き易くないがしかしそれは落ち着き為さる」ということは成り立たない; fact12 & int3 -> int4: このＧＤＮＦはべた付き易い; int2 & int4 -> int5: このＧＤＮＦは商人らしくないけどべた付き易い; int5 -> hypothesis; __DISPROVED__
事実1: このＧＤＮＦは御見えるなら「落ち着き為さらないしまたそれはきな臭いということはない」ということは誤っている
事実2: 「その店舗名はきな臭くない一方で動き易い」ということは間違っている
事実3: 「その店舗名は商人らしい一方で放置車両確認機関でない」ということは成り立つということはない
事実4: あるものは動き易くないが御見える
事実5: 「その店舗名は落ち着き為さらないしその上それは商人らしくない」ということは誤りならばあのＧＤＮＦは動き易くない
事実6: 仮にその店舗名は御見えるとすると「きな臭くないが動き易い」ということは間違いである
事実7: 仮に「その店舗名がきな臭くないしさらにそれは動き易くない」ということは成り立たないとしたらこのＧＤＮＦは商人らしくない
事実8: このコンテキストは落ち着き為さらない
事実9: 「べた付き易い」物はある
事実10: このガラス戸越しは御見える
事実11: べた付き易くて落ち着き為さるというものはない
事実12: もし仮に「このＧＤＮＦはべた付き易くないけど落ち着き為さる」ということは誤っているとすれば「それはべた付き易い」ということは嘘でない
事実13: 商人らしいしかつべた付き易いものはある
事実14: 仮に「その店舗名は御見える」ということは本当であるとすると「きな臭いし動き易くない」ということは偽である
事実15: 「このＧＤＮＦはべた付き易くて落ち着き為さる」ということは嘘だ
事実16: もしもなんらかの物が御見えないとすれば動き易くなくてそれにそれは照会する
事実17: 「その店舗名はきな臭いがしかし動き易いということはない」ということは成り立たない
事実18: このＧＤＮＦはきな臭い
事実19: 仮に「その店舗名は御見える」ということは誤っているということはないなら「「それはきな臭くないし動き易いということはない」ということは成り立つ」ということは偽である
事実20: 「御見えるしその上べた付き易い」物はある
事実21: その店舗名は御見える
事実22: 「その店舗名は商人らしいけれど御見えない」ということは間違いである
事実23: 商人らしくない物はある
事実24: べた付き易くないが落ち着き為さるという物はない

仮説: 「商人らしくないしまたべた付き易いものはある」ということは成り立たない
1. 事実19と事実21から、推論1: "「その店舗名はきな臭いということはないしその上動き易いない」ということは成り立たない"が導かれる
2. 推論1と事実7から、推論2: "このＧＤＮＦは商人らしくない"が導かれる
3. 事実24から、推論3: "「このＧＤＮＦはべた付き易くないがしかしそれは落ち着き為さる」ということは成り立たない"が導かれる
4. 事実12と推論3から、推論4: "このＧＤＮＦはべた付き易い"が導かれる
5. 推論2と推論4から、推論5: "このＧＤＮＦは商人らしくないけどべた付き易い"が導かれる
6. 推論5から、仮説が否定される

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