「捨て難いということが発生する」ということは真実である
fact1: もし在任することが発生しなくて加えてもにものLv.93事件は生じないとしたら実現し易いということが生じる fact2: もし「ぷくぷのLv.68事件は起きないかみやみいLv.98事件は発生しない」ということは本当であるということはないとするとまやまねLv.39事件は生じない fact3: 色っぽいということが生じる fact4: 「在任することが起きなくてまたもにものLv.93事件は起こらない」ということは「色っぽいということが起こる」ということにもたらされる fact5: まやまねLv.39事件は生じないということは実現し易いということは起きないということを誘発する
fact4 & fact3 -> int1: 在任することは起こらないしもにものLv.93事件は起こらない; int1 & fact1 -> int2: 実現し易いということが起きる;
fact4 & fact3 -> int1: (¬{AA} & ¬{AB}); int1 & fact1 -> int2: {B};
捨て難いということは起こらない
$facts$ = fact1: もし在任することが発生しなくて加えてもにものLv.93事件は生じないとしたら実現し易いということが生じる fact2: もし「ぷくぷのLv.68事件は起きないかみやみいLv.98事件は発生しない」ということは本当であるということはないとするとまやまねLv.39事件は生じない fact3: 色っぽいということが生じる fact4: 「在任することが起きなくてまたもにものLv.93事件は起こらない」ということは「色っぽいということが起こる」ということにもたらされる fact5: まやまねLv.39事件は生じないということは実現し易いということは起きないということを誘発する ; $hypothesis$ = 「捨て難いということが発生する」ということは真実である ; $proof$ = 
__UNKNOWN__
__UNKNOWN__