かったるいということは生じないということは広しということが起こるということに阻止される
fact1: もくもにゃLv.23事件は広しということに引き起こされる fact2: 安堵し難いということが起こる fact3: まにゅまゆLv.63事件がまえまゆLv.8事件は起こらないということを回避する fact4: もし仮にもくもにゃLv.23事件が生じないならば大人らしいということおよび広しということ両方ともは発生する fact5: かったるいということは発生しないということはもくもにゃLv.23事件に阻止される fact6: 熱っぽいということが起こる
void -> assump1: 以下のように仮定する。広しということが発生する; fact1 & assump1 -> int1: もくもにゃLv.23事件が起こる; int1 & fact5 -> int2: かったるいということが起こる; [assump1] & int2 -> hypothesis;
void -> assump1: {A}; fact1 & assump1 -> int1: {B}; int1 & fact5 -> int2: {C}; [assump1] & int2 -> hypothesis;
大人らしいということが発生する
$facts$ = fact1: もくもにゃLv.23事件は広しということに引き起こされる fact2: 安堵し難いということが起こる fact3: まにゅまゆLv.63事件がまえまゆLv.8事件は起こらないということを回避する fact4: もし仮にもくもにゃLv.23事件が生じないならば大人らしいということおよび広しということ両方ともは発生する fact5: かったるいということは発生しないということはもくもにゃLv.23事件に阻止される fact6: 熱っぽいということが起こる ; $hypothesis$ = かったるいということは生じないということは広しということが起こるということに阻止される ; $proof$ = 
void -> assump1: 以下のように仮定する。広しということが発生する; fact1 & assump1 -> int1: もくもにゃLv.23事件が起こる; int1 & fact5 -> int2: かったるいということが起こる; [assump1] & int2 -> hypothesis; __PROVED__
void -> assump1: {A}; fact1 & assump1 -> int1: {B}; int1 & fact5 -> int2: {C}; [assump1] & int2 -> hypothesis; __PROVED__