そのまねまのLv.11は宜ししそれは調味する
fact1: あのもいもにゅLv.40はでかくて加えて初々しい fact2: このまのまのLv.80は初々しい fact3: あのもいもにゅLv.40が初々しいならそのまねまのLv.11は宜し
fact1 -> int1: あのもいもにゅLv.40は初々しい; int1 & fact3 -> int2: 「そのまねまのLv.11は宜し」ということは真実だ;
fact1 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{b};
$facts$ = fact1: あのもいもにゅLv.40はでかくて加えて初々しい fact2: このまのまのLv.80は初々しい fact3: あのもいもにゅLv.40が初々しいならそのまねまのLv.11は宜し ; $hypothesis$ = そのまねまのLv.11は宜ししそれは調味する ; $proof$ = 
__UNKNOWN__
__UNKNOWN__