このまよまちゅLv.94は哀れっぽい
fact1: もしこのまよまちゅLv.94が心深しとすればこのまよまちゅLv.94は哀れっぽい fact2: 哀れっぽいモンスターは疎ましい fact3: もし「そのもにょもにゃLv.32は受け易い」ということは真実であるとするとこのまよまちゅLv.94は心深し fact4: そのもにょもにゃLv.32は受け易い
fact3 & fact4 -> int1: このまよまちゅLv.94は心深し; int1 & fact1 -> hypothesis;
fact3 & fact4 -> int1: {B}{b}; int1 & fact1 -> hypothesis;
もしもこのまよまちゅLv.94が哀れっぽいならこのまよまちゅLv.94は疎ましい
fact5 -> hypothesis;
$facts$ = fact1: もしこのまよまちゅLv.94が心深しとすればこのまよまちゅLv.94は哀れっぽい fact2: 哀れっぽいモンスターは疎ましい fact3: もし「そのもにょもにゃLv.32は受け易い」ということは真実であるとするとこのまよまちゅLv.94は心深し fact4: そのもにょもにゃLv.32は受け易い ; $hypothesis$ = このまよまちゅLv.94は哀れっぽい ; $proof$ = 
fact3 & fact4 -> int1: このまよまちゅLv.94は心深し; int1 & fact1 -> hypothesis; __PROVED__
fact3 & fact4 -> int1: {B}{b}; int1 & fact1 -> hypothesis; __PROVED__