the bullfrog is porphyritic and autosomal.
sent1: the bullfrog is unworldly. sent2: the bullfrog is autosomal. sent3: the eardrop either is a Gilmer or is unworldly or both if it is non-autosomal. sent4: the eardrop is non-autosomal. sent5: the bullfrog is a Gilmer if the eardrop is a kind of a Gilmer.
the bullfrog is a Gilmer that is a compass.
sent3 & sent4 -> int1: either the eardrop is a Gilmer or it is unworldly or both.;
$hypothesis$ = the bullfrog is porphyritic and autosomal. ; $context$ = sent1: the bullfrog is unworldly. sent2: the bullfrog is autosomal. sent3: the eardrop either is a Gilmer or is unworldly or both if it is non-autosomal. sent4: the eardrop is non-autosomal. sent5: the bullfrog is a Gilmer if the eardrop is a kind of a Gilmer. ; $proof$ = 
__UNKNOWN__