あのもにょもちゅLv.44は書き立てない
fact1: もし仮にあのもにょもちゅLv.44が狭しかあるいは書き立てるならあのぷなぷいLv.58はちぎれ易くない fact2: あのもにょもちゅLv.44はちぎれ易いか狭し fact3: あのぷなぷいLv.58はちぎれ易い fact4: あのもにょもちゅLv.44は嘘っぽい fact5: あのもにょもちゅLv.44は狭しかあるいはちぎれ易いかどちらもだ fact6: そのみいみなLv.86は狭し
void -> assump1: 以下のように仮定する。あのもにょもちゅLv.44は書き立てる; assump1 -> int1: あのもにょもちゅLv.44は狭しかあるいは書き立てるかあるいは両方だ; int1 & fact1 -> int2: あのぷなぷいLv.58はちぎれ易くない; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {B}{a}; assump1 -> int1: ({A}{a} v {B}{a}); int1 & fact1 -> int2: ¬{C}{b}; int2 & fact3 -> int3: #F#; [assump1] & int3 -> hypothesis;
$facts$ = fact1: もし仮にあのもにょもちゅLv.44が狭しかあるいは書き立てるならあのぷなぷいLv.58はちぎれ易くない fact2: あのもにょもちゅLv.44はちぎれ易いか狭し fact3: あのぷなぷいLv.58はちぎれ易い fact4: あのもにょもちゅLv.44は嘘っぽい fact5: あのもにょもちゅLv.44は狭しかあるいはちぎれ易いかどちらもだ fact6: そのみいみなLv.86は狭し ; $hypothesis$ = あのもにょもちゅLv.44は書き立てない ; $proof$ = 
void -> assump1: 以下のように仮定する。あのもにょもちゅLv.44は書き立てる; assump1 -> int1: あのもにょもちゅLv.44は狭しかあるいは書き立てるかあるいは両方だ; int1 & fact1 -> int2: あのぷなぷいLv.58はちぎれ易くない; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {B}{a}; assump1 -> int1: ({A}{a} v {B}{a}); int1 & fact1 -> int2: ¬{C}{b}; int2 & fact3 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__