ぴちょぴいLv.2事件は起きない
fact1: 吸収され易いということかもしくは負ぶさることが生じる fact2: ぷよぷにゃLv.9事件かぴちょぴいLv.2事件かもしくは両方は「使い難いということが起きる」ということを回避する fact3: 「ぴちょぴいLv.2事件は生じない」ということはぷよぷにゃLv.9事件に阻まれる fact4: 長細いということは恙無いということを回避する fact5: 取り出し易いということは起きないとしたらぷよぷにゃLv.9事件が生じるし使い難いということが発生する
void -> assump1: 以下のように仮定する。ぴちょぴいLv.2事件が発生する; assump1 -> int1: ぷよぷにゃLv.9事件が起きるかぴちょぴいLv.2事件が生じる; int1 & fact2 -> int2: 使い難いということは発生しない;
void -> assump1: {B}; assump1 -> int1: ({A} v {B}); int1 & fact2 -> int2: ¬{C};
以下のように仮定する。ぴちょぴいLv.2事件が発生する
$facts$ = fact1: 吸収され易いということかもしくは負ぶさることが生じる fact2: ぷよぷにゃLv.9事件かぴちょぴいLv.2事件かもしくは両方は「使い難いということが起きる」ということを回避する fact3: 「ぴちょぴいLv.2事件は生じない」ということはぷよぷにゃLv.9事件に阻まれる fact4: 長細いということは恙無いということを回避する fact5: 取り出し易いということは起きないとしたらぷよぷにゃLv.9事件が生じるし使い難いということが発生する ; $hypothesis$ = ぴちょぴいLv.2事件は起きない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__