意気投合することは発生しない
fact1: すっごいということは起きない fact2: もちゅもちゃLv.70事件は起きない fact3: ぷえぷちゅLv.74事件は生じないということは「実行し易いということは発生しない」ということに起因する fact4: ぴなぴわLv.50事件は生じないしかつ免れ難いということは生じない fact5: 折れ易いということが起きる fact6: 「ぷえぷちゅLv.74事件が起こらなくて更に意気投合することは起きない」ということはぷえぷちゅLv.74事件は起きないということにより生じる fact7: ぽにゃぽねLv.88事件は移動し易いということは起きないということを招く fact8: 「ぽちゅぽいLv.9事件が発生するかまたは判別し難いということが起きる」ということはみのみよLv.92事件を防ぐ fact9: 実行し易いということは生じないということは折れ易いということかあるいはおっかないということかあるいはどちらもに誘発される
fact5 -> int1: 折れ易いということが発生するかまたはおっかないということが起きる; int1 & fact9 -> int2: 実行し易いということは起こらない; int2 & fact3 -> int3: ぷえぷちゅLv.74事件は生じない; int3 & fact6 -> int4: ぷえぷちゅLv.74事件が起こらないしかつ意気投合することは発生しない; int4 -> hypothesis;
fact5 -> int1: ({A} v {B}); int1 & fact9 -> int2: ¬{C}; int2 & fact3 -> int3: ¬{D}; int3 & fact6 -> int4: (¬{D} & ¬{F}); int4 -> hypothesis;
$facts$ = fact1: すっごいということは起きない fact2: もちゅもちゃLv.70事件は起きない fact3: ぷえぷちゅLv.74事件は生じないということは「実行し易いということは発生しない」ということに起因する fact4: ぴなぴわLv.50事件は生じないしかつ免れ難いということは生じない fact5: 折れ易いということが起きる fact6: 「ぷえぷちゅLv.74事件が起こらなくて更に意気投合することは起きない」ということはぷえぷちゅLv.74事件は起きないということにより生じる fact7: ぽにゃぽねLv.88事件は移動し易いということは起きないということを招く fact8: 「ぽちゅぽいLv.9事件が発生するかまたは判別し難いということが起きる」ということはみのみよLv.92事件を防ぐ fact9: 実行し易いということは生じないということは折れ易いということかあるいはおっかないということかあるいはどちらもに誘発される ; $hypothesis$ = 意気投合することは発生しない ; $proof$ = 
fact5 -> int1: 折れ易いということが発生するかまたはおっかないということが起きる; int1 & fact9 -> int2: 実行し易いということは起こらない; int2 & fact3 -> int3: ぷえぷちゅLv.74事件は生じない; int3 & fact6 -> int4: ぷえぷちゅLv.74事件が起こらないしかつ意気投合することは発生しない; int4 -> hypothesis; __PROVED__
fact5 -> int1: ({A} v {B}); int1 & fact9 -> int2: ¬{C}; int2 & fact3 -> int3: ¬{D}; int3 & fact6 -> int4: (¬{D} & ¬{F}); int4 -> hypothesis; __PROVED__