商人らしいということは起きない
fact1: ぷにぷにゅLv.86事件およびまくまえLv.17事件が起きるとすると商人らしいということは生じない fact2: まくまえLv.17事件が起きる fact3: 「ぷよぷやLv.2事件が起きる」ということは正しい fact4: 「ぷにぷにゅLv.86事件は起きない」ということはぷよぷやLv.2事件に阻まれる fact5: 汚らしいということが起こる
fact4 & fact3 -> int1: ぷにぷにゅLv.86事件が起こる; int1 & fact2 -> int2: ぷにぷにゅLv.86事件が起こるし更にまくまえLv.17事件が発生する; int2 & fact1 -> hypothesis;
fact4 & fact3 -> int1: {B}; int1 & fact2 -> int2: ({B} & {C}); int2 & fact1 -> hypothesis;
$facts$ = fact1: ぷにぷにゅLv.86事件およびまくまえLv.17事件が起きるとすると商人らしいということは生じない fact2: まくまえLv.17事件が起きる fact3: 「ぷよぷやLv.2事件が起きる」ということは正しい fact4: 「ぷにぷにゅLv.86事件は起きない」ということはぷよぷやLv.2事件に阻まれる fact5: 汚らしいということが起こる ; $hypothesis$ = 商人らしいということは起きない ; $proof$ = 
fact4 & fact3 -> int1: ぷにぷにゅLv.86事件が起こる; int1 & fact2 -> int2: ぷにぷにゅLv.86事件が起こるし更にまくまえLv.17事件が発生する; int2 & fact1 -> hypothesis; __PROVED__
fact4 & fact3 -> int1: {B}; int1 & fact2 -> int2: ({B} & {C}); int2 & fact1 -> hypothesis; __PROVED__