「信じ難いということが起きる」ということは偽である
fact1: 予測し易いということとぎごちないということどちらもが起こる fact2: 厳しいということはまえまよLv.78事件および極まりないということが生じるに防がれる fact3: 「予測し易いということと設置運営することが発生する」ということはぎごちないということは起きないということに引き起こされる fact4: 仮に「まえまよLv.78事件は起きない」ということは確かだとすると会話らしいということが生じるしおまけに厳しいということが起こる fact5: 厳しいということが起きる fact6: もしぎごちないということは起きないとしたら信じ難いということが起きるし更に予測し易いということが発生する fact7: 予測し易いということと厳しいということが起きるとすれば信じ難いということは発生しない
fact1 -> int1: 予測し易いということが起きる; int1 & fact5 -> int2: 予測し易いということが生じるし厳しいということが起こる; int2 & fact7 -> hypothesis;
fact1 -> int1: {A}; int1 & fact5 -> int2: ({A} & {C}); int2 & fact7 -> hypothesis;
会話らしいということと設置運営すること両方が起こる
$facts$ = fact1: 予測し易いということとぎごちないということどちらもが起こる fact2: 厳しいということはまえまよLv.78事件および極まりないということが生じるに防がれる fact3: 「予測し易いということと設置運営することが発生する」ということはぎごちないということは起きないということに引き起こされる fact4: 仮に「まえまよLv.78事件は起きない」ということは確かだとすると会話らしいということが生じるしおまけに厳しいということが起こる fact5: 厳しいということが起きる fact6: もしぎごちないということは起きないとしたら信じ難いということが起きるし更に予測し易いということが発生する fact7: 予測し易いということと厳しいということが起きるとすれば信じ難いということは発生しない ; $hypothesis$ = 「信じ難いということが起きる」ということは偽である ; $proof$ = 
fact1 -> int1: 予測し易いということが起きる; int1 & fact5 -> int2: 予測し易いということが生じるし厳しいということが起こる; int2 & fact7 -> hypothesis; __PROVED__
fact1 -> int1: {A}; int1 & fact5 -> int2: ({A} & {C}); int2 & fact7 -> hypothesis; __PROVED__