「加工し易いということが発生する」ということは正しい
fact1: もいもにょLv.41事件は起きないとしたら「ぽゆぽちょLv.13事件および加工し易いということどちらもが発生する」ということは誤りである fact2: ぽゆぽちょLv.13事件は加工し易いということのきっかけとなる fact3: 「ぽゆぽちょLv.13事件が発生するし加工し易いということが起きる」ということは事実と異なるとすると加工し易いということは起きない fact4: もいもにょLv.41事件およびぽゆぽちょLv.13事件が起こる fact5: もし「ものもねLv.25事件ではなくてもいもにょLv.41事件が起こる」ということは間違いだとするともいもにょLv.41事件は発生しない
fact4 -> int1: 「ぽゆぽちょLv.13事件が起きる」ということは正しい; int1 & fact2 -> hypothesis;
fact4 -> int1: {B}; int1 & fact2 -> hypothesis;
加工し易いということは起こらない
$facts$ = fact1: もいもにょLv.41事件は起きないとしたら「ぽゆぽちょLv.13事件および加工し易いということどちらもが発生する」ということは誤りである fact2: ぽゆぽちょLv.13事件は加工し易いということのきっかけとなる fact3: 「ぽゆぽちょLv.13事件が発生するし加工し易いということが起きる」ということは事実と異なるとすると加工し易いということは起きない fact4: もいもにょLv.41事件およびぽゆぽちょLv.13事件が起こる fact5: もし「ものもねLv.25事件ではなくてもいもにょLv.41事件が起こる」ということは間違いだとするともいもにょLv.41事件は発生しない ; $hypothesis$ = 「加工し易いということが発生する」ということは正しい ; $proof$ = 
fact4 -> int1: 「ぽゆぽちょLv.13事件が起きる」ということは正しい; int1 & fact2 -> hypothesis; __PROVED__
fact4 -> int1: {B}; int1 & fact2 -> hypothesis; __PROVED__