形成し易いということは生じない
fact1: もし「まちゅまにゅLv.16事件が起こる」ということは成り立つとするとフル活用することは起こらないかぽねぽにょLv.79事件は発生するかあるいはどちらもである fact2: ぽにゅぽにゅLv.96事件とまちゅまにゅLv.16事件両方が起きる fact3: 「フル活用することは生じない」ということかぽねぽにょLv.79事件は形成し易いということは生じないということを阻む
fact2 -> int1: まちゅまにゅLv.16事件が起きる; int1 & fact1 -> int2: フル活用することは発生しないかぽねぽにょLv.79事件が起きるかまたは両方である; int2 & fact3 -> hypothesis;
fact2 -> int1: {B}; int1 & fact1 -> int2: (¬{C} v {D}); int2 & fact3 -> hypothesis;
$facts$ = fact1: もし「まちゅまにゅLv.16事件が起こる」ということは成り立つとするとフル活用することは起こらないかぽねぽにょLv.79事件は発生するかあるいはどちらもである fact2: ぽにゅぽにゅLv.96事件とまちゅまにゅLv.16事件両方が起きる fact3: 「フル活用することは生じない」ということかぽねぽにょLv.79事件は形成し易いということは生じないということを阻む ; $hypothesis$ = 形成し易いということは生じない ; $proof$ = 
fact2 -> int1: まちゅまにゅLv.16事件が起きる; int1 & fact1 -> int2: フル活用することは発生しないかぽねぽにょLv.79事件が起きるかまたは両方である; int2 & fact3 -> hypothesis; __DISPROVED__
fact2 -> int1: {B}; int1 & fact1 -> int2: (¬{C} v {D}); int2 & fact3 -> hypothesis; __DISPROVED__