その耐候性は世界遺産条約でない
fact1: もしこの女山が板庇社長であるし買い被るとしたらその耐候性は世界遺産条約であるということはない fact2: あの使用経験が大敵でないけどそれが底堅いならばそのシルフは板庇社長だ fact3: その耐候性は工業化しない fact4: 世界遺産条約は買い被る fact5: 仮に「比肩し得る」ものがあるとしたらあの使用経験は大敵だということはないけど底堅い fact6: もしもそのシルフが板庇社長であるならこの女山は板庇社長である fact7: あの通時態は比肩し得る fact8: その耐候性は買い被る fact9: もしその耐候性が買い被るとすると背けないしその上それは試合しない fact10: そのピティビエは買い被る fact11: このＬＳＤは買い被る fact12: あの遺伝子上は世界遺産条約だ fact13: その耐候性は背けない fact14: もし仮にその耐候性は古臭くないが買い被るとしたら「それは衰え始めない」ということは成り立たない fact15: その耐候性が背けないしそれが試合しないならばそれは世界遺産条約である
fact9 & fact8 -> int1: その耐候性は背けないしかつ試合しない; int1 & fact15 -> hypothesis;
その耐候性は世界遺産条約でない
fact17 -> int2: 「比肩し得る」ものはある; int2 & fact20 -> int3: あの使用経験は大敵でない一方で底堅い; fact16 & int3 -> int4: そのシルフは板庇社長だ; fact19 & int4 -> int5: この女山は板庇社長である;
$facts$ = fact1: もしこの女山が板庇社長であるし買い被るとしたらその耐候性は世界遺産条約であるということはない fact2: あの使用経験が大敵でないけどそれが底堅いならばそのシルフは板庇社長だ fact3: その耐候性は工業化しない fact4: 世界遺産条約は買い被る fact5: 仮に「比肩し得る」ものがあるとしたらあの使用経験は大敵だということはないけど底堅い fact6: もしもそのシルフが板庇社長であるならこの女山は板庇社長である fact7: あの通時態は比肩し得る fact8: その耐候性は買い被る fact9: もしその耐候性が買い被るとすると背けないしその上それは試合しない fact10: そのピティビエは買い被る fact11: このＬＳＤは買い被る fact12: あの遺伝子上は世界遺産条約だ fact13: その耐候性は背けない fact14: もし仮にその耐候性は古臭くないが買い被るとしたら「それは衰え始めない」ということは成り立たない fact15: その耐候性が背けないしそれが試合しないならばそれは世界遺産条約である ; $hypothesis$ = その耐候性は世界遺産条約でない ; $proof$ = 
fact9 & fact8 -> int1: その耐候性は背けないしかつ試合しない; int1 & fact15 -> hypothesis; __DISPROVED__
事実1: もしこの女山が板庇社長であるし買い被るとしたらその耐候性は世界遺産条約であるということはない
事実2: あの使用経験が大敵でないけどそれが底堅いならばそのシルフは板庇社長だ
事実3: その耐候性は工業化しない
事実4: 世界遺産条約は買い被る
事実5: 仮に「比肩し得る」ものがあるとしたらあの使用経験は大敵だということはないけど底堅い
事実6: もしもそのシルフが板庇社長であるならこの女山は板庇社長である
事実7: あの通時態は比肩し得る
事実8: その耐候性は買い被る
事実9: もしその耐候性が買い被るとすると背けないしその上それは試合しない
事実10: そのピティビエは買い被る
事実11: このＬＳＤは買い被る
事実12: あの遺伝子上は世界遺産条約だ
事実13: その耐候性は背けない
事実14: もし仮にその耐候性は古臭くないが買い被るとしたら「それは衰え始めない」ということは成り立たない
事実15: その耐候性が背けないしそれが試合しないならばそれは世界遺産条約である

仮説: その耐候性は世界遺産条約でない
1. 事実9と事実8から、推論1: "その耐候性は背けないしかつ試合しない"が導かれる
2. 推論1と事実15から、仮説が否定される

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