あのもちょもちゅLv.11はえぐい
fact1: もし仮にあのぽねぽちゃLv.7は移り易いなら「あのもちょもちゅLv.11はえぐい」ということは成り立つ fact2: 天狗らしいモンスターは請け出す fact3: このまのまちょLv.13は長ーいしそれに切り始める fact4: もしもあのぽねぽちゃLv.7が掴み難いとしたらあのぽねぽちゃLv.7は移り易い
fact3 -> int1: このまのまちょLv.13は長ーい;
fact3 -> int1: {A}{a};
もし仮に「あのぽねぽちゃLv.7は天狗らしい」ということは確かだとすればあのぽねぽちゃLv.7は請け出す
fact5 -> hypothesis;
$facts$ = fact1: もし仮にあのぽねぽちゃLv.7は移り易いなら「あのもちょもちゅLv.11はえぐい」ということは成り立つ fact2: 天狗らしいモンスターは請け出す fact3: このまのまちょLv.13は長ーいしそれに切り始める fact4: もしもあのぽねぽちゃLv.7が掴み難いとしたらあのぽねぽちゃLv.7は移り易い ; $hypothesis$ = あのもちょもちゅLv.11はえぐい ; $proof$ = 
__UNKNOWN__
__UNKNOWN__