「あの登録簿は省都だし上り続ける」ということは嘘である
fact1: もしその仙台高判昭がフロンならばあの登録簿は省都である fact2: あの登録簿は恨みがましい fact3: もしもあの登録簿が恨みがましいとすればそれは上り続ける fact4: もし「あの夏目家は恨みがましいしおまけに手緩い」ということは偽であるとすればその仙台高判昭はフロンでない fact5: その仙台高判昭はフロンであるか手緩いかまたは両方だ fact6: もし仮にその仙台高判昭は手緩いなら「あの登録簿は省都だ」ということは正しい fact7: 「もし仮にその仙台高判昭はフロンでないなら「あの登録簿は省都で上り続ける」ということは成り立たない」ということは成り立つ
fact5 & fact1 & fact6 -> int1: あの登録簿は省都である; fact2 & fact3 -> int2: あの登録簿は上り続ける; int1 & int2 -> hypothesis;
fact5 & fact1 & fact6 -> int1: {C}{c}; fact2 & fact3 -> int2: {D}{c}; int1 & int2 -> hypothesis;
「あの登録簿は省都で上り続ける」ということは誤っている
$facts$ = fact1: もしその仙台高判昭がフロンならばあの登録簿は省都である fact2: あの登録簿は恨みがましい fact3: もしもあの登録簿が恨みがましいとすればそれは上り続ける fact4: もし「あの夏目家は恨みがましいしおまけに手緩い」ということは偽であるとすればその仙台高判昭はフロンでない fact5: その仙台高判昭はフロンであるか手緩いかまたは両方だ fact6: もし仮にその仙台高判昭は手緩いなら「あの登録簿は省都だ」ということは正しい fact7: 「もし仮にその仙台高判昭はフロンでないなら「あの登録簿は省都で上り続ける」ということは成り立たない」ということは成り立つ ; $hypothesis$ = 「あの登録簿は省都だし上り続ける」ということは嘘である ; $proof$ = 
fact5 & fact1 & fact6 -> int1: あの登録簿は省都である; fact2 & fact3 -> int2: あの登録簿は上り続ける; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしその仙台高判昭がフロンならばあの登録簿は省都である
事実2: あの登録簿は恨みがましい
事実3: もしもあの登録簿が恨みがましいとすればそれは上り続ける
事実4: もし「あの夏目家は恨みがましいしおまけに手緩い」ということは偽であるとすればその仙台高判昭はフロンでない
事実5: その仙台高判昭はフロンであるか手緩いかまたは両方だ
事実6: もし仮にその仙台高判昭は手緩いなら「あの登録簿は省都だ」ということは正しい
事実7: 「もし仮にその仙台高判昭はフロンでないなら「あの登録簿は省都で上り続ける」ということは成り立たない」ということは成り立つ

仮説: 「あの登録簿は省都だし上り続ける」ということは嘘である
1. 事実5と事実1と事実6から、推論1: "あの登録簿は省都である"が導かれる
2. 事実2と事実3から、推論2: "あの登録簿は上り続ける"が導かれる
3. 推論1と推論2から、仮説が否定される

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