じりじりすることおよびぷにょぷくLv.40事件両方が起こる
fact1: もし仮にまのまねLv.11事件は発生しないとしたら「じりじりすることが起きるし更にぷにょぷくLv.40事件が発生する」ということは成り立つということはない fact2: もし「心強いということが生じるししかもまのまねLv.11事件が起きる」ということは成り立つということはないとしたらまのまねLv.11事件は起きない fact3: ぷにょぷくLv.40事件が生じる fact4: じりじりすることが発生するしまのまねLv.11事件が起きる
fact4 -> int1: じりじりすることが起きる; int1 & fact3 -> hypothesis;
fact4 -> int1: {A}; int1 & fact3 -> hypothesis;
「「じりじりすることとぷにょぷくLv.40事件が起こる」ということは誤りである」ということは成り立つ
$facts$ = fact1: もし仮にまのまねLv.11事件は発生しないとしたら「じりじりすることが起きるし更にぷにょぷくLv.40事件が発生する」ということは成り立つということはない fact2: もし「心強いということが生じるししかもまのまねLv.11事件が起きる」ということは成り立つということはないとしたらまのまねLv.11事件は起きない fact3: ぷにょぷくLv.40事件が生じる fact4: じりじりすることが発生するしまのまねLv.11事件が起きる ; $hypothesis$ = じりじりすることおよびぷにょぷくLv.40事件両方が起こる ; $proof$ = 
fact4 -> int1: じりじりすることが起きる; int1 & fact3 -> hypothesis; __PROVED__
fact4 -> int1: {A}; int1 & fact3 -> hypothesis; __PROVED__