あの舗装道路は隙間無い
fact1: あの舗装道路はデイサービスセンターであるしさらに幼し fact2: もし仮にその十四年度中が幼しないとしたらあの舗装道路はデイサービスセンターであるしそれに隙間無い fact3: あの舗装道路はデイサービスセンターである fact4: 幼しということはないものはデイサービスセンターであるし更に隙間無い fact5: あの舗装道路は幼しとすると「それは第三監視塔だ」ということは事実だ fact6: 仮にあの舗装道路は第三監視塔であるなら隙間無くない
fact1 -> int1: あの舗装道路は幼し; int1 & fact5 -> int2: あの舗装道路は第三監視塔だ; int2 & fact6 -> hypothesis;
fact1 -> int1: {B}{a}; int1 & fact5 -> int2: {C}{a}; int2 & fact6 -> hypothesis;
あの舗装道路は隙間無い
$facts$ = fact1: あの舗装道路はデイサービスセンターであるしさらに幼し fact2: もし仮にその十四年度中が幼しないとしたらあの舗装道路はデイサービスセンターであるしそれに隙間無い fact3: あの舗装道路はデイサービスセンターである fact4: 幼しということはないものはデイサービスセンターであるし更に隙間無い fact5: あの舗装道路は幼しとすると「それは第三監視塔だ」ということは事実だ fact6: 仮にあの舗装道路は第三監視塔であるなら隙間無くない ; $hypothesis$ = あの舗装道路は隙間無い ; $proof$ = 
fact1 -> int1: あの舗装道路は幼し; int1 & fact5 -> int2: あの舗装道路は第三監視塔だ; int2 & fact6 -> hypothesis; __DISPROVED__
事実1: あの舗装道路はデイサービスセンターであるしさらに幼し
事実2: もし仮にその十四年度中が幼しないとしたらあの舗装道路はデイサービスセンターであるしそれに隙間無い
事実3: あの舗装道路はデイサービスセンターである
事実4: 幼しということはないものはデイサービスセンターであるし更に隙間無い
事実5: あの舗装道路は幼しとすると「それは第三監視塔だ」ということは事実だ
事実6: 仮にあの舗装道路は第三監視塔であるなら隙間無くない

仮説: あの舗装道路は隙間無い
1. 事実1から、推論1: "あの舗装道路は幼し"が導かれる
2. 推論1と事実5から、推論2: "あの舗装道路は第三監視塔だ"が導かれる
3. 推論2と事実6から、仮説が否定される

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