以下のように仮定する。「まくまちゅLv.33事件が起きる」ということは成り立つ
fact1: もしも神々しいということは発生しないなら齎し易いということが起こるし脂っぽいということが起こる fact2: 脂っぽいということは「齎し易いということが生じる」ということに阻まれる fact3: 羞じらうことは神々しいということを回避する fact4: 脂っぽいということが生じる fact5: 齎し易いということはまくまちゅLv.33事件を招く
void -> assump1: 以下のように仮定する。「まくまちゅLv.33事件が起きる」ということは成り立つ; assump1 -> int1: 「まくまちゅLv.33事件が生じるかあるいは齎し易いということが生じる」ということは本当だ;
void -> assump1: {A}; assump1 -> int1: ({A} v {B});
以下のように仮定する。「まくまちゅLv.33事件が起きる」ということは成り立つ
$facts$ = fact1: もしも神々しいということは発生しないなら齎し易いということが起こるし脂っぽいということが起こる fact2: 脂っぽいということは「齎し易いということが生じる」ということに阻まれる fact3: 羞じらうことは神々しいということを回避する fact4: 脂っぽいということが生じる fact5: 齎し易いということはまくまちゅLv.33事件を招く ; $hypothesis$ = 以下のように仮定する。「まくまちゅLv.33事件が起きる」ということは成り立つ ; $proof$ = 
__UNKNOWN__
__UNKNOWN__