気恥ずかしいということが起きるがしかし浮かすことは起きない
fact1: ぽゆぽえLv.27事件が起きる fact2: 見窄らしいということは生じないということは「ぽゆぽえLv.27事件が起こるし更にぽにょぽいLv.98事件が起こる」ということをもたらす fact3: 「乾き易いということは起こらない」ということは「気恥ずかしいということは起きない」ということを回避する fact4: もしぽゆぽえLv.27事件および見窄らしいということ両方が生じれば乾き易いということは生じない fact5: もしも乾き易いということは発生しないならば気恥ずかしいということが起きるし浮かすことは起こらない fact6: 気恥ずかしいということが発生する fact7: 見窄らしいということが発生する
fact1 & fact7 -> int1: ぽゆぽえLv.27事件が起きるしそれに見窄らしいということが起こる; int1 & fact4 -> int2: 乾き易いということは発生しない; int2 & fact5 -> hypothesis;
fact1 & fact7 -> int1: ({A} & {B}); int1 & fact4 -> int2: ¬{C}; int2 & fact5 -> hypothesis;
ぽにょぽいLv.98事件が生じる
$facts$ = fact1: ぽゆぽえLv.27事件が起きる fact2: 見窄らしいということは生じないということは「ぽゆぽえLv.27事件が起こるし更にぽにょぽいLv.98事件が起こる」ということをもたらす fact3: 「乾き易いということは起こらない」ということは「気恥ずかしいということは起きない」ということを回避する fact4: もしぽゆぽえLv.27事件および見窄らしいということ両方が生じれば乾き易いということは生じない fact5: もしも乾き易いということは発生しないならば気恥ずかしいということが起きるし浮かすことは起こらない fact6: 気恥ずかしいということが発生する fact7: 見窄らしいということが発生する ; $hypothesis$ = 気恥ずかしいということが起きるがしかし浮かすことは起きない ; $proof$ = 
fact1 & fact7 -> int1: ぽゆぽえLv.27事件が起きるしそれに見窄らしいということが起こる; int1 & fact4 -> int2: 乾き易いということは発生しない; int2 & fact5 -> hypothesis; __PROVED__
fact1 & fact7 -> int1: ({A} & {B}); int1 & fact4 -> int2: ¬{C}; int2 & fact5 -> hypothesis; __PROVED__