しかとすることが起きる
fact1: ぴにぴちゅLv.2事件が生じる fact2: 軽々しいということは「しかとすることが起こるけれど姦しいということは起こらない」ということを招く fact3: 姦しいということが発生する fact4: もし仮に「姦しいということは起こらない」ということは確かであるとすると御構い無いということおよびぴにぴちゅLv.2事件両方が発生する
fact1 & fact3 -> int1: ぴにぴちゅLv.2事件および姦しいということ両方ともが起こる;
fact1 & fact3 -> int1: ({A} & {B});
御構い無いということが起こる
$facts$ = fact1: ぴにぴちゅLv.2事件が生じる fact2: 軽々しいということは「しかとすることが起こるけれど姦しいということは起こらない」ということを招く fact3: 姦しいということが発生する fact4: もし仮に「姦しいということは起こらない」ということは確かであるとすると御構い無いということおよびぴにぴちゅLv.2事件両方が発生する ; $hypothesis$ = しかとすることが起きる ; $proof$ = 
__UNKNOWN__
__UNKNOWN__