「使用し易いということは「使用し易いということは発生するけどぷにょぷちゅLv.19事件は発生しない」ということを発生させる」ということは偽だ
fact1: もし仮に使用し易いということは発生しないとしたら遜色無いということが生じるがしかし図り難いということは生じない fact2: ぷにょぷちゅLv.19事件は起こらない
void -> assump1: 以下のように仮定する。使用し易いということが発生する; assump1 & fact2 -> int1: 使用し易いということは発生するしぷにょぷちゅLv.19事件は起こらない; [assump1] & int1 -> hypothesis;
void -> assump1: {A}; assump1 & fact2 -> int1: ({A} & ¬{B}); [assump1] & int1 -> hypothesis;
遜色無いということが起きるけど図り難いということは発生しない
$facts$ = fact1: もし仮に使用し易いということは発生しないとしたら遜色無いということが生じるがしかし図り難いということは生じない fact2: ぷにょぷちゅLv.19事件は起こらない ; $hypothesis$ = 「使用し易いということは「使用し易いということは発生するけどぷにょぷちゅLv.19事件は発生しない」ということを発生させる」ということは偽だ ; $proof$ = 
void -> assump1: 以下のように仮定する。使用し易いということが発生する; assump1 & fact2 -> int1: 使用し易いということは発生するしぷにょぷちゅLv.19事件は起こらない; [assump1] & int1 -> hypothesis; __DISPROVED__
void -> assump1: {A}; assump1 & fact2 -> int1: ({A} & ¬{B}); [assump1] & int1 -> hypothesis; __DISPROVED__