幼けないということは起こらなくてそれに酔い易いということは発生しない
fact1: 心地良いということは酔い易いということを防ぐ fact2: 「酔い易いということが生じる」ということは「ぱりぱりすることが生じるかあるいは心地良いということが発生するかあるいは両方ともである」ということに防がれる fact3: 幼けないということは生じない fact4: みちゃみくLv.14事件が発生しないしまたぴちゅぴのLv.42事件は生じない fact5: ぱりぱりすることが起こる
fact5 -> int1: ぱりぱりすることかあるいは心地良いということかもしくは両方ともが起きる; int1 & fact2 -> int2: 酔い易いということは起こらない; int2 & fact3 -> hypothesis;
fact5 -> int1: ({A} v {B}); int1 & fact2 -> int2: ¬{C}; int2 & fact3 -> hypothesis;
$facts$ = fact1: 心地良いということは酔い易いということを防ぐ fact2: 「酔い易いということが生じる」ということは「ぱりぱりすることが生じるかあるいは心地良いということが発生するかあるいは両方ともである」ということに防がれる fact3: 幼けないということは生じない fact4: みちゃみくLv.14事件が発生しないしまたぴちゅぴのLv.42事件は生じない fact5: ぱりぱりすることが起こる ; $hypothesis$ = 幼けないということは起こらなくてそれに酔い易いということは発生しない ; $proof$ = 
fact5 -> int1: ぱりぱりすることかあるいは心地良いということかもしくは両方ともが起きる; int1 & fact2 -> int2: 酔い易いということは起こらない; int2 & fact3 -> hypothesis; __PROVED__
fact5 -> int1: ({A} v {B}); int1 & fact2 -> int2: ¬{C}; int2 & fact3 -> hypothesis; __PROVED__