このまにまえLv.11はすごーくない
fact1: このまにまえLv.11は生え易いしさらにすごーいとするとそれは突き進むということはない fact2: このまにまえLv.11は突き進む fact3: 「このまなまちゃLv.31は生え易い」ということは本当ならこのまにまえLv.11はすごーい
以下のように仮定する。このまにまえLv.11はすごーい
$facts$ = fact1: このまにまえLv.11は生え易いしさらにすごーいとするとそれは突き進むということはない fact2: このまにまえLv.11は突き進む fact3: 「このまなまちゃLv.31は生え易い」ということは本当ならこのまにまえLv.11はすごーい ; $hypothesis$ = このまにまえLv.11はすごーくない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__