もしそのみにゅみにゅLv.26は通り難いとすると「そのまちょまなLv.11は持ち運ぶ」ということは事実である
fact1: もしそのまちょまなLv.11が組み入れるとするとそれは持ち運ぶ fact2: もしそのみにゅみにゅLv.26が通り難いとしたらそのまちょまなLv.11は組み入れる fact3: 全てのモンスターは切ないしそれは尊し fact4: 切ないモンスターは吸収され易くない
void -> assump1: 以下のように仮定する。そのみにゅみにゅLv.26は通り難い; fact2 & assump1 -> int1: そのまちょまなLv.11は組み入れる; int1 & fact1 -> int2: そのまちょまなLv.11は持ち運ぶ; [assump1] & int2 -> hypothesis;
void -> assump1: {A}{a}; fact2 & assump1 -> int1: {B}{b}; int1 & fact1 -> int2: {C}{b}; [assump1] & int2 -> hypothesis;
「そのみにゅみにゅLv.26は持ち運ぶ」ということは事実である
fact6 -> int3: もし仮に「あのもにゅもにゃLv.24は切ない」ということは本当だとすると「あのもにゅもにゃLv.24は吸収され易くない」ということは成り立つ; fact5 -> int4: あのもにゅもにゃLv.24は切ないしかつ尊し; int4 -> int5: あのもにゅもにゃLv.24は切ない; int3 & int5 -> int6: あのもにゅもにゃLv.24は吸収され易くない;
$facts$ = fact1: もしそのまちょまなLv.11が組み入れるとするとそれは持ち運ぶ fact2: もしそのみにゅみにゅLv.26が通り難いとしたらそのまちょまなLv.11は組み入れる fact3: 全てのモンスターは切ないしそれは尊し fact4: 切ないモンスターは吸収され易くない ; $hypothesis$ = もしそのみにゅみにゅLv.26は通り難いとすると「そのまちょまなLv.11は持ち運ぶ」ということは事実である ; $proof$ = 
void -> assump1: 以下のように仮定する。そのみにゅみにゅLv.26は通り難い; fact2 & assump1 -> int1: そのまちょまなLv.11は組み入れる; int1 & fact1 -> int2: そのまちょまなLv.11は持ち運ぶ; [assump1] & int2 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; fact2 & assump1 -> int1: {B}{b}; int1 & fact1 -> int2: {C}{b}; [assump1] & int2 -> hypothesis; __PROVED__