「御美しいとすると扱き下ろす」モンスターはいる
fact1: もしもそのまのまちょLv.30が取り組み易いならばそのまのまちょLv.30は解け易いということはないしさらに毒々しくない fact2: 仮にこのぽちゅぽえLv.63が見抜くということはないしその上冗談っぽくないならば扱き下ろす fact3: もし仮にこのぽちゅぽえLv.63は理解し難いということはないし更に解け易くないならそれは扱き下ろす fact4: 仮にこのぽちゅぽえLv.63が御美しいとすれば理解し難くないしさらに解け易くない
void -> assump1: 以下のように仮定する。このぽちゅぽえLv.63は御美しい; fact4 & assump1 -> int1: このぽちゅぽえLv.63は理解し難くなくてその上解け易くない; int1 & fact3 -> int2: このぽちゅぽえLv.63は扱き下ろす; [assump1] & int2 -> int3: もし仮にこのぽちゅぽえLv.63が御美しいならこのぽちゅぽえLv.63は扱き下ろす; int3 -> hypothesis;
void -> assump1: {A}{a}; fact4 & assump1 -> int1: (¬{AA}{a} & ¬{AB}{a}); int1 & fact3 -> int2: {B}{a}; [assump1] & int2 -> int3: {A}{a} -> {B}{a}; int3 -> hypothesis;
$facts$ = fact1: もしもそのまのまちょLv.30が取り組み易いならばそのまのまちょLv.30は解け易いということはないしさらに毒々しくない fact2: 仮にこのぽちゅぽえLv.63が見抜くということはないしその上冗談っぽくないならば扱き下ろす fact3: もし仮にこのぽちゅぽえLv.63は理解し難いということはないし更に解け易くないならそれは扱き下ろす fact4: 仮にこのぽちゅぽえLv.63が御美しいとすれば理解し難くないしさらに解け易くない ; $hypothesis$ = 「御美しいとすると扱き下ろす」モンスターはいる ; $proof$ = 
void -> assump1: 以下のように仮定する。このぽちゅぽえLv.63は御美しい; fact4 & assump1 -> int1: このぽちゅぽえLv.63は理解し難くなくてその上解け易くない; int1 & fact3 -> int2: このぽちゅぽえLv.63は扱き下ろす; [assump1] & int2 -> int3: もし仮にこのぽちゅぽえLv.63が御美しいならこのぽちゅぽえLv.63は扱き下ろす; int3 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; fact4 & assump1 -> int1: (¬{AA}{a} & ¬{AB}{a}); int1 & fact3 -> int2: {B}{a}; [assump1] & int2 -> int3: {A}{a} -> {B}{a}; int3 -> hypothesis; __PROVED__