気持ち良いということは起こらない
fact1: 「うら若しということは発生しない」ということは気持ち良いということとまえまちゅLv.38事件が起こるをもたらす fact2: まえまちゅLv.38事件とうら若しということが起きるは「まねまよLv.6事件は起こらない」ということが契機である fact3: まねまよLv.6事件は発生しない fact4: まえまちゅLv.38事件が発生する fact5: みいみのLv.47事件は発生しない fact6: もしも乗り易いということかもしくはうら若しということが発生すれば気持ち良いということは生じない
fact3 & fact2 -> int1: まえまちゅLv.38事件が起こるし加えてうら若しということが発生する; int1 -> int2: うら若しということが起きる; int2 -> int3: 「乗り易いということかもしくはうら若しということかあるいはどちらもが起こる」ということは偽でない; int3 & fact6 -> hypothesis;
fact3 & fact2 -> int1: ({A} & {B}); int1 -> int2: {B}; int2 -> int3: ({C} v {B}); int3 & fact6 -> hypothesis;
気持ち良いということが生じる
$facts$ = fact1: 「うら若しということは発生しない」ということは気持ち良いということとまえまちゅLv.38事件が起こるをもたらす fact2: まえまちゅLv.38事件とうら若しということが起きるは「まねまよLv.6事件は起こらない」ということが契機である fact3: まねまよLv.6事件は発生しない fact4: まえまちゅLv.38事件が発生する fact5: みいみのLv.47事件は発生しない fact6: もしも乗り易いということかもしくはうら若しということが発生すれば気持ち良いということは生じない ; $hypothesis$ = 気持ち良いということは起こらない ; $proof$ = 
fact3 & fact2 -> int1: まえまちゅLv.38事件が起こるし加えてうら若しということが発生する; int1 -> int2: うら若しということが起きる; int2 -> int3: 「乗り易いということかもしくはうら若しということかあるいはどちらもが起こる」ということは偽でない; int3 & fact6 -> hypothesis; __PROVED__
fact3 & fact2 -> int1: ({A} & {B}); int1 -> int2: {B}; int2 -> int3: ({C} v {B}); int3 & fact6 -> hypothesis; __PROVED__