引き出し易いということが発生する
fact1: もし「引き出し易いということおよび日本人らしいということが起きる」ということは嘘であるとするとぽちゅぽちゅLv.6事件は起きない fact2: 仮に「続き易いということは起こらないかまたはぽにゃぽちょLv.60事件は発生しない」ということは間違いだとしたら日本人らしいということは起きない fact3: 「続き易いということは起こらない」ということは「引き出し易いということは生じない」ということを阻止する fact4: 引き出し易いということはぽにゃぽちょLv.60事件は起こらないということに誘発される fact5: 日本人らしいということが発生する fact6: 「引き出し易いということは発生しなくてかつ日本人らしいということは起こらない」ということはぽいぽゆLv.46事件が生じるということに誘発される
void -> assump1: 以下のように仮定する。「続き易いということは起きないかあるいはぽにゃぽちょLv.60事件は発生しない」ということは成り立つということはない; fact2 & assump1 -> int1: 日本人らしいということは生じない; int1 & fact5 -> int2: これは矛盾である; [assump1] & int2 -> int3: 続き易いということは発生しないかまたはぽにゃぽちょLv.60事件は生じない; int3 & fact3 & fact4 -> hypothesis;
void -> assump1: ¬(¬{AA} v ¬{AB}); fact2 & assump1 -> int1: ¬{B}; int1 & fact5 -> int2: #F#; [assump1] & int2 -> int3: (¬{AA} v ¬{AB}); int3 & fact3 & fact4 -> hypothesis;
仰ることが発生しないかまたはぽちゅぽちゅLv.6事件は生じない
$facts$ = fact1: もし「引き出し易いということおよび日本人らしいということが起きる」ということは嘘であるとするとぽちゅぽちゅLv.6事件は起きない fact2: 仮に「続き易いということは起こらないかまたはぽにゃぽちょLv.60事件は発生しない」ということは間違いだとしたら日本人らしいということは起きない fact3: 「続き易いということは起こらない」ということは「引き出し易いということは生じない」ということを阻止する fact4: 引き出し易いということはぽにゃぽちょLv.60事件は起こらないということに誘発される fact5: 日本人らしいということが発生する fact6: 「引き出し易いということは発生しなくてかつ日本人らしいということは起こらない」ということはぽいぽゆLv.46事件が生じるということに誘発される ; $hypothesis$ = 引き出し易いということが発生する ; $proof$ = 
void -> assump1: 以下のように仮定する。「続き易いということは起きないかあるいはぽにゃぽちょLv.60事件は発生しない」ということは成り立つということはない; fact2 & assump1 -> int1: 日本人らしいということは生じない; int1 & fact5 -> int2: これは矛盾である; [assump1] & int2 -> int3: 続き易いということは発生しないかまたはぽにゃぽちょLv.60事件は生じない; int3 & fact3 & fact4 -> hypothesis; __PROVED__
void -> assump1: ¬(¬{AA} v ¬{AB}); fact2 & assump1 -> int1: ¬{B}; int1 & fact5 -> int2: #F#; [assump1] & int2 -> int3: (¬{AA} v ¬{AB}); int3 & fact3 & fact4 -> hypothesis; __PROVED__