そのぽよぽにLv.75は零れ落ちなくてしかも継続し難くない
fact1: もし仮にあのぴにゅぴねLv.36が零れ落ちればあのぽねぽちょLv.6は受け入れ易い fact2: あのぽねぽちょLv.6は受け入れ易くない fact3: 仮に「あのぴにゅぴねLv.36は零れ落ちるということはない」ということは事実ならそのぽよぽにLv.75は零れ落ちなくて継続し難くない
void -> assump1: 以下のように仮定する。「あのぴにゅぴねLv.36は零れ落ちる」ということは嘘でない; fact1 & assump1 -> int1: あのぽねぽちょLv.6は受け入れ易い; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「あのぴにゅぴねLv.36は零れ落ちるということはない」ということは確かである; int3 & fact3 -> hypothesis;
void -> assump1: {A}{a}; fact1 & assump1 -> int1: {B}{b}; int1 & fact2 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a}; int3 & fact3 -> hypothesis;
$facts$ = fact1: もし仮にあのぴにゅぴねLv.36が零れ落ちればあのぽねぽちょLv.6は受け入れ易い fact2: あのぽねぽちょLv.6は受け入れ易くない fact3: 仮に「あのぴにゅぴねLv.36は零れ落ちるということはない」ということは事実ならそのぽよぽにLv.75は零れ落ちなくて継続し難くない ; $hypothesis$ = そのぽよぽにLv.75は零れ落ちなくてしかも継続し難くない ; $proof$ = 
void -> assump1: 以下のように仮定する。「あのぴにゅぴねLv.36は零れ落ちる」ということは嘘でない; fact1 & assump1 -> int1: あのぽねぽちょLv.6は受け入れ易い; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「あのぴにゅぴねLv.36は零れ落ちるということはない」ということは確かである; int3 & fact3 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; fact1 & assump1 -> int1: {B}{b}; int1 & fact2 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a}; int3 & fact3 -> hypothesis; __PROVED__