ぽなぽいLv.56事件が起こる
fact1: ぽなぽいLv.56事件が付け足すことは契機だ fact2: 仮にむず痒いということが起こるとすると付け足すことは起きないし加えて仕方無いということは生じない fact3: みなみにゅLv.96事件およびまいまちゅLv.83事件が起こる
fact3 -> int1: まいまちゅLv.83事件が発生する;
fact3 -> int1: {B};
ぽなぽいLv.56事件は起こらない
$facts$ = fact1: ぽなぽいLv.56事件が付け足すことは契機だ fact2: 仮にむず痒いということが起こるとすると付け足すことは起きないし加えて仕方無いということは生じない fact3: みなみにゅLv.96事件およびまいまちゅLv.83事件が起こる ; $hypothesis$ = ぽなぽいLv.56事件が起こる ; $proof$ = 
__UNKNOWN__
__UNKNOWN__