あのぷやぷなLv.3はすばしこくない
fact1: あのぷやぷなLv.3がすばしこいとしたらあのものもくLv.62は釈放するということはないし更に淀み無くない fact2: もし仮にあのみねみえLv.70は断定し難くないとすれば「すばしこいしまた釈放する」ということは嘘でない fact3: あのものもくLv.62は断定し難い fact4: このまなまいLv.65は淀み無くない fact5: もしあのぷやぷなLv.3がすばしこいとするとあのものもくLv.62は釈放しない fact6: あのものもくLv.62はすばしこい fact7: もしあのものもくLv.62は釈放しなくてそれに淀み無くないならばそれは断定し難くない fact8: もしも「あのぷやぷなLv.3は焼き難くない」ということは事実であるとすれば「あのぷやぷなLv.3は聞き咎めるということはないがそれは冷え易い」ということは嘘だ
void -> assump1: 以下のように仮定する。あのぷやぷなLv.3はすばしこい; fact1 & assump1 -> int1: あのものもくLv.62は釈放しないし加えて淀み無いということはない; int1 & fact7 -> int2: あのものもくLv.62は断定し難くない; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; fact1 & assump1 -> int1: (¬{AA}{b} & ¬{AB}{b}); int1 & fact7 -> int2: ¬{B}{b}; int2 & fact3 -> int3: #F#; [assump1] & int3 -> hypothesis;
あのみねみえLv.70は釈放する
$facts$ = fact1: あのぷやぷなLv.3がすばしこいとしたらあのものもくLv.62は釈放するということはないし更に淀み無くない fact2: もし仮にあのみねみえLv.70は断定し難くないとすれば「すばしこいしまた釈放する」ということは嘘でない fact3: あのものもくLv.62は断定し難い fact4: このまなまいLv.65は淀み無くない fact5: もしあのぷやぷなLv.3がすばしこいとするとあのものもくLv.62は釈放しない fact6: あのものもくLv.62はすばしこい fact7: もしあのものもくLv.62は釈放しなくてそれに淀み無くないならばそれは断定し難くない fact8: もしも「あのぷやぷなLv.3は焼き難くない」ということは事実であるとすれば「あのぷやぷなLv.3は聞き咎めるということはないがそれは冷え易い」ということは嘘だ ; $hypothesis$ = あのぷやぷなLv.3はすばしこくない ; $proof$ = 
void -> assump1: 以下のように仮定する。あのぷやぷなLv.3はすばしこい; fact1 & assump1 -> int1: あのものもくLv.62は釈放しないし加えて淀み無いということはない; int1 & fact7 -> int2: あのものもくLv.62は断定し難くない; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; fact1 & assump1 -> int1: (¬{AA}{b} & ¬{AB}{b}); int1 & fact7 -> int2: ¬{B}{b}; int2 & fact3 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__