このぽのぽよLv.21は焦れったいが怖くない
fact1: もしもこのぽのぽよLv.21は怖いならば「あのみやみよLv.3は差し伸ばす」ということは成り立つ fact2: あのみやみよLv.3は差し伸ばさない fact3: もしもあるモンスターは差し伸ばせば「焦れったいが怖くない」ということは誤りである
void -> assump1: 以下のように仮定する。このぽのぽよLv.21は怖い; fact1 & assump1 -> int1: あのみやみよLv.3は差し伸ばす; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: このぽのぽよLv.21は怖くない;
void -> assump1: {A}{a}; fact1 & assump1 -> int1: {B}{b}; int1 & fact2 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a};
「このぽのぽよLv.21は焦れったいけれど怖くない」ということは成り立たない
fact4 -> int4: もしもこのぽのぽよLv.21は差し伸ばせば「このぽのぽよLv.21は焦れったいけどそれは怖くない」ということは嘘である;
$facts$ = fact1: もしもこのぽのぽよLv.21は怖いならば「あのみやみよLv.3は差し伸ばす」ということは成り立つ fact2: あのみやみよLv.3は差し伸ばさない fact3: もしもあるモンスターは差し伸ばせば「焦れったいが怖くない」ということは誤りである ; $hypothesis$ = このぽのぽよLv.21は焦れったいが怖くない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__