そのぴよぴにLv.55は冗談ぽくない
fact1: そのもにゃもなLv.57が冗談ぽいとするとそのぴよぴにLv.55は冗談ぽい fact2: 仮に不味いモンスターが冗談ぽいということはないとしたらあのぷちゅぷわLv.48はべた付き易くない fact3: もしもそのもにゃもなLv.57が冗談ぽいならばそのぴよぴにLv.55は不味い fact4: もしそのぴよぴにLv.55がべた付き易いならばそのもにゃもなLv.57は不味い fact5: そのぴよぴにLv.55がべた付き易くないとすればそれは冗談ぽくない fact6: 「そのもにゃもなLv.57は不味くない」ということは正しい
void -> assump1: 以下のように仮定する。「そのぴよぴにLv.55はべた付き易い」ということは本当である; fact4 & assump1 -> int1: そのもにゃもなLv.57は不味い; int1 & fact6 -> int2: これは矛盾である; [assump1] & int2 -> int3: そのぴよぴにLv.55はべた付き易くない; int3 & fact5 -> hypothesis;
void -> assump1: {A}{a}; fact4 & assump1 -> int1: {B}{b}; int1 & fact6 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a}; int3 & fact5 -> hypothesis;
あのぷちゅぷわLv.48はべた付き易くない
$facts$ = fact1: そのもにゃもなLv.57が冗談ぽいとするとそのぴよぴにLv.55は冗談ぽい fact2: 仮に不味いモンスターが冗談ぽいということはないとしたらあのぷちゅぷわLv.48はべた付き易くない fact3: もしもそのもにゃもなLv.57が冗談ぽいならばそのぴよぴにLv.55は不味い fact4: もしそのぴよぴにLv.55がべた付き易いならばそのもにゃもなLv.57は不味い fact5: そのぴよぴにLv.55がべた付き易くないとすればそれは冗談ぽくない fact6: 「そのもにゃもなLv.57は不味くない」ということは正しい ; $hypothesis$ = そのぴよぴにLv.55は冗談ぽくない ; $proof$ = 
void -> assump1: 以下のように仮定する。「そのぴよぴにLv.55はべた付き易い」ということは本当である; fact4 & assump1 -> int1: そのもにゃもなLv.57は不味い; int1 & fact6 -> int2: これは矛盾である; [assump1] & int2 -> int3: そのぴよぴにLv.55はべた付き易くない; int3 & fact5 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; fact4 & assump1 -> int1: {B}{b}; int1 & fact6 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a}; int3 & fact5 -> hypothesis; __PROVED__