受け入れ易いということは生じない
fact1: ぴやぴにゅLv.1事件および居辛いということ両方が生じる fact2: 居辛いということが起きる fact3: もしもぴやぴにゅLv.1事件が発生するとするとぴやぴにゅLv.1事件は発生するが受け入れ易いということは起きない fact4: ぴいぴよLv.10事件ともちゃもにょLv.96事件が起こる fact5: もし仮に居辛いということは発生しないとしたらぴやぴにゅLv.1事件および受け入れ易いということ両方が起こる
fact1 -> int1: ぴやぴにゅLv.1事件が生じる; int1 & fact3 -> int2: ぴやぴにゅLv.1事件が起きるし受け入れ易いということは生じない; int2 -> hypothesis;
fact1 -> int1: {A}; int1 & fact3 -> int2: ({A} & ¬{D}); int2 -> hypothesis;
受け入れ易いということが起こる
$facts$ = fact1: ぴやぴにゅLv.1事件および居辛いということ両方が生じる fact2: 居辛いということが起きる fact3: もしもぴやぴにゅLv.1事件が発生するとするとぴやぴにゅLv.1事件は発生するが受け入れ易いということは起きない fact4: ぴいぴよLv.10事件ともちゃもにょLv.96事件が起こる fact5: もし仮に居辛いということは発生しないとしたらぴやぴにゅLv.1事件および受け入れ易いということ両方が起こる ; $hypothesis$ = 受け入れ易いということは生じない ; $proof$ = 
fact1 -> int1: ぴやぴにゅLv.1事件が生じる; int1 & fact3 -> int2: ぴやぴにゅLv.1事件が起きるし受け入れ易いということは生じない; int2 -> hypothesis; __PROVED__
fact1 -> int1: {A}; int1 & fact3 -> int2: ({A} & ¬{D}); int2 -> hypothesis; __PROVED__