ぴにゅぴのLv.42事件は起きない
fact1: ぷよぷくLv.21事件が発生する fact2: ぷにゅぷちゅLv.86事件が発生する fact3: ぷよぷくLv.21事件はぴにゅぴのLv.42事件を発生させる fact4: 操作し易いということは起きないということは「ぷよぷくLv.21事件は発生するけどぴにゅぴのLv.42事件は起きない」ということをもたらす
fact1 -> int1: ぷよぷくLv.21事件が発生する; int1 & fact3 -> hypothesis;
fact1 -> int1: {A}; int1 & fact3 -> hypothesis;
ぴにゅぴのLv.42事件は起きない
$facts$ = fact1: ぷよぷくLv.21事件が発生する fact2: ぷにゅぷちゅLv.86事件が発生する fact3: ぷよぷくLv.21事件はぴにゅぴのLv.42事件を発生させる fact4: 操作し易いということは起きないということは「ぷよぷくLv.21事件は発生するけどぴにゅぴのLv.42事件は起きない」ということをもたらす ; $hypothesis$ = ぴにゅぴのLv.42事件は起きない ; $proof$ = 
fact1 -> int1: ぷよぷくLv.21事件が発生する; int1 & fact3 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}; int1 & fact3 -> hypothesis; __DISPROVED__