成功し易いということは発生しない
fact1: 疎むことかもしくはものもにょLv.26事件かもしくは両方ともが起こる fact2: ぷいぷゆLv.63事件が起きるししかもぽにぽちゅLv.85事件が起きる fact3: 共鳴し易いということが生じる fact4: イスラム化することは生じない fact5: ぷにゅぷくLv.8事件が起きる fact6: 極まりないということかまたはぽにぽちゅLv.85事件かあるいは両方ともは成功し易いということを回避する fact7: ぴえぴねLv.11事件が発生するかもしくは甘辛いということが生じる
fact2 -> int1: ぽにぽちゅLv.85事件が起こる; int1 -> int2: 極まりないということが起こるかまたはぽにぽちゅLv.85事件が発生する; int2 & fact6 -> hypothesis;
fact2 -> int1: {B}; int1 -> int2: ({C} v {B}); int2 & fact6 -> hypothesis;
$facts$ = fact1: 疎むことかもしくはものもにょLv.26事件かもしくは両方ともが起こる fact2: ぷいぷゆLv.63事件が起きるししかもぽにぽちゅLv.85事件が起きる fact3: 共鳴し易いということが生じる fact4: イスラム化することは生じない fact5: ぷにゅぷくLv.8事件が起きる fact6: 極まりないということかまたはぽにぽちゅLv.85事件かあるいは両方ともは成功し易いということを回避する fact7: ぴえぴねLv.11事件が発生するかもしくは甘辛いということが生じる ; $hypothesis$ = 成功し易いということは発生しない ; $proof$ = 
fact2 -> int1: ぽにぽちゅLv.85事件が起こる; int1 -> int2: 極まりないということが起こるかまたはぽにぽちゅLv.85事件が発生する; int2 & fact6 -> hypothesis; __PROVED__
fact2 -> int1: {B}; int1 -> int2: ({C} v {B}); int2 & fact6 -> hypothesis; __PROVED__