the rightist is not a stearin.
sent1: something is pedunculate. sent2: the absorption is not heterodactyl and does homestead Shingon if there exists something such that it is icterogenic. sent3: the rightist is not a stearin if something is a kind of non-heterodactyl thing that homesteads Shingon.
$hypothesis$ = the rightist is not a stearin. ; $context$ = sent1: something is pedunculate. sent2: the absorption is not heterodactyl and does homestead Shingon if there exists something such that it is icterogenic. sent3: the rightist is not a stearin if something is a kind of non-heterodactyl thing that homesteads Shingon. ; $proof$ = 
__UNKNOWN__