そのディーブは積層するしかつ枇杷である
fact1: その砲塔はＡＮＯＶＡである fact2: この方式は奮闘中でない fact3: もしそのディーブが問い詰めるとするとこの方式は奮闘中でない fact4: もしもそのディーブが問い詰めないならそれは相当する fact5: もしその砲塔はＡＮＯＶＡだとすると「この方式は御送り下さらないしそれは奮闘中でない」ということは偽である fact6: もし仮にそのディーブが問い詰めるとしたらこの方式は御送り下さらなくて奮闘中でない fact7: 「そのディーブは積層する」ということは確かだ fact8: 「その砲塔は積層しないし更にＡＮＯＶＡでない」ということは偽だ fact9: その砲塔はＡＮＯＶＡだとしたら「この方式は御送り下さらないが奮闘中だ」ということは嘘である fact10: 「この方式は御送り下さらないがしかし奮闘中だ」ということは嘘である fact11: 仮にその砲塔が積層するしおまけに問い詰めるならばあの方式は積層しない fact12: もしもそのディーブが相当するなら枇杷だ fact13: この方式は相当する
void -> assump1: 以下のように仮定する。そのディーブは問い詰める; fact6 & assump1 -> int1: この方式は御送り下さらないしかつ奮闘中でない; fact1 & fact5 -> int2: 「この方式は御送り下さらなくて奮闘中でない」ということは嘘である; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: そのディーブは問い詰めない; int4 & fact4 -> int5: そのディーブは相当する; int5 & fact12 -> int6: 「そのディーブは枇杷である」ということは正しい; int6 & fact7 -> hypothesis;
「そのディーブは積層するししかも枇杷だ」ということは誤りである
$facts$ = fact1: その砲塔はＡＮＯＶＡである fact2: この方式は奮闘中でない fact3: もしそのディーブが問い詰めるとするとこの方式は奮闘中でない fact4: もしもそのディーブが問い詰めないならそれは相当する fact5: もしその砲塔はＡＮＯＶＡだとすると「この方式は御送り下さらないしそれは奮闘中でない」ということは偽である fact6: もし仮にそのディーブが問い詰めるとしたらこの方式は御送り下さらなくて奮闘中でない fact7: 「そのディーブは積層する」ということは確かだ fact8: 「その砲塔は積層しないし更にＡＮＯＶＡでない」ということは偽だ fact9: その砲塔はＡＮＯＶＡだとしたら「この方式は御送り下さらないが奮闘中だ」ということは嘘である fact10: 「この方式は御送り下さらないがしかし奮闘中だ」ということは嘘である fact11: 仮にその砲塔が積層するしおまけに問い詰めるならばあの方式は積層しない fact12: もしもそのディーブが相当するなら枇杷だ fact13: この方式は相当する ; $hypothesis$ = そのディーブは積層するしかつ枇杷である ; $proof$ = 
void -> assump1: 以下のように仮定する。そのディーブは問い詰める; fact6 & assump1 -> int1: この方式は御送り下さらないしかつ奮闘中でない; fact1 & fact5 -> int2: 「この方式は御送り下さらなくて奮闘中でない」ということは嘘である; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: そのディーブは問い詰めない; int4 & fact4 -> int5: そのディーブは相当する; int5 & fact12 -> int6: 「そのディーブは枇杷である」ということは正しい; int6 & fact7 -> hypothesis; __PROVED__
事実1: その砲塔はＡＮＯＶＡである
事実2: この方式は奮闘中でない
事実3: もしそのディーブが問い詰めるとするとこの方式は奮闘中でない
事実4: もしもそのディーブが問い詰めないならそれは相当する
事実5: もしその砲塔はＡＮＯＶＡだとすると「この方式は御送り下さらないしそれは奮闘中でない」ということは偽である
事実6: もし仮にそのディーブが問い詰めるとしたらこの方式は御送り下さらなくて奮闘中でない
事実7: 「そのディーブは積層する」ということは確かだ
事実8: 「その砲塔は積層しないし更にＡＮＯＶＡでない」ということは偽だ
事実9: その砲塔はＡＮＯＶＡだとしたら「この方式は御送り下さらないが奮闘中だ」ということは嘘である
事実10: 「この方式は御送り下さらないがしかし奮闘中だ」ということは嘘である
事実11: 仮にその砲塔が積層するしおまけに問い詰めるならばあの方式は積層しない
事実12: もしもそのディーブが相当するなら枇杷だ
事実13: この方式は相当する

仮説: そのディーブは積層するしかつ枇杷である
1. 仮定1: 以下のように仮定する。そのディーブは問い詰める
2. 事実6と仮定1から、推論1: "この方式は御送り下さらないしかつ奮闘中でない"が導かれる
3. 事実1と事実5から、推論2: "「この方式は御送り下さらなくて奮闘中でない」ということは嘘である"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "そのディーブは問い詰めない"が導かれる
6. 推論4と事実4から、推論5: "そのディーブは相当する"が導かれる
7. 推論5と事実12から、推論6: "「そのディーブは枇杷である」ということは正しい"が導かれる
8. 推論6と事実7から、仮説が導かれる

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