休止することは起きない
fact1: ぴちょぴちょLv.40事件が発生する fact2: 「休止することは起こらない」ということは「追い捲ることが起きるしぴちょぴちょLv.40事件が発生する」ということにより発生する fact3: 追い捲ることおよび休止することが起こるはぴちょぴちょLv.40事件は起きないということにより生じる fact4: 追い捲ることが発生する
fact4 & fact1 -> int1: 追い捲ることが発生するし加えてぴちょぴちょLv.40事件が生じる; int1 & fact2 -> hypothesis;
fact4 & fact1 -> int1: ({A} & {B}); int1 & fact2 -> hypothesis;
休止することが発生する
$facts$ = fact1: ぴちょぴちょLv.40事件が発生する fact2: 「休止することは起こらない」ということは「追い捲ることが起きるしぴちょぴちょLv.40事件が発生する」ということにより発生する fact3: 追い捲ることおよび休止することが起こるはぴちょぴちょLv.40事件は起きないということにより生じる fact4: 追い捲ることが発生する ; $hypothesis$ = 休止することは起きない ; $proof$ = 
fact4 & fact1 -> int1: 追い捲ることが発生するし加えてぴちょぴちょLv.40事件が生じる; int1 & fact2 -> hypothesis; __PROVED__
fact4 & fact1 -> int1: ({A} & {B}); int1 & fact2 -> hypothesis; __PROVED__