早いということは生じない
fact1: 早いということは起きないということはぴなぴちょLv.57事件に防がれる fact2: ぽにゃぽえLv.66事件は起きないということは早いということが生じるということを阻む fact3: 仮に「貧しいということが起こるしおまけにぴなぴちょLv.57事件が起こる」ということは偽であるならぽにゃぽえLv.66事件は起きない fact4: ぴにょぴやLv.67事件は起こらないとしたら「貧しいということとぴなぴちょLv.57事件両方ともが起こる」ということは嘘である fact5: ぽにゃぽえLv.66事件およびぴなぴちょLv.57事件が発生する
fact5 -> int1: ぴなぴちょLv.57事件が起こる; int1 & fact1 -> hypothesis;
fact5 -> int1: {B}; int1 & fact1 -> hypothesis;
早いということは生じない
$facts$ = fact1: 早いということは起きないということはぴなぴちょLv.57事件に防がれる fact2: ぽにゃぽえLv.66事件は起きないということは早いということが生じるということを阻む fact3: 仮に「貧しいということが起こるしおまけにぴなぴちょLv.57事件が起こる」ということは偽であるならぽにゃぽえLv.66事件は起きない fact4: ぴにょぴやLv.67事件は起こらないとしたら「貧しいということとぴなぴちょLv.57事件両方ともが起こる」ということは嘘である fact5: ぽにゃぽえLv.66事件およびぴなぴちょLv.57事件が発生する ; $hypothesis$ = 早いということは生じない ; $proof$ = 
fact5 -> int1: ぴなぴちょLv.57事件が起こる; int1 & fact1 -> hypothesis; __DISPROVED__
fact5 -> int1: {B}; int1 & fact1 -> hypothesis; __DISPROVED__