このぷにゃぷよLv.24は心置き無くない
fact1: あのぴゆぴにLv.28は発展し得る fact2: このぷにゃぷよLv.24は勇ましい fact3: 「もしも「あのぴゆぴにLv.28は心置き無くないかまたは発展し得ない」ということは成り立つとすればこのぷにゃぷよLv.24は心置き無い」ということは誤っていない fact4: もしもこのぷにゃぷよLv.24が心置き無いしかつそれが勇ましいとするとあのぴゆぴにLv.28は発展し得ない
void -> assump1: 以下のように仮定する。このぷにゃぷよLv.24は心置き無い; assump1 & fact2 -> int1: このぷにゃぷよLv.24は心置き無いしかつ勇ましい; int1 & fact4 -> int2: あのぴゆぴにLv.28は発展し得ない; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; assump1 & fact2 -> int1: ({A}{a} & {B}{a}); int1 & fact4 -> int2: ¬{C}{b}; int2 & fact1 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。このぷにゃぷよLv.24は心置き無い
$facts$ = fact1: あのぴゆぴにLv.28は発展し得る fact2: このぷにゃぷよLv.24は勇ましい fact3: 「もしも「あのぴゆぴにLv.28は心置き無くないかまたは発展し得ない」ということは成り立つとすればこのぷにゃぷよLv.24は心置き無い」ということは誤っていない fact4: もしもこのぷにゃぷよLv.24が心置き無いしかつそれが勇ましいとするとあのぴゆぴにLv.28は発展し得ない ; $hypothesis$ = このぷにゃぷよLv.24は心置き無くない ; $proof$ = 
void -> assump1: 以下のように仮定する。このぷにゃぷよLv.24は心置き無い; assump1 & fact2 -> int1: このぷにゃぷよLv.24は心置き無いしかつ勇ましい; int1 & fact4 -> int2: あのぴゆぴにLv.28は発展し得ない; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; assump1 & fact2 -> int1: ({A}{a} & {B}{a}); int1 & fact4 -> int2: ¬{C}{b}; int2 & fact1 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__