the Guatemalan is either a Maputo or a lard or both.
sent1: the stator is a disinheritance.
$hypothesis$ = the Guatemalan is either a Maputo or a lard or both. ; $context$ = sent1: the stator is a disinheritance. ; $proof$ = 
__UNKNOWN__