合わせ辛いということが発生する
fact1: 憎々しいということは暮らし易いということのきっかけとなる fact2: 堅苦しいということは発生しないということはまわまちゃLv.87事件に阻止される fact3: もし堅苦しいということは起こらないがまわまちゃLv.87事件が発生するとしたら憎々しいということが起こる fact4: 合わせ辛いということは「堅苦しいということが起きる」ということに引き起こされる fact5: 憎々しいということおよびまわまちゃLv.87事件どちらもが起きる
fact5 -> int1: 「まわまちゃLv.87事件が生じる」ということは事実だ; int1 & fact2 -> int2: 堅苦しいということが起こる; int2 & fact4 -> hypothesis;
fact5 -> int1: {B}; int1 & fact2 -> int2: {C}; int2 & fact4 -> hypothesis;
暮らし易いということが生じる
$facts$ = fact1: 憎々しいということは暮らし易いということのきっかけとなる fact2: 堅苦しいということは発生しないということはまわまちゃLv.87事件に阻止される fact3: もし堅苦しいということは起こらないがまわまちゃLv.87事件が発生するとしたら憎々しいということが起こる fact4: 合わせ辛いということは「堅苦しいということが起きる」ということに引き起こされる fact5: 憎々しいということおよびまわまちゃLv.87事件どちらもが起きる ; $hypothesis$ = 合わせ辛いということが発生する ; $proof$ = 
fact5 -> int1: 「まわまちゃLv.87事件が生じる」ということは事実だ; int1 & fact2 -> int2: 堅苦しいということが起こる; int2 & fact4 -> hypothesis; __PROVED__
fact5 -> int1: {B}; int1 & fact2 -> int2: {C}; int2 & fact4 -> hypothesis; __PROVED__