以下のように仮定する。「覚え易いということが起こる」ということは成り立つ
fact1: まやまちゃLv.9事件が起きるし更にみなみにゃLv.60事件が発生する fact2: ぴわぴにゅLv.16事件および覚え易いということが生じるは「判別し易いということが起きる」ということを防ぐ fact3: 「伸ばし易いということは起きない」ということは「ぴわぴにゅLv.16事件が生じるかあるいは判別し易いということが発生する」ということを招く fact4: 判別し易いということが発生する fact5: みにゅみにゅLv.5事件が起きる fact6: ぴわぴねLv.36事件は生じない fact7: ぴわぴにゅLv.16事件が生じる
void -> assump1: 以下のように仮定する。「覚え易いということが起こる」ということは成り立つ; fact7 & assump1 -> int1: ぴわぴにゅLv.16事件と覚え易いということどちらもが生じる; int1 & fact2 -> int2: 判別し易いということは発生しない; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {B}; fact7 & assump1 -> int1: ({A} & {B}); int1 & fact2 -> int2: ¬{C}; int2 & fact4 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。「覚え易いということが起こる」ということは成り立つ
$facts$ = fact1: まやまちゃLv.9事件が起きるし更にみなみにゃLv.60事件が発生する fact2: ぴわぴにゅLv.16事件および覚え易いということが生じるは「判別し易いということが起きる」ということを防ぐ fact3: 「伸ばし易いということは起きない」ということは「ぴわぴにゅLv.16事件が生じるかあるいは判別し易いということが発生する」ということを招く fact4: 判別し易いということが発生する fact5: みにゅみにゅLv.5事件が起きる fact6: ぴわぴねLv.36事件は生じない fact7: ぴわぴにゅLv.16事件が生じる ; $hypothesis$ = 以下のように仮定する。「覚え易いということが起こる」ということは成り立つ ; $proof$ = 
void -> assump1: 以下のように仮定する。「覚え易いということが起こる」ということは成り立つ; fact7 & assump1 -> int1: ぴわぴにゅLv.16事件と覚え易いということどちらもが生じる; int1 & fact2 -> int2: 判別し易いということは発生しない; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: {B}; fact7 & assump1 -> int1: ({A} & {B}); int1 & fact2 -> int2: ¬{C}; int2 & fact4 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__