評することは生じなくて赤いということは起こらない
fact1: 「評することは起こらない」ということは「みのみよLv.14事件と青っぽいということどちらもが起きる」ということが契機だ fact2: 赤いということは生じない fact3: みのみよLv.14事件が起きる fact4: 「青っぽいということが生じる」ということは真実だ
fact3 & fact4 -> int1: みのみよLv.14事件が発生するし青っぽいということが起きる; int1 & fact1 -> int2: 「評することは生じない」ということは成り立つ; int2 & fact2 -> hypothesis;
fact3 & fact4 -> int1: ({A} & {B}); int1 & fact1 -> int2: ¬{C}; int2 & fact2 -> hypothesis;
$facts$ = fact1: 「評することは起こらない」ということは「みのみよLv.14事件と青っぽいということどちらもが起きる」ということが契機だ fact2: 赤いということは生じない fact3: みのみよLv.14事件が起きる fact4: 「青っぽいということが生じる」ということは真実だ ; $hypothesis$ = 評することは生じなくて赤いということは起こらない ; $proof$ = 
fact3 & fact4 -> int1: みのみよLv.14事件が発生するし青っぽいということが起きる; int1 & fact1 -> int2: 「評することは生じない」ということは成り立つ; int2 & fact2 -> hypothesis; __PROVED__
fact3 & fact4 -> int1: ({A} & {B}); int1 & fact1 -> int2: ¬{C}; int2 & fact2 -> hypothesis; __PROVED__