行儀良いということは甘辛いということを防ぐ
fact1: 慕わしいということが起こるし向かえることが発生する fact2: 行儀良いということが生じるし更に慕わしいということが起きるとしたら甘辛いということは発生しない
fact1 -> int1: 慕わしいということが発生する; void -> assump1: 以下のように仮定する。行儀良いということが起きる; int1 & assump1 -> int2: 行儀良いということが発生するし慕わしいということは発生する; int2 & fact2 -> int3: 甘辛いということは発生しない; [assump1] & int3 -> hypothesis;
fact1 -> int1: {A}; void -> assump1: {C}; int1 & assump1 -> int2: ({C} & {A}); int2 & fact2 -> int3: ¬{D}; [assump1] & int3 -> hypothesis;
$facts$ = fact1: 慕わしいということが起こるし向かえることが発生する fact2: 行儀良いということが生じるし更に慕わしいということが起きるとしたら甘辛いということは発生しない ; $hypothesis$ = 行儀良いということは甘辛いということを防ぐ ; $proof$ = 
fact1 -> int1: 慕わしいということが発生する; void -> assump1: 以下のように仮定する。行儀良いということが起きる; int1 & assump1 -> int2: 行儀良いということが発生するし慕わしいということは発生する; int2 & fact2 -> int3: 甘辛いということは発生しない; [assump1] & int3 -> hypothesis; __PROVED__
fact1 -> int1: {A}; void -> assump1: {C}; int1 & assump1 -> int2: ({C} & {A}); int2 & fact2 -> int3: ¬{D}; [assump1] & int3 -> hypothesis; __PROVED__