あの配偶者以外は弘治元年だし加えて模写である
fact1: あるものが合祀するとすればそれはすごーい fact2: もしもあの調停事件が弘治元年ならばあのヤーは合祀する fact3: あの調停事件は合祀しない fact4: あのヤーはすごーくない fact5: もしもあの調停事件が弘治元年でないならばあの配偶者以外は弘治元年であるしそれに模写だ
void -> assump1: 以下のように仮定する。あの調停事件は弘治元年である; fact2 & assump1 -> int1: あのヤーは合祀する; fact1 -> int2: もし仮にあのヤーが合祀するならすごーい; int1 & int2 -> int3: あのヤーはすごーい; int3 & fact4 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの調停事件は弘治元年でない; int5 & fact5 -> hypothesis;
$facts$ = fact1: あるものが合祀するとすればそれはすごーい fact2: もしもあの調停事件が弘治元年ならばあのヤーは合祀する fact3: あの調停事件は合祀しない fact4: あのヤーはすごーくない fact5: もしもあの調停事件が弘治元年でないならばあの配偶者以外は弘治元年であるしそれに模写だ ; $hypothesis$ = あの配偶者以外は弘治元年だし加えて模写である ; $proof$ = 
void -> assump1: 以下のように仮定する。あの調停事件は弘治元年である; fact2 & assump1 -> int1: あのヤーは合祀する; fact1 -> int2: もし仮にあのヤーが合祀するならすごーい; int1 & int2 -> int3: あのヤーはすごーい; int3 & fact4 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの調停事件は弘治元年でない; int5 & fact5 -> hypothesis; __PROVED__
事実1: あるものが合祀するとすればそれはすごーい
事実2: もしもあの調停事件が弘治元年ならばあのヤーは合祀する
事実3: あの調停事件は合祀しない
事実4: あのヤーはすごーくない
事実5: もしもあの調停事件が弘治元年でないならばあの配偶者以外は弘治元年であるしそれに模写だ

仮説: あの配偶者以外は弘治元年だし加えて模写である
1. 仮定1: 以下のように仮定する。あの調停事件は弘治元年である
2. 事実2と仮定1から、推論1: "あのヤーは合祀する"が導かれる
3. 事実1から、推論2: "もし仮にあのヤーが合祀するならすごーい"が導かれる
4. 推論1と推論2から、推論3: "あのヤーはすごーい"が導かれる
5. 推論3と事実4から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "あの調停事件は弘治元年でない"が導かれる
7. 推論5と事実5から、仮説が導かれる

よって、仮説が証明されました。