待ち遠しいということが発生するかまたは絡まり合うことは生じないか両方である
fact1: もしぽわぽにLv.33事件は起こらないならば「ぽにゃぽのLv.15事件が発生しないかまたはぴにぴちょLv.6事件は発生しないか両方ともだ」ということは間違いである fact2: 「ぽわぽにLv.33事件が起こるしみいみちゃLv.93事件が起きる」ということは事実と異なればぽわぽにLv.33事件は生じない fact3: もし滑り難いということは起きないならば「待ち遠しいということが起こるかもしくは絡まり合うことは起きないかまたは両方である」ということは間違いである fact4: ぽにゃぽのLv.15事件とぴにぴちょLv.6事件両方が起きる
fact4 -> int1: ぽにゃぽのLv.15事件が生じる; int1 -> int2: 滑り難いということが起きるかぽにゃぽのLv.15事件が起きる;
fact4 -> int1: {B}; int1 -> int2: ({A} v {B});
「待ち遠しいということが起きるかまたは絡まり合うことは生じないかあるいは両方ともだ」ということは誤っている
$facts$ = fact1: もしぽわぽにLv.33事件は起こらないならば「ぽにゃぽのLv.15事件が発生しないかまたはぴにぴちょLv.6事件は発生しないか両方ともだ」ということは間違いである fact2: 「ぽわぽにLv.33事件が起こるしみいみちゃLv.93事件が起きる」ということは事実と異なればぽわぽにLv.33事件は生じない fact3: もし滑り難いということは起きないならば「待ち遠しいということが起こるかもしくは絡まり合うことは起きないかまたは両方である」ということは間違いである fact4: ぽにゃぽのLv.15事件とぴにぴちょLv.6事件両方が起きる ; $hypothesis$ = 待ち遠しいということが発生するかまたは絡まり合うことは生じないか両方である ; $proof$ = 
__UNKNOWN__
__UNKNOWN__