あのもやもえLv.53はせこくて蒸し暑い
fact1: あのもやもえLv.53が平たいならあのもやもえLv.53はせこい fact2: あのもやもえLv.53は平たい fact3: あのもやもえLv.53は蒸し暑い
fact1 & fact2 -> int1: あのもやもえLv.53はせこい; int1 & fact3 -> hypothesis;
fact1 & fact2 -> int1: {B}{a}; int1 & fact3 -> hypothesis;
$facts$ = fact1: あのもやもえLv.53が平たいならあのもやもえLv.53はせこい fact2: あのもやもえLv.53は平たい fact3: あのもやもえLv.53は蒸し暑い ; $hypothesis$ = あのもやもえLv.53はせこくて蒸し暑い ; $proof$ = 
fact1 & fact2 -> int1: あのもやもえLv.53はせこい; int1 & fact3 -> hypothesis; __PROVED__
fact1 & fact2 -> int1: {B}{a}; int1 & fact3 -> hypothesis; __PROVED__