「ぽねぽねLv.93事件および見過ごし難いということが起こる」ということは偽である
fact1: 仮に清々しいということが起きるかまたはぴやぴにゅLv.64事件が発生するかもしくはどちらもならば行儀良いということは生じない fact2: ぽわぽにLv.76事件は起こらないということは夫婦することに起因する fact3: 見過ごし難いということが発生する fact4: ぴやぴにゅLv.64事件が発生する fact5: 「もし仮に行儀良いということは起きないとすれば「ぷゆぷなLv.45事件が生じなくて加えて当たることは起こらない」ということは成り立たない」ということは成り立つ fact6: 「ぷゆぷなLv.45事件が起こらなくて当たることは起こらない」ということは事実と異なるとするとぽねぽねLv.93事件が起こる
fact4 -> int1: 清々しいということかもしくはぴやぴにゅLv.64事件かまたは両方ともが生じる; int1 & fact1 -> int2: 行儀良いということは起きない; int2 & fact5 -> int3: 「ぷゆぷなLv.45事件が起きないし当たることは生じない」ということは事実と異なる; int3 & fact6 -> int4: ぽねぽねLv.93事件が起きる; int4 & fact3 -> hypothesis;
fact4 -> int1: ({A} v {B}); int1 & fact1 -> int2: ¬{C}; int2 & fact5 -> int3: ¬(¬{D} & ¬{E}); int3 & fact6 -> int4: {F}; int4 & fact3 -> hypothesis;
$facts$ = fact1: 仮に清々しいということが起きるかまたはぴやぴにゅLv.64事件が発生するかもしくはどちらもならば行儀良いということは生じない fact2: ぽわぽにLv.76事件は起こらないということは夫婦することに起因する fact3: 見過ごし難いということが発生する fact4: ぴやぴにゅLv.64事件が発生する fact5: 「もし仮に行儀良いということは起きないとすれば「ぷゆぷなLv.45事件が生じなくて加えて当たることは起こらない」ということは成り立たない」ということは成り立つ fact6: 「ぷゆぷなLv.45事件が起こらなくて当たることは起こらない」ということは事実と異なるとするとぽねぽねLv.93事件が起こる ; $hypothesis$ = 「ぽねぽねLv.93事件および見過ごし難いということが起こる」ということは偽である ; $proof$ = 
fact4 -> int1: 清々しいということかもしくはぴやぴにゅLv.64事件かまたは両方ともが生じる; int1 & fact1 -> int2: 行儀良いということは起きない; int2 & fact5 -> int3: 「ぷゆぷなLv.45事件が起きないし当たることは生じない」ということは事実と異なる; int3 & fact6 -> int4: ぽねぽねLv.93事件が起きる; int4 & fact3 -> hypothesis; __DISPROVED__
fact4 -> int1: ({A} v {B}); int1 & fact1 -> int2: ¬{C}; int2 & fact5 -> int3: ¬(¬{D} & ¬{E}); int3 & fact6 -> int4: {F}; int4 & fact3 -> hypothesis; __DISPROVED__