恋い焦がれることは起きないけどむくつけしということが起こる
fact1: むくつけしということが発生する fact2: そつ無いということが発生するし弱いということが生じれば恋い焦がれることは起こらない fact3: まにまにょLv.26事件が起こる fact4: まあるいということは「弱いということは生じない」ということを阻む fact5: ぽちょぽなLv.24事件とまあるいということどちらもが起こる fact6: ぽちょぽなLv.24事件が生じる fact7: そつ無いということが起きる
fact5 -> int1: まあるいということが起こる; int1 & fact4 -> int2: 「弱いということが発生する」ということは事実だ; int2 & fact7 -> int3: 「そつ無いということが生じるし弱いということが発生する」ということは成り立つ; int3 & fact2 -> int4: 恋い焦がれることは生じない; int4 & fact1 -> hypothesis;
fact5 -> int1: {B}; int1 & fact4 -> int2: {C}; int2 & fact7 -> int3: ({D} & {C}); int3 & fact2 -> int4: ¬{E}; int4 & fact1 -> hypothesis;
$facts$ = fact1: むくつけしということが発生する fact2: そつ無いということが発生するし弱いということが生じれば恋い焦がれることは起こらない fact3: まにまにょLv.26事件が起こる fact4: まあるいということは「弱いということは生じない」ということを阻む fact5: ぽちょぽなLv.24事件とまあるいということどちらもが起こる fact6: ぽちょぽなLv.24事件が生じる fact7: そつ無いということが起きる ; $hypothesis$ = 恋い焦がれることは起きないけどむくつけしということが起こる ; $proof$ = 
fact5 -> int1: まあるいということが起こる; int1 & fact4 -> int2: 「弱いということが発生する」ということは事実だ; int2 & fact7 -> int3: 「そつ無いということが生じるし弱いということが発生する」ということは成り立つ; int3 & fact2 -> int4: 恋い焦がれることは生じない; int4 & fact1 -> hypothesis; __PROVED__
fact5 -> int1: {B}; int1 & fact4 -> int2: {C}; int2 & fact7 -> int3: ({D} & {C}); int3 & fact2 -> int4: ¬{E}; int4 & fact1 -> hypothesis; __PROVED__