「ぽにゃぽいLv.36事件が起きないしその上ぴくぴにゅLv.74事件は発生しない」ということは偽である
fact1: ぴくぴにゅLv.74事件は起きない fact2: 御固いということが生じるし性分らしいということは発生しない fact3: もしもぽにゃぽいLv.36事件が生じるとしたら「御固いということが起きるし性分らしいということは起きない」ということは誤っている
void -> assump1: 以下のように仮定する。ぽにゃぽいLv.36事件が生じる; fact3 & assump1 -> int1: 「御固いということが起きるし性分らしいということは起こらない」ということは事実と異なる; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: ぽにゃぽいLv.36事件は起きない; int3 & fact1 -> hypothesis;
void -> assump1: {A}; fact3 & assump1 -> int1: ¬({AA} & ¬{AB}); int1 & fact2 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}; int3 & fact1 -> hypothesis;
$facts$ = fact1: ぴくぴにゅLv.74事件は起きない fact2: 御固いということが生じるし性分らしいということは発生しない fact3: もしもぽにゃぽいLv.36事件が生じるとしたら「御固いということが起きるし性分らしいということは起きない」ということは誤っている ; $hypothesis$ = 「ぽにゃぽいLv.36事件が起きないしその上ぴくぴにゅLv.74事件は発生しない」ということは偽である ; $proof$ = 
void -> assump1: 以下のように仮定する。ぽにゃぽいLv.36事件が生じる; fact3 & assump1 -> int1: 「御固いということが起きるし性分らしいということは起こらない」ということは事実と異なる; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: ぽにゃぽいLv.36事件は起きない; int3 & fact1 -> hypothesis; __DISPROVED__
void -> assump1: {A}; fact3 & assump1 -> int1: ¬({AA} & ¬{AB}); int1 & fact2 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}; int3 & fact1 -> hypothesis; __DISPROVED__