以下のように仮定する。「ぽにゅぽちゃLv.32事件が発生する」ということは事実だ
fact1: もしぴえぴにゅLv.97事件は起こらないならば取り掛かり易いということは起きないけれど腐り易いということが起こる fact2: 燃やせることは起きない fact3: 「燃やせることは発生しない」ということはぽにゅぽちゃLv.32事件が生じるということに阻まれる fact4: もし仮に取り掛かり易いということは生じないとすると燃やせることが起きるしそれにぽにゅぽちゃLv.32事件が起きる fact5: 他愛無いということが起きる fact6: 「取り掛かり易いということは起こらない」ということはぽにゅぽちゃLv.32事件か燃やせることのきっかけとなる
void -> assump1: 以下のように仮定する。「ぽにゅぽちゃLv.32事件が発生する」ということは事実だ; fact3 & assump1 -> int1: 燃やせることが発生する; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis;
void -> assump1: {A}; fact3 & assump1 -> int1: {B}; int1 & fact2 -> int2: #F#; [assump1] & int2 -> hypothesis;
ぴのぴえLv.44事件が起こる
$facts$ = fact1: もしぴえぴにゅLv.97事件は起こらないならば取り掛かり易いということは起きないけれど腐り易いということが起こる fact2: 燃やせることは起きない fact3: 「燃やせることは発生しない」ということはぽにゅぽちゃLv.32事件が生じるということに阻まれる fact4: もし仮に取り掛かり易いということは生じないとすると燃やせることが起きるしそれにぽにゅぽちゃLv.32事件が起きる fact5: 他愛無いということが起きる fact6: 「取り掛かり易いということは起こらない」ということはぽにゅぽちゃLv.32事件か燃やせることのきっかけとなる ; $hypothesis$ = 以下のように仮定する。「ぽにゅぽちゃLv.32事件が発生する」ということは事実だ ; $proof$ = 
void -> assump1: 以下のように仮定する。「ぽにゅぽちゃLv.32事件が発生する」ということは事実だ; fact3 & assump1 -> int1: 燃やせることが発生する; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis; __DISPROVED__
void -> assump1: {A}; fact3 & assump1 -> int1: {B}; int1 & fact2 -> int2: #F#; [assump1] & int2 -> hypothesis; __DISPROVED__