以下のように仮定する。まわまにょLv.66事件が起こる
fact1: もしも「湿っぽいということは起こらない」ということは確かであるとすると「消化し易いということは起こらないかまたはみゆみにょLv.7事件は発生しないかあるいは両方ともである」ということは嘘である fact2: もわもわLv.71事件が起こる fact3: もし「消化し易いということは起きない」ということは本当であるならばもわもわLv.71事件が生じるかあるいはみゆみにょLv.7事件が生じる fact4: もし仮にもわもわLv.71事件が起きないならまわまにょLv.66事件が起きるしそれにぷよぷねLv.99事件は発生する fact5: 「まわまにょLv.66事件が発生するしもわもわLv.71事件が起きる」ということはみゆみにょLv.7事件を回避する fact6: みゆみにょLv.7事件が起きる fact7: 「消化し易いということは発生しないかみゆみにょLv.7事件は発生しないかどちらもだ」ということは誤りならばもわもわLv.71事件は起こらない fact8: 仮に「いがらっぽいということが発生する一方で湿っぽいということは起こらない」ということは間違いであるなら消化し易いということは起こらない
void -> assump1: 以下のように仮定する。まわまにょLv.66事件が起こる; assump1 & fact2 -> int1: まわまにょLv.66事件が発生するしかつもわもわLv.71事件が起こる; int1 & fact5 -> int2: みゆみにょLv.7事件は生じない; int2 & fact6 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}; assump1 & fact2 -> int1: ({A} & {B}); int1 & fact5 -> int2: ¬{C}; int2 & fact6 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。まわまにょLv.66事件が起こる
$facts$ = fact1: もしも「湿っぽいということは起こらない」ということは確かであるとすると「消化し易いということは起こらないかまたはみゆみにょLv.7事件は発生しないかあるいは両方ともである」ということは嘘である fact2: もわもわLv.71事件が起こる fact3: もし「消化し易いということは起きない」ということは本当であるならばもわもわLv.71事件が生じるかあるいはみゆみにょLv.7事件が生じる fact4: もし仮にもわもわLv.71事件が起きないならまわまにょLv.66事件が起きるしそれにぷよぷねLv.99事件は発生する fact5: 「まわまにょLv.66事件が発生するしもわもわLv.71事件が起きる」ということはみゆみにょLv.7事件を回避する fact6: みゆみにょLv.7事件が起きる fact7: 「消化し易いということは発生しないかみゆみにょLv.7事件は発生しないかどちらもだ」ということは誤りならばもわもわLv.71事件は起こらない fact8: 仮に「いがらっぽいということが発生する一方で湿っぽいということは起こらない」ということは間違いであるなら消化し易いということは起こらない ; $hypothesis$ = 以下のように仮定する。まわまにょLv.66事件が起こる ; $proof$ = 
void -> assump1: 以下のように仮定する。まわまにょLv.66事件が起こる; assump1 & fact2 -> int1: まわまにょLv.66事件が発生するしかつもわもわLv.71事件が起こる; int1 & fact5 -> int2: みゆみにょLv.7事件は生じない; int2 & fact6 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: {A}; assump1 & fact2 -> int1: ({A} & {B}); int1 & fact5 -> int2: ¬{C}; int2 & fact6 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__