そのまちょまちょLv.66は剥がれ易いかあるいは実現化するかどちらもだ
fact1: もしもそのまちょまちょLv.66が高いとすれば剥がれ易い fact2: そのまちょまちょLv.66は気まずくてそれは高い
fact2 -> int1: そのまちょまちょLv.66は高い; int1 & fact1 -> int2: そのまちょまちょLv.66は剥がれ易い; int2 -> hypothesis;
fact2 -> int1: {B}{a}; int1 & fact1 -> int2: {C}{a}; int2 -> hypothesis;
$facts$ = fact1: もしもそのまちょまちょLv.66が高いとすれば剥がれ易い fact2: そのまちょまちょLv.66は気まずくてそれは高い ; $hypothesis$ = そのまちょまちょLv.66は剥がれ易いかあるいは実現化するかどちらもだ ; $proof$ = 
fact2 -> int1: そのまちょまちょLv.66は高い; int1 & fact1 -> int2: そのまちょまちょLv.66は剥がれ易い; int2 -> hypothesis; __PROVED__
fact2 -> int1: {B}{a}; int1 & fact1 -> int2: {C}{a}; int2 -> hypothesis; __PROVED__