甘ったるいということは起きない
fact1: ぽくぽやLv.21事件が起こる fact2: ぽにぽちゅLv.43事件が起きる fact3: 甘ったるいということは「ぽくぽやLv.21事件は生じない」ということがきっかけである
void -> assump1: 以下のように仮定する。甘ったるいということが生じる; fact1 & assump1 -> int1: ぽくぽやLv.21事件と甘ったるいということどちらもが起こる;
void -> assump1: {B}; fact1 & assump1 -> int1: ({A} & {B});
以下のように仮定する。甘ったるいということが生じる
$facts$ = fact1: ぽくぽやLv.21事件が起こる fact2: ぽにぽちゅLv.43事件が起きる fact3: 甘ったるいということは「ぽくぽやLv.21事件は生じない」ということがきっかけである ; $hypothesis$ = 甘ったるいということは起きない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__