あのおじゃんは羞恥心だ
fact1: 「「与え難いかしどけなくない」ということは成り立たない」物はある fact2: 「なにがしかのものは迷い難くないし加えてきびきびしない」ということは偽であるとすればそれは羞恥心でない fact3: もし仮にこの湿潤環境が生まれ難くないけどそれがランク付けするとするときびきびしない fact4: もし仮にそのフォワード・アップ地図が売り子ならこの湿潤環境は生まれ難くないけれどランク付けする fact5: 仮に「あのおじゃんはきびきびする」ということは正しいとしたら「それは羞恥心であるということはない」ということは確かだ fact6: もし仮に何らかのものは売り子であるならしどけない fact7: もしこの湿潤環境はきびきびしないならば「あのおじゃんは迷い難くなくてしかもそれはきびきびしない」ということは偽だ fact8: もしも「そのフォワード・アップ地図はランク付けしなくてそれはきびきびしない」ということは成り立つということはないとしたら「それは売り子でない」ということは事実である fact9: 「あのおじゃんは迷い難くないがそれはきびきびする」ということは嘘である fact10: もしも「「与え難いかまたはしどけなくない」ということは成り立たない」物があるとしたらそのフォワード・アップ地図は売り子だ fact11: 「「与え難いかしどけない」ということは成り立つということはない」ものはある fact12: この湿潤環境は生まれ難くない fact13: 仮にあのおじゃんは羞恥心でないとすれば「「この湿潤環境はきびきびしないしかつ羞恥心でない」ということは成り立つ」ということは嘘である fact14: もしも「あのおじゃんは生まれ難いがランク付けしない」ということは成り立たないとするとそれは生まれ難くない fact15: もし「そのフォワード・アップ地図は売り子であるということはなくておまけにそれはきびきびしない」ということは誤りだとすればランク付けしない fact16: もしもなにがしかの物がきびきびするとすれば羞恥心でない fact17: もしそのフォワード・アップ地図が売り子であるならこの湿潤環境は生まれ難くない
fact1 & fact10 -> int1: そのフォワード・アップ地図は売り子だ; int1 & fact4 -> int2: この湿潤環境は生まれ難いということはないけどランク付けする; int2 & fact3 -> int3: この湿潤環境はきびきびしない; int3 & fact7 -> int4: 「あのおじゃんは迷い難いということはないしきびきびするということはない」ということは間違っている; fact2 -> int5: もしも「「あのおじゃんは迷い難くなくてきびきびしない」ということは本当だ」ということは間違いだとするとそれは羞恥心でない; int4 & int5 -> hypothesis;
この湿潤環境はしどけない
fact18 -> int6: この湿潤環境が売り子だとしたらそれはしどけない;
$facts$ = fact1: 「「与え難いかしどけなくない」ということは成り立たない」物はある fact2: 「なにがしかのものは迷い難くないし加えてきびきびしない」ということは偽であるとすればそれは羞恥心でない fact3: もし仮にこの湿潤環境が生まれ難くないけどそれがランク付けするとするときびきびしない fact4: もし仮にそのフォワード・アップ地図が売り子ならこの湿潤環境は生まれ難くないけれどランク付けする fact5: 仮に「あのおじゃんはきびきびする」ということは正しいとしたら「それは羞恥心であるということはない」ということは確かだ fact6: もし仮に何らかのものは売り子であるならしどけない fact7: もしこの湿潤環境はきびきびしないならば「あのおじゃんは迷い難くなくてしかもそれはきびきびしない」ということは偽だ fact8: もしも「そのフォワード・アップ地図はランク付けしなくてそれはきびきびしない」ということは成り立つということはないとしたら「それは売り子でない」ということは事実である fact9: 「あのおじゃんは迷い難くないがそれはきびきびする」ということは嘘である fact10: もしも「「与え難いかまたはしどけなくない」ということは成り立たない」物があるとしたらそのフォワード・アップ地図は売り子だ fact11: 「「与え難いかしどけない」ということは成り立つということはない」ものはある fact12: この湿潤環境は生まれ難くない fact13: 仮にあのおじゃんは羞恥心でないとすれば「「この湿潤環境はきびきびしないしかつ羞恥心でない」ということは成り立つ」ということは嘘である fact14: もしも「あのおじゃんは生まれ難いがランク付けしない」ということは成り立たないとするとそれは生まれ難くない fact15: もし「そのフォワード・アップ地図は売り子であるということはなくておまけにそれはきびきびしない」ということは誤りだとすればランク付けしない fact16: もしもなにがしかの物がきびきびするとすれば羞恥心でない fact17: もしそのフォワード・アップ地図が売り子であるならこの湿潤環境は生まれ難くない ; $hypothesis$ = あのおじゃんは羞恥心だ ; $proof$ = 
fact1 & fact10 -> int1: そのフォワード・アップ地図は売り子だ; int1 & fact4 -> int2: この湿潤環境は生まれ難いということはないけどランク付けする; int2 & fact3 -> int3: この湿潤環境はきびきびしない; int3 & fact7 -> int4: 「あのおじゃんは迷い難いということはないしきびきびするということはない」ということは間違っている; fact2 -> int5: もしも「「あのおじゃんは迷い難くなくてきびきびしない」ということは本当だ」ということは間違いだとするとそれは羞恥心でない; int4 & int5 -> hypothesis; __DISPROVED__
事実1: 「「与え難いかしどけなくない」ということは成り立たない」物はある
事実2: 「なにがしかのものは迷い難くないし加えてきびきびしない」ということは偽であるとすればそれは羞恥心でない
事実3: もし仮にこの湿潤環境が生まれ難くないけどそれがランク付けするとするときびきびしない
事実4: もし仮にそのフォワード・アップ地図が売り子ならこの湿潤環境は生まれ難くないけれどランク付けする
事実5: 仮に「あのおじゃんはきびきびする」ということは正しいとしたら「それは羞恥心であるということはない」ということは確かだ
事実6: もし仮に何らかのものは売り子であるならしどけない
事実7: もしこの湿潤環境はきびきびしないならば「あのおじゃんは迷い難くなくてしかもそれはきびきびしない」ということは偽だ
事実8: もしも「そのフォワード・アップ地図はランク付けしなくてそれはきびきびしない」ということは成り立つということはないとしたら「それは売り子でない」ということは事実である
事実9: 「あのおじゃんは迷い難くないがそれはきびきびする」ということは嘘である
事実10: もしも「「与え難いかまたはしどけなくない」ということは成り立たない」物があるとしたらそのフォワード・アップ地図は売り子だ
事実11: 「「与え難いかしどけない」ということは成り立つということはない」ものはある
事実12: この湿潤環境は生まれ難くない
事実13: 仮にあのおじゃんは羞恥心でないとすれば「「この湿潤環境はきびきびしないしかつ羞恥心でない」ということは成り立つ」ということは嘘である
事実14: もしも「あのおじゃんは生まれ難いがランク付けしない」ということは成り立たないとするとそれは生まれ難くない
事実15: もし「そのフォワード・アップ地図は売り子であるということはなくておまけにそれはきびきびしない」ということは誤りだとすればランク付けしない
事実16: もしもなにがしかの物がきびきびするとすれば羞恥心でない
事実17: もしそのフォワード・アップ地図が売り子であるならこの湿潤環境は生まれ難くない

仮説: あのおじゃんは羞恥心だ
1. 事実1と事実10から、推論1: "そのフォワード・アップ地図は売り子だ"が導かれる
2. 推論1と事実4から、推論2: "この湿潤環境は生まれ難いということはないけどランク付けする"が導かれる
3. 推論2と事実3から、推論3: "この湿潤環境はきびきびしない"が導かれる
4. 推論3と事実7から、推論4: "「あのおじゃんは迷い難いということはないしきびきびするということはない」ということは間違っている"が導かれる
5. 事実2から、推論5: "もしも「「あのおじゃんは迷い難くなくてきびきびしない」ということは本当だ」ということは間違いだとするとそれは羞恥心でない"が導かれる
6. 推論4と推論5から、仮説が否定される

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