ぴにょぴやLv.73事件が起こる
fact1: 判断し難いということとぷわぷにょLv.10事件が発生する fact2: ぷわぷにょLv.10事件は生じないということは「ぴにょぴやLv.73事件ではなく判断し難いということが生じる」ということのきっかけとなる fact3: まにょまゆLv.57事件が起こる fact4: 砕け易いということは生じないということは判断し難いということに阻止される fact5: もしぽにぽにゅLv.97事件は起こらないとしたらぴにょぴやLv.73事件が起こるかぷわぷにょLv.10事件が生じるか両方ともだ fact6: 判断し難いということが生じる fact7: ぴにょぴやLv.73事件がぷわぷにょLv.10事件は契機だ
fact1 -> int1: ぷわぷにょLv.10事件が生じる; int1 & fact7 -> hypothesis;
fact1 -> int1: {B}; int1 & fact7 -> hypothesis;
ぴにょぴやLv.73事件は起きない
$facts$ = fact1: 判断し難いということとぷわぷにょLv.10事件が発生する fact2: ぷわぷにょLv.10事件は生じないということは「ぴにょぴやLv.73事件ではなく判断し難いということが生じる」ということのきっかけとなる fact3: まにょまゆLv.57事件が起こる fact4: 砕け易いということは生じないということは判断し難いということに阻止される fact5: もしぽにぽにゅLv.97事件は起こらないとしたらぴにょぴやLv.73事件が起こるかぷわぷにょLv.10事件が生じるか両方ともだ fact6: 判断し難いということが生じる fact7: ぴにょぴやLv.73事件がぷわぷにょLv.10事件は契機だ ; $hypothesis$ = ぴにょぴやLv.73事件が起こる ; $proof$ = 
fact1 -> int1: ぷわぷにょLv.10事件が生じる; int1 & fact7 -> hypothesis; __PROVED__
fact1 -> int1: {B}; int1 & fact7 -> hypothesis; __PROVED__