撥ね飛ばすことは起きない
fact1: 認め難いということが起きる fact2: 撥ね飛ばすことと気持ち良いということが起こるは「認め難いということは生じない」ということを誘発する fact3: もし仮に気持ち良いということは起きないならば撥ね飛ばすことが生じる fact4: もし揺るぎないということは発生しないならば懐かしいということが起こるかあるいは握り易いということが起きるかもしくは両方ともだ fact5: 気持ち良いということが発生する fact6: もにゃもちゅLv.10事件は起こらないということは「みねみくLv.46事件と百姓らしいということが生じる」ということのきっかけとなる fact7: みねみくLv.46事件が起きる
void -> assump1: 以下のように仮定する。撥ね飛ばすことが起こる; assump1 & fact5 -> int1: 撥ね飛ばすことと気持ち良いということ両方ともが発生する; int1 & fact2 -> int2: 認め難いということは起きない; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}; assump1 & fact5 -> int1: ({A} & {B}); int1 & fact2 -> int2: ¬{C}; int2 & fact1 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。撥ね飛ばすことが起こる
$facts$ = fact1: 認め難いということが起きる fact2: 撥ね飛ばすことと気持ち良いということが起こるは「認め難いということは生じない」ということを誘発する fact3: もし仮に気持ち良いということは起きないならば撥ね飛ばすことが生じる fact4: もし揺るぎないということは発生しないならば懐かしいということが起こるかあるいは握り易いということが起きるかもしくは両方ともだ fact5: 気持ち良いということが発生する fact6: もにゃもちゅLv.10事件は起こらないということは「みねみくLv.46事件と百姓らしいということが生じる」ということのきっかけとなる fact7: みねみくLv.46事件が起きる ; $hypothesis$ = 撥ね飛ばすことは起きない ; $proof$ = 
void -> assump1: 以下のように仮定する。撥ね飛ばすことが起こる; assump1 & fact5 -> int1: 撥ね飛ばすことと気持ち良いということ両方ともが発生する; int1 & fact2 -> int2: 認め難いということは起きない; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {A}; assump1 & fact5 -> int1: ({A} & {B}); int1 & fact2 -> int2: ¬{C}; int2 & fact1 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__