まちょまにょLv.30事件は生じない
fact1: 「まちょまにょLv.30事件は生じない」ということは「様良しということとぷよぷえLv.7事件が起こる」ということにもたらされる fact2: ぷのぷねLv.21事件は発生しなくて仕事らしいということは起こらない fact3: ぷよぷえLv.7事件が起きる fact4: 様良しということは起きないということは「ぷのぷねLv.21事件は生じなくておまけに仕事らしいということは発生しない」ということに防がれる
fact4 & fact2 -> int1: 「様良しということが発生する」ということは事実だ; int1 & fact3 -> int2: 様良しということおよびぷよぷえLv.7事件両方が生じる; int2 & fact1 -> hypothesis;
fact4 & fact2 -> int1: {B}; int1 & fact3 -> int2: ({B} & {A}); int2 & fact1 -> hypothesis;
$facts$ = fact1: 「まちょまにょLv.30事件は生じない」ということは「様良しということとぷよぷえLv.7事件が起こる」ということにもたらされる fact2: ぷのぷねLv.21事件は発生しなくて仕事らしいということは起こらない fact3: ぷよぷえLv.7事件が起きる fact4: 様良しということは起きないということは「ぷのぷねLv.21事件は生じなくておまけに仕事らしいということは発生しない」ということに防がれる ; $hypothesis$ = まちょまにょLv.30事件は生じない ; $proof$ = 
fact4 & fact2 -> int1: 「様良しということが発生する」ということは事実だ; int1 & fact3 -> int2: 様良しということおよびぷよぷえLv.7事件両方が生じる; int2 & fact1 -> hypothesis; __PROVED__
fact4 & fact2 -> int1: {B}; int1 & fact3 -> int2: ({B} & {A}); int2 & fact1 -> hypothesis; __PROVED__