「堆いということかあるいはぴなぴよLv.9事件かまたは両方が生じる」ということは成り立たない
fact1: ぴにょぴにゅLv.86事件が起こる fact2: 仮にぴにょぴにゅLv.86事件は発生しないなら「堆いということが起きるかあるいはぴなぴよLv.9事件が生じる」ということは成り立たない fact3: かわゆいということが発生する fact4: ぴにょぴにゅLv.86事件が生じるしかつ堆いということが起きる fact5: 毛深いということが起きる
fact4 -> int1: 堆いということが発生する; int1 -> hypothesis;
fact4 -> int1: {B}; int1 -> hypothesis;
「堆いということかあるいはぴなぴよLv.9事件かまたは両方が生じる」ということは成り立たない
$facts$ = fact1: ぴにょぴにゅLv.86事件が起こる fact2: 仮にぴにょぴにゅLv.86事件は発生しないなら「堆いということが起きるかあるいはぴなぴよLv.9事件が生じる」ということは成り立たない fact3: かわゆいということが発生する fact4: ぴにょぴにゅLv.86事件が生じるしかつ堆いということが起きる fact5: 毛深いということが起きる ; $hypothesis$ = 「堆いということかあるいはぴなぴよLv.9事件かまたは両方が生じる」ということは成り立たない ; $proof$ = 
fact4 -> int1: 堆いということが発生する; int1 -> hypothesis; __DISPROVED__
fact4 -> int1: {B}; int1 -> hypothesis; __DISPROVED__