あのぴよぴいLv.48は図り兼ねる
fact1: もしあのぴよぴいLv.48が羽化するということはないとしたらあのぴよぴいLv.48は図り兼ねない fact2: あのぴよぴいLv.48は羽化する fact3: あのぴよぴいLv.48は見過ごし難い fact4: 「このもにょものLv.28は図り兼ねない」ということは正しい fact5: もし「このまいまくLv.75は羽化しないがしかし落選する」ということは偽だとするとこのまいまくLv.75は朗誦しない
void -> assump1: 以下のように仮定する。あのぴよぴいLv.48は見過ごし難くないがしかし羽化する; assump1 -> int1: あのぴよぴいLv.48は見過ごし難くない; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「あのぴよぴいLv.48は見過ごし難くない一方で羽化する」ということは偽だ;
void -> assump1: (¬{A}{a} & {B}{a}); assump1 -> int1: ¬{A}{a}; int1 & fact3 -> int2: #F#; [assump1] & int2 -> int3: ¬(¬{A}{a} & {B}{a});
$facts$ = fact1: もしあのぴよぴいLv.48が羽化するということはないとしたらあのぴよぴいLv.48は図り兼ねない fact2: あのぴよぴいLv.48は羽化する fact3: あのぴよぴいLv.48は見過ごし難い fact4: 「このもにょものLv.28は図り兼ねない」ということは正しい fact5: もし「このまいまくLv.75は羽化しないがしかし落選する」ということは偽だとするとこのまいまくLv.75は朗誦しない ; $hypothesis$ = あのぴよぴいLv.48は図り兼ねる ; $proof$ = 
__UNKNOWN__
__UNKNOWN__