「なんらかのものは度し難いがしかし暗がりでない」ということは間違っている
fact1: その骨基質は暗がりでない fact2: もし仮にその早明戦が尤もらしくないかもしくはとろくないならばそれは本社事務所でない fact3: この募集時はとろくないかまたは本社事務所でないかまたはどちらもだ fact4: 仮にこの募集時が尤もらしくないとしたらその早明戦は尤もらしい fact5: もしもこの募集時が尤もらしいならそのＷＥＴは尤もらしいが度し難くない fact6: とあるものは度し難い fact7: か細くない物は尤もらしいとすれば「そのＷＥＴは度し難い」ということは正しい fact8: もしもそのＷＥＴが度し難いならばその骨基質は度し難いけど暗がりでない fact9: もし仮にこの募集時は尤もらしいということはないとするとその早明戦はか細くない一方で尤もらしい fact10: その骨基質はか細くない fact11: 何らかのものは本社事務所だがしかし暗がりでない fact12: この募集時は本社事務所でないなら「それは尤もらしくない」ということは成り立つ fact13: か細くない物はある fact14: もしその骨基質が本社事務所でないかまたは度し難いということはないかまたは両方ともならば暗がりでない fact15: もし仮にこの募集時はとろいということはないかもしくは本社事務所でないか両方ともであるとしたらそれは尤もらしくない fact16: か細いしその上尤もらしい物はある fact17: 「とろくないけど尤もらしい」ものはある fact18: その骨基質は暗がりでないけれど本社事務所だ fact19: もしもそのＷＥＴが度し難いとするとその骨基質は暗がりでない fact20: 何かは尤もらしい fact21: なんらかの物は度し難くてさらに暗がりである fact22: もし仮にその骨基質が尤もらしくないならその早明戦は度し難くない fact23: この募集時は度し難くない fact24: なんらかのものは暗がりでない
fact15 & fact3 -> int1: この募集時は尤もらしくない; int1 & fact9 -> int2: その早明戦はか細いということはないが尤もらしい; int2 -> int3: ある物はか細くないが尤もらしい; int3 & fact7 -> int4: 「そのＷＥＴは度し難い」ということは成り立つ; int4 & fact8 -> int5: その骨基質は度し難いけれどそれは暗がりでない; int5 -> hypothesis;
$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$ = 
fact15 & fact3 -> int1: この募集時は尤もらしくない; int1 & fact9 -> int2: その早明戦はか細いということはないが尤もらしい; int2 -> int3: ある物はか細くないが尤もらしい; int3 & fact7 -> int4: 「そのＷＥＴは度し難い」ということは成り立つ; int4 & fact8 -> 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. 事実15と事実3から、推論1: "この募集時は尤もらしくない"が導かれる
2. 推論1と事実9から、推論2: "その早明戦はか細いということはないが尤もらしい"が導かれる
3. 推論2から、推論3: "ある物はか細くないが尤もらしい"が導かれる
4. 推論3と事実7から、推論4: "「そのＷＥＴは度し難い」ということは成り立つ"が導かれる
5. 推論4と事実8から、推論5: "その骨基質は度し難いけれどそれは暗がりでない"が導かれる
6. 推論5から、仮説が否定される

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