その老人層は契約先でない
fact1: その老人層は隅肉でない fact2: 手厚いものは三十年以降でないし足りない fact3: この運用面は諂わないしおまけにそれは祟らない fact4: もしもこの運用面が契約先でなくて手厚くないならその老人層は御取り仕切る fact5: なんらかのものが御取り仕切るとすれば契約先である fact6: その老人層は手厚いということはない fact7: その再手術は御取り仕切るということはない fact8: もし仮に「この運用面は御取り仕切る」ということは本当だとしたら手厚い fact9: この運用面は契約先だ fact10: もしこの運用面が手厚いとすると御取り仕切る fact11: この運用面は精神世界でない fact12: その老人層が契約先だということはなくてかつ精神世界だということはないとしたらこの運用面は御取り仕切る fact13: その老人層は比較し難くない fact14: もし仮にこの運用面は手厚くなくて加えて精神世界でないとしたら「その老人層は御取り仕切る」ということは確かだ fact15: この運用面は手厚いということはない fact16: この運用面はストローク時でないし映えない fact17: もしもその老人層が精神世界でなくてかつそれが手厚くないとすればこの運用面は契約先だ
fact15 & fact11 -> int1: この運用面は手厚くないしかつ精神世界でない; int1 & fact14 -> int2: その老人層は御取り仕切る; fact5 -> int3: もし仮にその老人層が御取り仕切るとすれば契約先である; int2 & int3 -> hypothesis;
fact15 & fact11 -> int1: (¬{A}{a} & ¬{B}{a}); int1 & fact14 -> int2: {C}{b}; fact5 -> int3: {C}{b} -> {D}{b}; int2 & int3 -> hypothesis;
「その老人層は三十年以降でないししかも足りない」ということは正しい
fact18 -> int4: その老人層が手厚いならば三十年以降でなくて足りない;
$facts$ = fact1: その老人層は隅肉でない fact2: 手厚いものは三十年以降でないし足りない fact3: この運用面は諂わないしおまけにそれは祟らない fact4: もしもこの運用面が契約先でなくて手厚くないならその老人層は御取り仕切る fact5: なんらかのものが御取り仕切るとすれば契約先である fact6: その老人層は手厚いということはない fact7: その再手術は御取り仕切るということはない fact8: もし仮に「この運用面は御取り仕切る」ということは本当だとしたら手厚い fact9: この運用面は契約先だ fact10: もしこの運用面が手厚いとすると御取り仕切る fact11: この運用面は精神世界でない fact12: その老人層が契約先だということはなくてかつ精神世界だということはないとしたらこの運用面は御取り仕切る fact13: その老人層は比較し難くない fact14: もし仮にこの運用面は手厚くなくて加えて精神世界でないとしたら「その老人層は御取り仕切る」ということは確かだ fact15: この運用面は手厚いということはない fact16: この運用面はストローク時でないし映えない fact17: もしもその老人層が精神世界でなくてかつそれが手厚くないとすればこの運用面は契約先だ ; $hypothesis$ = その老人層は契約先でない ; $proof$ = 
fact15 & fact11 -> int1: この運用面は手厚くないしかつ精神世界でない; int1 & fact14 -> int2: その老人層は御取り仕切る; fact5 -> int3: もし仮にその老人層が御取り仕切るとすれば契約先である; int2 & int3 -> hypothesis; __DISPROVED__
事実1: その老人層は隅肉でない
事実2: 手厚いものは三十年以降でないし足りない
事実3: この運用面は諂わないしおまけにそれは祟らない
事実4: もしもこの運用面が契約先でなくて手厚くないならその老人層は御取り仕切る
事実5: なんらかのものが御取り仕切るとすれば契約先である
事実6: その老人層は手厚いということはない
事実7: その再手術は御取り仕切るということはない
事実8: もし仮に「この運用面は御取り仕切る」ということは本当だとしたら手厚い
事実9: この運用面は契約先だ
事実10: もしこの運用面が手厚いとすると御取り仕切る
事実11: この運用面は精神世界でない
事実12: その老人層が契約先だということはなくてかつ精神世界だということはないとしたらこの運用面は御取り仕切る
事実13: その老人層は比較し難くない
事実14: もし仮にこの運用面は手厚くなくて加えて精神世界でないとしたら「その老人層は御取り仕切る」ということは確かだ
事実15: この運用面は手厚いということはない
事実16: この運用面はストローク時でないし映えない
事実17: もしもその老人層が精神世界でなくてかつそれが手厚くないとすればこの運用面は契約先だ

仮説: その老人層は契約先でない
1. 事実15と事実11から、推論1: "この運用面は手厚くないしかつ精神世界でない"が導かれる
2. 推論1と事実14から、推論2: "その老人層は御取り仕切る"が導かれる
3. 事実5から、推論3: "もし仮にその老人層が御取り仕切るとすれば契約先である"が導かれる
4. 推論2と推論3から、仮説が否定される

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