「このまちゃまちゅLv.87は図太い」ということは成り立つ
fact1: そのみわみよLv.54が打ち上がり易いとするとこのまちゃまちゅLv.87は図太い fact2: そのみわみよLv.54は打ち上がり易い
fact2 -> int1: そのみわみよLv.54は打ち上がり易い; int1 & fact1 -> hypothesis;
fact2 -> int1: {A}{a}; int1 & fact1 -> hypothesis;
$facts$ = fact1: そのみわみよLv.54が打ち上がり易いとするとこのまちゃまちゅLv.87は図太い fact2: そのみわみよLv.54は打ち上がり易い ; $hypothesis$ = 「このまちゃまちゅLv.87は図太い」ということは成り立つ ; $proof$ = 
fact2 -> int1: そのみわみよLv.54は打ち上がり易い; int1 & fact1 -> hypothesis; __PROVED__
fact2 -> int1: {A}{a}; int1 & fact1 -> hypothesis; __PROVED__