もやもねLv.38事件および把握し難いということ両方ともが発生する
fact1: 起こすこととアメリカらしいということ両方が生じる fact2: むくつけしということが起きる fact3: 把握し難いということはアメリカらしいということが原因だ fact4: 「危ぶむことは起きない」ということは「もやもねLv.38事件は起きないしかつ把握し難いということは起こらない」ということをもたらす fact5: 起こすことは「狡いということは起きない」ということを阻む fact6: もやもねLv.38事件が起きる
fact1 -> int1: アメリカらしいということが生じる; int1 & fact3 -> int2: 「把握し難いということが起こる」ということは事実だ; int2 & fact6 -> hypothesis;
fact1 -> int1: {B}; int1 & fact3 -> int2: {C}; int2 & fact6 -> hypothesis;
狡いということが起こる
$facts$ = fact1: 起こすこととアメリカらしいということ両方が生じる fact2: むくつけしということが起きる fact3: 把握し難いということはアメリカらしいということが原因だ fact4: 「危ぶむことは起きない」ということは「もやもねLv.38事件は起きないしかつ把握し難いということは起こらない」ということをもたらす fact5: 起こすことは「狡いということは起きない」ということを阻む fact6: もやもねLv.38事件が起きる ; $hypothesis$ = もやもねLv.38事件および把握し難いということ両方ともが発生する ; $proof$ = 
fact1 -> int1: アメリカらしいということが生じる; int1 & fact3 -> int2: 「把握し難いということが起こる」ということは事実だ; int2 & fact6 -> hypothesis; __PROVED__
fact1 -> int1: {B}; int1 & fact3 -> int2: {C}; int2 & fact6 -> hypothesis; __PROVED__