ぴよぴにゅLv.76事件が起こる
fact1: もしも際限無いということが発生するし更に程近いということが生じるとするとぴよぴにゅLv.76事件は発生しない fact2: 授乳することは生じない fact3: 「程近いということが発生する」ということは事実だ fact4: 際限無いということが発生する fact5: ぴよぴにゅLv.76事件と際限無いということが起こるは「程近いということは起きない」ということに引き起こされる fact6: 懐っこいということは発生しない
fact4 & fact3 -> int1: 際限無いということと程近いということが生じる; int1 & fact1 -> hypothesis;
fact4 & fact3 -> int1: ({A} & {B}); int1 & fact1 -> hypothesis;
ぴよぴにゅLv.76事件が起こる
$facts$ = fact1: もしも際限無いということが発生するし更に程近いということが生じるとするとぴよぴにゅLv.76事件は発生しない fact2: 授乳することは生じない fact3: 「程近いということが発生する」ということは事実だ fact4: 際限無いということが発生する fact5: ぴよぴにゅLv.76事件と際限無いということが起こるは「程近いということは起きない」ということに引き起こされる fact6: 懐っこいということは発生しない ; $hypothesis$ = ぴよぴにゅLv.76事件が起こる ; $proof$ = 
fact4 & fact3 -> int1: 際限無いということと程近いということが生じる; int1 & fact1 -> hypothesis; __DISPROVED__
fact4 & fact3 -> int1: ({A} & {B}); int1 & fact1 -> hypothesis; __DISPROVED__