やくざっぽいということが起こる
fact1: 「ぽやぽくLv.53事件は起こらなくてまわまにゅLv.37事件は発生する」ということは「ぽにょぽちょLv.19事件は生じない」ということを発生させる fact2: もし仮に「もにゃもちゅLv.16事件ではなくまにゃまやLv.96事件が発生する」ということは間違いだとするとまにゃまやLv.96事件は生じない fact3: もし仮に「まにゃまやLv.96事件ではなくて賢いということが生じる」ということは成り立つということはないとしたらみやみえLv.91事件は起こらない fact4: 仮に「やくざっぽいということは生じないかぽにょぽちょLv.19事件は起きない」ということは偽であるとすると「ぴえぴえLv.75事件が起きる」ということは成り立つ fact5: まにゃまやLv.96事件は生じないとすれば賢いということおよびみやみえLv.91事件が起こる fact6: もしも「ぽやぽくLv.53事件は発生しないがまわまにゅLv.37事件が生じる」ということは事実と異なるとすると「やくざっぽいということは発生しない」ということは正しい fact7: みやみえLv.91事件が生じるなら「やくざっぽいということは発生しないかもしくはぽにょぽちょLv.19事件は発生しないかもしくは両方ともだ」ということは嘘だ fact8: ぽにょぽちょLv.19事件が発生する
void -> assump1: 以下のように仮定する。ぽやぽくLv.53事件は起きないけどまわまにゅLv.37事件が生じる; fact1 & assump1 -> int1: ぽにょぽちょLv.19事件は生じない; int1 & fact8 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「ぽやぽくLv.53事件は起こらないがしかしまわまにゅLv.37事件が起きる」ということは成り立たない; int3 & fact6 -> hypothesis;
void -> assump1: (¬{AA} & {AB}); fact1 & assump1 -> int1: ¬{B}; int1 & fact8 -> int2: #F#; [assump1] & int2 -> int3: ¬(¬{AA} & {AB}); int3 & fact6 -> hypothesis;
やくざっぽいということが起こる
$facts$ = fact1: 「ぽやぽくLv.53事件は起こらなくてまわまにゅLv.37事件は発生する」ということは「ぽにょぽちょLv.19事件は生じない」ということを発生させる fact2: もし仮に「もにゃもちゅLv.16事件ではなくまにゃまやLv.96事件が発生する」ということは間違いだとするとまにゃまやLv.96事件は生じない fact3: もし仮に「まにゃまやLv.96事件ではなくて賢いということが生じる」ということは成り立つということはないとしたらみやみえLv.91事件は起こらない fact4: 仮に「やくざっぽいということは生じないかぽにょぽちょLv.19事件は起きない」ということは偽であるとすると「ぴえぴえLv.75事件が起きる」ということは成り立つ fact5: まにゃまやLv.96事件は生じないとすれば賢いということおよびみやみえLv.91事件が起こる fact6: もしも「ぽやぽくLv.53事件は発生しないがまわまにゅLv.37事件が生じる」ということは事実と異なるとすると「やくざっぽいということは発生しない」ということは正しい fact7: みやみえLv.91事件が生じるなら「やくざっぽいということは発生しないかもしくはぽにょぽちょLv.19事件は発生しないかもしくは両方ともだ」ということは嘘だ fact8: ぽにょぽちょLv.19事件が発生する ; $hypothesis$ = やくざっぽいということが起こる ; $proof$ = 
void -> assump1: 以下のように仮定する。ぽやぽくLv.53事件は起きないけどまわまにゅLv.37事件が生じる; fact1 & assump1 -> int1: ぽにょぽちょLv.19事件は生じない; int1 & fact8 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「ぽやぽくLv.53事件は起こらないがしかしまわまにゅLv.37事件が起きる」ということは成り立たない; int3 & fact6 -> hypothesis; __DISPROVED__
void -> assump1: (¬{AA} & {AB}); fact1 & assump1 -> int1: ¬{B}; int1 & fact8 -> int2: #F#; [assump1] & int2 -> int3: ¬(¬{AA} & {AB}); int3 & fact6 -> hypothesis; __DISPROVED__