ぴいぴちゅLv.88事件が起きる
fact1: 「解熱することおよび見極め難いということ両方ともが起こる」ということは嘘である fact2: 解熱することが起こる fact3: 仮に「解熱することが起きないし見極め難いということは発生する」ということは事実と異なるとするとぴいぴちゅLv.88事件が起こる fact4: 「まくまにょLv.64事件が起こる」ということは成り立つ fact5: 「落ち込むことは起きないが騙され易いということが起こる」ということは偽である
void -> assump1: 以下のように仮定する。解熱することではなくて見極め難いということが生じる; assump1 -> int1: 解熱することは生じない; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「解熱することではなく見極め難いということが発生する」ということは成り立つということはない; int3 & fact3 -> hypothesis;
void -> assump1: (¬{A} & {B}); assump1 -> int1: ¬{A}; int1 & fact2 -> int2: #F#; [assump1] & int2 -> int3: ¬(¬{A} & {B}); int3 & fact3 -> hypothesis;
$facts$ = fact1: 「解熱することおよび見極め難いということ両方ともが起こる」ということは嘘である fact2: 解熱することが起こる fact3: 仮に「解熱することが起きないし見極め難いということは発生する」ということは事実と異なるとするとぴいぴちゅLv.88事件が起こる fact4: 「まくまにょLv.64事件が起こる」ということは成り立つ fact5: 「落ち込むことは起きないが騙され易いということが起こる」ということは偽である ; $hypothesis$ = ぴいぴちゅLv.88事件が起きる ; $proof$ = 
void -> assump1: 以下のように仮定する。解熱することではなくて見極め難いということが生じる; assump1 -> int1: 解熱することは生じない; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「解熱することではなく見極め難いということが発生する」ということは成り立つということはない; int3 & fact3 -> hypothesis; __PROVED__
void -> assump1: (¬{A} & {B}); assump1 -> int1: ¬{A}; int1 & fact2 -> int2: #F#; [assump1] & int2 -> int3: ¬(¬{A} & {B}); int3 & fact3 -> hypothesis; __PROVED__