強制送還することとめでたいということが生じる
fact1: 「めでたいということは発生しない」ということは「強制送還することおよびまのまねLv.95事件両方ともが発生する」ということに帰結する fact2: もし仮にまいまちゃLv.28事件が発生するとすると構え易いということが起きるか興奮し易いということは起こらないか両方ともだ fact3: もし青臭いということは生じないならば「強制送還することとめでたいということ両方が起きる」ということは誤っている fact4: 強制送還することが生じる
fact4 -> int1: 強制送還することが生じる;
fact4 -> int1: {A};
「強制送還することとめでたいということどちらもが起きる」ということは嘘だ
$facts$ = fact1: 「めでたいということは発生しない」ということは「強制送還することおよびまのまねLv.95事件両方ともが発生する」ということに帰結する fact2: もし仮にまいまちゃLv.28事件が発生するとすると構え易いということが起きるか興奮し易いということは起こらないか両方ともだ fact3: もし青臭いということは生じないならば「強制送還することとめでたいということ両方が起きる」ということは誤っている fact4: 強制送還することが生じる ; $hypothesis$ = 強制送還することとめでたいということが生じる ; $proof$ = 
__UNKNOWN__
__UNKNOWN__