このまよまちゅLv.20は恐れ多くない
fact1: このまよまちゅLv.20は信心深い fact2: このまよまちゅLv.20は期待し難い fact3: このもちょもいLv.77は恐れ多い
fact2 -> int1: このまよまちゅLv.20は期待し難い;
fact2 -> int1: {A}{a};
$facts$ = fact1: このまよまちゅLv.20は信心深い fact2: このまよまちゅLv.20は期待し難い fact3: このもちょもいLv.77は恐れ多い ; $hypothesis$ = このまよまちゅLv.20は恐れ多くない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__