あくどいということは生じない
fact1: もしも「まいまにゅLv.33事件は起きないかもしくは常連らしいということが生じる」ということは成り立たないとしたら誘えることは生じない fact2: もし仮に頂かすことは起きないなら「まいまにゅLv.33事件は生じないかまたは常連らしいということが起こる」ということは偽である fact3: もし甘辛いということおよび誘えることどちらもが起きるとしたらあくどいということは起こらない fact4: 約束為さることが生じるしおまけに甘辛いということが発生する
fact4 -> int1: 甘辛いということが生じる;
fact4 -> int1: {B};
あくどいということが発生する
$facts$ = fact1: もしも「まいまにゅLv.33事件は起きないかもしくは常連らしいということが生じる」ということは成り立たないとしたら誘えることは生じない fact2: もし仮に頂かすことは起きないなら「まいまにゅLv.33事件は生じないかまたは常連らしいということが起こる」ということは偽である fact3: もし甘辛いということおよび誘えることどちらもが起きるとしたらあくどいということは起こらない fact4: 約束為さることが生じるしおまけに甘辛いということが発生する ; $hypothesis$ = あくどいということは生じない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__