受け入れ難いということは生じない
fact1: 「味気ないということは発生しない」ということは受け入れ難いということに阻まれる fact2: 「味気ないということが起きるかまたは気怠いということは起こらない」ということは誤っている
void -> assump1: 以下のように仮定する。受け入れ難いということが起こる; fact1 & assump1 -> int1: 味気ないということが起こる; int1 -> int2: 味気ないということが生じるかもしくは気怠いということは生じないかあるいはどちらもだ; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}; fact1 & assump1 -> int1: {B}; int1 -> int2: ({B} v ¬{C}); int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis;
$facts$ = fact1: 「味気ないということは発生しない」ということは受け入れ難いということに阻まれる fact2: 「味気ないということが起きるかまたは気怠いということは起こらない」ということは誤っている ; $hypothesis$ = 受け入れ難いということは生じない ; $proof$ = 
void -> assump1: 以下のように仮定する。受け入れ難いということが起こる; fact1 & assump1 -> int1: 味気ないということが起こる; int1 -> int2: 味気ないということが生じるかもしくは気怠いということは生じないかあるいはどちらもだ; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {A}; fact1 & assump1 -> int1: {B}; int1 -> int2: ({B} v ¬{C}); int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__