ぽいぽちょLv.22事件は起きない
fact1: 売り難いということが生じる fact2: 掛け難いということともちゃもなLv.24事件が起きる fact3: もしも関係深いということは起こらないなら「売り難いということは発生しない一方でもよもちょLv.22事件が起こる」ということは間違いだ fact4: ぽえぽちょLv.25事件が起こる fact5: もしもちゃもなLv.24事件が生じないとするとぽいぽちょLv.22事件は発生するしかつ掛け難いということが起きる fact6: 「掛け難いということと売り難いということ両方が生じる」ということはぽいぽちょLv.22事件を回避する
fact2 -> int1: 掛け難いということが発生する; int1 & fact1 -> int2: 「掛け難いということが生じるし売り難いということが起こる」ということは本当だ; int2 & fact6 -> hypothesis;
fact2 -> int1: {A}; int1 & fact1 -> int2: ({A} & {C}); int2 & fact6 -> hypothesis;
ぽいぽちょLv.22事件が発生する
$facts$ = fact1: 売り難いということが生じる fact2: 掛け難いということともちゃもなLv.24事件が起きる fact3: もしも関係深いということは起こらないなら「売り難いということは発生しない一方でもよもちょLv.22事件が起こる」ということは間違いだ fact4: ぽえぽちょLv.25事件が起こる fact5: もしもちゃもなLv.24事件が生じないとするとぽいぽちょLv.22事件は発生するしかつ掛け難いということが起きる fact6: 「掛け難いということと売り難いということ両方が生じる」ということはぽいぽちょLv.22事件を回避する ; $hypothesis$ = ぽいぽちょLv.22事件は起きない ; $proof$ = 
fact2 -> int1: 掛け難いということが発生する; int1 & fact1 -> int2: 「掛け難いということが生じるし売り難いということが起こる」ということは本当だ; int2 & fact6 -> hypothesis; __PROVED__
fact2 -> int1: {A}; int1 & fact1 -> int2: ({A} & {C}); int2 & fact6 -> hypothesis; __PROVED__