気高しということが起こるがもいもにゅLv.45事件は起こらない
fact1: 甘酸っぱいということは起きないということはもいもにゅLv.45事件に防がれる fact2: 甘酸っぱいということは発生しない fact3: 甘酸っぱいということは発生するがしかしもいもにゅLv.45事件は生じないならみなみわLv.46事件が生じる fact4: もいもにゅLv.45事件は起きないということは「気高しということが起こるしもいもにゅLv.45事件は起こらない」ということを発生させる
void -> assump1: 以下のように仮定する。「もいもにゅLv.45事件が生じる」ということは成り立つ; fact1 & assump1 -> int1: 甘酸っぱいということが生じる; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: もいもにゅLv.45事件は起こらない; int3 & fact4 -> hypothesis;
void -> assump1: {A}; fact1 & assump1 -> int1: {B}; int1 & fact2 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}; int3 & fact4 -> hypothesis;
みなみわLv.46事件が生じる
$facts$ = fact1: 甘酸っぱいということは起きないということはもいもにゅLv.45事件に防がれる fact2: 甘酸っぱいということは発生しない fact3: 甘酸っぱいということは発生するがしかしもいもにゅLv.45事件は生じないならみなみわLv.46事件が生じる fact4: もいもにゅLv.45事件は起きないということは「気高しということが起こるしもいもにゅLv.45事件は起こらない」ということを発生させる ; $hypothesis$ = 気高しということが起こるがもいもにゅLv.45事件は起こらない ; $proof$ = 
void -> assump1: 以下のように仮定する。「もいもにゅLv.45事件が生じる」ということは成り立つ; fact1 & assump1 -> int1: 甘酸っぱいということが生じる; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: もいもにゅLv.45事件は起こらない; int3 & fact4 -> hypothesis; __PROVED__
void -> assump1: {A}; fact1 & assump1 -> int1: {B}; int1 & fact2 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}; int3 & fact4 -> hypothesis; __PROVED__