「そのぴねぴにLv.32は見直しするかあるいは洒落臭いかあるいは両方ともである」ということは誤っている
fact1: そのぴねぴにLv.32は洒落臭くないならば「そのぴねぴにLv.32は見直しするかもしくは洒落臭い」ということは成り立たない fact2: そのぴねぴにLv.32が洒落臭いとすれば生臭い fact3: 「そのぴねぴにLv.32は生臭くない」ということは成り立つ fact4: 仮に「あるモンスターは痺れるということはない」ということは本当であるならばそれは冷め難くない fact5: もしも「とあるモンスターは痺れるけれどそれは由々しない」ということは誤っているとすれば痺れない fact6: 冷め難くないモンスターは見直しするしまた生臭い
void -> assump1: 以下のように仮定する。そのぴねぴにLv.32は洒落臭い; fact2 & assump1 -> int1: そのぴねぴにLv.32は生臭い; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> int3: そのぴねぴにLv.32は洒落臭くない; int3 & fact1 -> hypothesis;
void -> assump1: {A}{a}; fact2 & assump1 -> int1: {B}{a}; int1 & fact3 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a}; int3 & fact1 -> hypothesis;
そのぴねぴにLv.32は見直しするか洒落臭いかあるいはどちらもだ
fact9 -> int4: もしも「そのぴねぴにLv.32は冷め難くない」ということは確かだとするとそのぴねぴにLv.32は見直しするし更に生臭い; fact8 -> int5: そのぴねぴにLv.32が痺れないとするとそのぴねぴにLv.32は冷め難くない; fact7 -> int6: もし仮に「そのぴねぴにLv.32は痺れるけれど由々しということはない」ということは事実と異なるとしたら痺れない;
$facts$ = fact1: そのぴねぴにLv.32は洒落臭くないならば「そのぴねぴにLv.32は見直しするかもしくは洒落臭い」ということは成り立たない fact2: そのぴねぴにLv.32が洒落臭いとすれば生臭い fact3: 「そのぴねぴにLv.32は生臭くない」ということは成り立つ fact4: 仮に「あるモンスターは痺れるということはない」ということは本当であるならばそれは冷め難くない fact5: もしも「とあるモンスターは痺れるけれどそれは由々しない」ということは誤っているとすれば痺れない fact6: 冷め難くないモンスターは見直しするしまた生臭い ; $hypothesis$ = 「そのぴねぴにLv.32は見直しするかあるいは洒落臭いかあるいは両方ともである」ということは誤っている ; $proof$ = 
void -> assump1: 以下のように仮定する。そのぴねぴにLv.32は洒落臭い; fact2 & assump1 -> int1: そのぴねぴにLv.32は生臭い; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> int3: そのぴねぴにLv.32は洒落臭くない; int3 & fact1 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; fact2 & assump1 -> int1: {B}{a}; int1 & fact3 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a}; int3 & fact1 -> hypothesis; __PROVED__