得られ難いということは発生しない
fact1: もし仮に調和し難いということが生じるし更にみなみゆLv.61事件が生じるなら得られ難いということは生じない fact2: みなみゆLv.61事件が発生する fact3: 「ぴにょぴにゅLv.54事件および焦げ臭いということが発生する」ということは成り立たない fact4: 「みなみゆLv.61事件は生じない」ということは調和し難いということおよび恋い焦がれることが起こるを招く fact5: 調和し難いということが生じるしその上ぴくぴのLv.42事件が生じる fact6: もし仮に「ぴにょぴにゅLv.54事件および焦げ臭いということが起こる」ということは事実と異なるとしたら逃れ難いということは起きない fact7: 寝苦しいということが発生する fact8: 「逃れ難いということは起こらない」ということは「発すことは生じないかもしくは得られ難いということは起こらない」ということに帰結する
fact5 -> int1: 調和し難いということが起きる; int1 & fact2 -> int2: 調和し難いということおよびみなみゆLv.61事件が生じる; int2 & fact1 -> hypothesis;
fact5 -> int1: {A}; int1 & fact2 -> int2: ({A} & {C}); int2 & fact1 -> hypothesis;
「恋い焦がれることおよびぽえぽえLv.73事件が生じる」ということは事実である
fact10 & fact12 -> int3: 逃れ難いということは生じない; fact11 & int3 -> int4: 発すことは起こらないかあるいは得られ難いということは生じない;
$facts$ = fact1: もし仮に調和し難いということが生じるし更にみなみゆLv.61事件が生じるなら得られ難いということは生じない fact2: みなみゆLv.61事件が発生する fact3: 「ぴにょぴにゅLv.54事件および焦げ臭いということが発生する」ということは成り立たない fact4: 「みなみゆLv.61事件は生じない」ということは調和し難いということおよび恋い焦がれることが起こるを招く fact5: 調和し難いということが生じるしその上ぴくぴのLv.42事件が生じる fact6: もし仮に「ぴにょぴにゅLv.54事件および焦げ臭いということが起こる」ということは事実と異なるとしたら逃れ難いということは起きない fact7: 寝苦しいということが発生する fact8: 「逃れ難いということは起こらない」ということは「発すことは生じないかもしくは得られ難いということは起こらない」ということに帰結する ; $hypothesis$ = 得られ難いということは発生しない ; $proof$ = 
fact5 -> int1: 調和し難いということが起きる; int1 & fact2 -> int2: 調和し難いということおよびみなみゆLv.61事件が生じる; int2 & fact1 -> hypothesis; __PROVED__
fact5 -> int1: {A}; int1 & fact2 -> int2: ({A} & {C}); int2 & fact1 -> hypothesis; __PROVED__