描き易いということは起きない
fact1: まだるっこしいということが生じるししかもぴゆぴねLv.57事件が生じる fact2: もし仮にぴゆぴねLv.57事件と取っ付き難いということ両方が発生すれば描き易いということは起こらない fact3: 「まだるっこしいということが起こる」ということは真実である fact4: 取っ付き難いということが起きる fact5: もし仮にぴゆぴねLv.57事件は起きないとしたらまだるっこしいということおよびまねまえLv.58事件が起こる
fact1 -> int1: ぴゆぴねLv.57事件が生じる; int1 & fact4 -> int2: ぴゆぴねLv.57事件および取っ付き難いということ両方ともが起こる; int2 & fact2 -> hypothesis;
fact1 -> int1: {B}; int1 & fact4 -> int2: ({B} & {C}); int2 & fact2 -> hypothesis;
まねまえLv.58事件が生じる
$facts$ = fact1: まだるっこしいということが生じるししかもぴゆぴねLv.57事件が生じる fact2: もし仮にぴゆぴねLv.57事件と取っ付き難いということ両方が発生すれば描き易いということは起こらない fact3: 「まだるっこしいということが起こる」ということは真実である fact4: 取っ付き難いということが起きる fact5: もし仮にぴゆぴねLv.57事件は起きないとしたらまだるっこしいということおよびまねまえLv.58事件が起こる ; $hypothesis$ = 描き易いということは起きない ; $proof$ = 
fact1 -> int1: ぴゆぴねLv.57事件が生じる; int1 & fact4 -> int2: ぴゆぴねLv.57事件および取っ付き難いということ両方ともが起こる; int2 & fact2 -> hypothesis; __PROVED__
fact1 -> int1: {B}; int1 & fact4 -> int2: ({B} & {C}); int2 & fact2 -> hypothesis; __PROVED__