気忙しいということは生じない
fact1: 「直り切ることかもしくはぴにぴちょLv.79事件が起こる」ということは香ばしいということは生じないということが原因だ fact2: 仮に「喧しいということが生じる」ということは成り立てば聞き辛いということが起こる一方で香ばしいということは生じない fact3: ぴにぴちょLv.79事件が起きる fact4: ぴにぴちょLv.79事件は起こらないということは気忙しいということおよび直り切ることが起きるに由来する fact5: 引き難いということは発生しないということは真白いということと配達することが生じるに引き起こされる fact6: 直り切ることが発生する fact7: もしも直り切ることは起こらないならば言い渡すことが起きるし気忙しいということが起こる
void -> assump1: 以下のように仮定する。気忙しいということが起こる; assump1 & fact6 -> int1: 気忙しいということおよび直り切ることが起こる; int1 & fact4 -> int2: ぴにぴちょLv.79事件は発生しない; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}; assump1 & fact6 -> int1: ({A} & {B}); int1 & fact4 -> int2: ¬{C}; int2 & fact3 -> int3: #F#; [assump1] & int3 -> hypothesis;
言い渡すことが生じる
$facts$ = fact1: 「直り切ることかもしくはぴにぴちょLv.79事件が起こる」ということは香ばしいということは生じないということが原因だ fact2: 仮に「喧しいということが生じる」ということは成り立てば聞き辛いということが起こる一方で香ばしいということは生じない fact3: ぴにぴちょLv.79事件が起きる fact4: ぴにぴちょLv.79事件は起こらないということは気忙しいということおよび直り切ることが起きるに由来する fact5: 引き難いということは発生しないということは真白いということと配達することが生じるに引き起こされる fact6: 直り切ることが発生する fact7: もしも直り切ることは起こらないならば言い渡すことが起きるし気忙しいということが起こる ; $hypothesis$ = 気忙しいということは生じない ; $proof$ = 
void -> assump1: 以下のように仮定する。気忙しいということが起こる; assump1 & fact6 -> int1: 気忙しいということおよび直り切ることが起こる; int1 & fact4 -> int2: ぴにぴちょLv.79事件は発生しない; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {A}; assump1 & fact6 -> int1: ({A} & {B}); int1 & fact4 -> int2: ¬{C}; int2 & fact3 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__