リクエストすることは起こらない
fact1: 貸し為さることは荒々しいということは発生しないということを発生させる fact2: 荒々しいということが起こる fact3: もしリクエストすることが生じるか貸し為さることが起これば荒々しいということは起きない fact4: 貸し為さることは「リクエストすることは起こらない」ということを回避する fact5: みゆみちゅLv.33事件かまよまにゃLv.87事件か両方ともが発生する fact6: 「熟達することが発生しなくておまけに移行出来ることは生じない」ということは入り辛いということがきっかけである fact7: 熟達することは発生しないということは「貸し為さることが発生するし荒々しいということは発生する」ということのきっかけとなる
void -> assump1: 以下のように仮定する。「リクエストすることが発生する」ということは真実である; assump1 -> int1: リクエストすることか貸し為さることかまたは両方ともが生じる; int1 & fact3 -> int2: 荒々しいということは起こらない; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}; assump1 -> int1: ({A} v {B}); int1 & fact3 -> int2: ¬{C}; int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。「リクエストすることが発生する」ということは真実である
$facts$ = fact1: 貸し為さることは荒々しいということは発生しないということを発生させる fact2: 荒々しいということが起こる fact3: もしリクエストすることが生じるか貸し為さることが起これば荒々しいということは起きない fact4: 貸し為さることは「リクエストすることは起こらない」ということを回避する fact5: みゆみちゅLv.33事件かまよまにゃLv.87事件か両方ともが発生する fact6: 「熟達することが発生しなくておまけに移行出来ることは生じない」ということは入り辛いということがきっかけである fact7: 熟達することは発生しないということは「貸し為さることが発生するし荒々しいということは発生する」ということのきっかけとなる ; $hypothesis$ = リクエストすることは起こらない ; $proof$ = 
void -> assump1: 以下のように仮定する。「リクエストすることが発生する」ということは真実である; assump1 -> int1: リクエストすることか貸し為さることかまたは両方ともが生じる; int1 & fact3 -> int2: 荒々しいということは起こらない; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {A}; assump1 -> int1: ({A} v {B}); int1 & fact3 -> int2: ¬{C}; int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__