「横着することは起きない」ということは確かだ
fact1: 「ぽいぽゆLv.71事件が発生する」ということは古めかしいということが起こるということをもたらす fact2: ぷのぷなLv.89事件が生じる fact3: ぽいぽゆLv.71事件が発生する fact4: 古めかしいということおよびぷのぷなLv.89事件が生じれば横着することは起きない
fact1 & fact3 -> int1: 古めかしいということが起こる; int1 & fact2 -> int2: 古めかしいということおよびぷのぷなLv.89事件両方ともが起きる; int2 & fact4 -> hypothesis;
fact1 & fact3 -> int1: {B}; int1 & fact2 -> int2: ({B} & {C}); int2 & fact4 -> hypothesis;
$facts$ = fact1: 「ぽいぽゆLv.71事件が発生する」ということは古めかしいということが起こるということをもたらす fact2: ぷのぷなLv.89事件が生じる fact3: ぽいぽゆLv.71事件が発生する fact4: 古めかしいということおよびぷのぷなLv.89事件が生じれば横着することは起きない ; $hypothesis$ = 「横着することは起きない」ということは確かだ ; $proof$ = 
fact1 & fact3 -> int1: 古めかしいということが起こる; int1 & fact2 -> int2: 古めかしいということおよびぷのぷなLv.89事件両方ともが起きる; int2 & fact4 -> hypothesis; __PROVED__
fact1 & fact3 -> int1: {B}; int1 & fact2 -> int2: ({B} & {C}); int2 & fact4 -> hypothesis; __PROVED__