「図太いということは生じないかあるいはぴのぴねLv.91事件が発生するか両方ともである」ということは正しくない
fact1: 炊き込むことが生じる fact2: まちゃまくLv.50事件はまにゅまちょLv.74事件にもたらされる fact3: もし仮にまちゃまくLv.50事件および炊き込むことが生じるとするとぴのぴねLv.91事件は生じない fact4: もしぴのぴねLv.91事件は発生しないとすれば「図太いということは発生しないかぴのぴねLv.91事件が起こるかまたはどちらもだ」ということは成り立たない fact5: まにゅまちょLv.74事件が発生する
fact2 & fact5 -> int1: まちゃまくLv.50事件が起きる; int1 & fact1 -> int2: まちゃまくLv.50事件が生じるしおまけに炊き込むことが発生する; int2 & fact3 -> int3: ぴのぴねLv.91事件は起こらない; int3 & fact4 -> hypothesis;
fact2 & fact5 -> int1: {B}; int1 & fact1 -> int2: ({B} & {C}); int2 & fact3 -> int3: ¬{D}; int3 & fact4 -> hypothesis;
$facts$ = fact1: 炊き込むことが生じる fact2: まちゃまくLv.50事件はまにゅまちょLv.74事件にもたらされる fact3: もし仮にまちゃまくLv.50事件および炊き込むことが生じるとするとぴのぴねLv.91事件は生じない fact4: もしぴのぴねLv.91事件は発生しないとすれば「図太いということは発生しないかぴのぴねLv.91事件が起こるかまたはどちらもだ」ということは成り立たない fact5: まにゅまちょLv.74事件が発生する ; $hypothesis$ = 「図太いということは生じないかあるいはぴのぴねLv.91事件が発生するか両方ともである」ということは正しくない ; $proof$ = 
fact2 & fact5 -> int1: まちゃまくLv.50事件が起きる; int1 & fact1 -> int2: まちゃまくLv.50事件が生じるしおまけに炊き込むことが発生する; int2 & fact3 -> int3: ぴのぴねLv.91事件は起こらない; int3 & fact4 -> hypothesis; __PROVED__
fact2 & fact5 -> int1: {B}; int1 & fact1 -> int2: ({B} & {C}); int2 & fact3 -> int3: ¬{D}; int3 & fact4 -> hypothesis; __PROVED__