愛らしいということは起こらないしさらに浅ましいということは生じない
fact1: 浅ましいということは賢しいということは生じないということを防ぐ fact2: 仮に「まねまちゅLv.11事件が起こらなくてそれにもにゅもちゅLv.69事件は起こらない」ということは成り立たないならば愛らしいということは生じない fact3: もし「愛らしいということは発生しない」ということは成り立てば「浅ましいということが起きるが賢しいということは起こらない」ということは成り立たない fact4: 濃いということはもねもにLv.59事件にもたらされる fact5: 仮に「浅ましいということは生じない」ということは本当なら愛らしいということは起きないしおまけに浅ましいということは起きない fact6: ぷわぷちょLv.34事件が起これば「まねまちゅLv.11事件が生じなくてさらにもにゅもちゅLv.69事件は起こらない」ということは嘘である fact7: 賢しいということは生じない fact8: 仮に「「浅ましいということが起こるし賢しいということは起こらない」ということは成り立つ」ということは成り立たないならばもくもちょLv.34事件は起きない
void -> assump1: 以下のように仮定する。浅ましいということが生じる; fact1 & assump1 -> int1: 賢しいということが起きる; int1 & fact7 -> int2: これは矛盾である; [assump1] & int2 -> int3: 浅ましいということは発生しない; int3 & fact5 -> hypothesis;
void -> assump1: {A}; fact1 & assump1 -> int1: {B}; int1 & fact7 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}; int3 & fact5 -> hypothesis;
もくもちょLv.34事件は生じない
$facts$ = fact1: 浅ましいということは賢しいということは生じないということを防ぐ fact2: 仮に「まねまちゅLv.11事件が起こらなくてそれにもにゅもちゅLv.69事件は起こらない」ということは成り立たないならば愛らしいということは生じない fact3: もし「愛らしいということは発生しない」ということは成り立てば「浅ましいということが起きるが賢しいということは起こらない」ということは成り立たない fact4: 濃いということはもねもにLv.59事件にもたらされる fact5: 仮に「浅ましいということは生じない」ということは本当なら愛らしいということは起きないしおまけに浅ましいということは起きない fact6: ぷわぷちょLv.34事件が起これば「まねまちゅLv.11事件が生じなくてさらにもにゅもちゅLv.69事件は起こらない」ということは嘘である fact7: 賢しいということは生じない fact8: 仮に「「浅ましいということが起こるし賢しいということは起こらない」ということは成り立つ」ということは成り立たないならばもくもちょLv.34事件は起きない ; $hypothesis$ = 愛らしいということは起こらないしさらに浅ましいということは生じない ; $proof$ = 
void -> assump1: 以下のように仮定する。浅ましいということが生じる; fact1 & assump1 -> int1: 賢しいということが起きる; int1 & fact7 -> int2: これは矛盾である; [assump1] & int2 -> int3: 浅ましいということは発生しない; int3 & fact5 -> hypothesis; __PROVED__
void -> assump1: {A}; fact1 & assump1 -> int1: {B}; int1 & fact7 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}; int3 & fact5 -> hypothesis; __PROVED__