油っぽいということが生じるかみちょみのLv.33事件が生じる
fact1: 仮に「おもろいということが起こるしぽわぽちょLv.61事件は起こらない」ということは成り立たないなら油っぽいということは起こらない fact2: もし仮に痛いということが発生するとしたら「おもろいということが起きるしぽわぽちょLv.61事件は起こらない」ということは嘘だ fact3: みちょみにゅLv.16事件は起きないということは痛いということとぴゆぴのLv.87事件が起こるに繋がる fact4: みちょみのLv.33事件が発生する
fact4 -> int1: みちょみのLv.33事件が発生する; int1 -> hypothesis;
fact4 -> int1: {A}; int1 -> hypothesis;
待ちすることが発生するかもしくは煩わしいということが起こる
$facts$ = fact1: 仮に「おもろいということが起こるしぽわぽちょLv.61事件は起こらない」ということは成り立たないなら油っぽいということは起こらない fact2: もし仮に痛いということが発生するとしたら「おもろいということが起きるしぽわぽちょLv.61事件は起こらない」ということは嘘だ fact3: みちょみにゅLv.16事件は起きないということは痛いということとぴゆぴのLv.87事件が起こるに繋がる fact4: みちょみのLv.33事件が発生する ; $hypothesis$ = 油っぽいということが生じるかみちょみのLv.33事件が生じる ; $proof$ = 
fact4 -> int1: みちょみのLv.33事件が発生する; int1 -> hypothesis; __PROVED__
fact4 -> int1: {A}; int1 -> hypothesis; __PROVED__