「この播淡汽船は立ちするということはない」ということは事実である
fact1: もしこの播淡汽船が近傍であるとしたらその善光寺町は立ちする fact2: 「この播淡汽船は近傍である」ということは事実である fact3: どれもこれもは失い掛ける fact4: もしその善光寺町が近傍であるならこの播淡汽船は立ちする fact5: 何もかもは近傍だ
fact5 -> int1: その善光寺町は近傍である; int1 & fact4 -> hypothesis;
fact5 -> int1: {A}{aa}; int1 & fact4 -> hypothesis;
$facts$ = fact1: もしこの播淡汽船が近傍であるとしたらその善光寺町は立ちする fact2: 「この播淡汽船は近傍である」ということは事実である fact3: どれもこれもは失い掛ける fact4: もしその善光寺町が近傍であるならこの播淡汽船は立ちする fact5: 何もかもは近傍だ ; $hypothesis$ = 「この播淡汽船は立ちするということはない」ということは事実である ; $proof$ = 
fact5 -> int1: その善光寺町は近傍である; int1 & fact4 -> hypothesis; __DISPROVED__
事実1: もしこの播淡汽船が近傍であるとしたらその善光寺町は立ちする
事実2: 「この播淡汽船は近傍である」ということは事実である
事実3: どれもこれもは失い掛ける
事実4: もしその善光寺町が近傍であるならこの播淡汽船は立ちする
事実5: 何もかもは近傍だ

仮説: 「この播淡汽船は立ちするということはない」ということは事実である
1. 事実5から、推論1: "その善光寺町は近傍である"が導かれる
2. 推論1と事実4から、仮説が否定される

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