if the Beadle is a kind of a conspecific the Numidian is ugly.
sent1: the megaloblast is not an improvement. sent2: the megaloblast is not an improvement if the Illinoisan is heathlike. sent3: the Beadle is an improvement. sent4: if the megaloblast is not heathlike that the click is a kind of heathlike thing that does not dissemble does not hold. sent5: the Beadle is a conspecific if the fact that the click is heathlike and is not ugly does not hold. sent6: the Illinoisan is heathlike if the Beadle is a conspecific. sent7: the fact that the Beadle does dissemble hold. sent8: the megaloblast dissembles if the click is heathlike. sent9: the fact that the fact that the acetal is both canicular and non-heathlike is not false does not hold. sent10: the Numidian is ugly if the acetal is canicular. sent11: the acetal is canicular if the fact that the click is heathlike thing that does not dissemble does not hold. sent12: that the acetal is a conspecific is true. sent13: that the acetal is canicular but it does not dissemble is wrong. sent14: if the acetal is heathlike the Illinoisan is canicular. sent15: the acetal is canicular if the click is not heathlike.
void -> assump1: Let's assume that the Beadle is a kind of a conspecific.; sent6 & assump1 -> int1: the Illinoisan is heathlike.;
$hypothesis$ = if the Beadle is a kind of a conspecific the Numidian is ugly. ; $context$ = sent1: the megaloblast is not an improvement. sent2: the megaloblast is not an improvement if the Illinoisan is heathlike. sent3: the Beadle is an improvement. sent4: if the megaloblast is not heathlike that the click is a kind of heathlike thing that does not dissemble does not hold. sent5: the Beadle is a conspecific if the fact that the click is heathlike and is not ugly does not hold. sent6: the Illinoisan is heathlike if the Beadle is a conspecific. sent7: the fact that the Beadle does dissemble hold. sent8: the megaloblast dissembles if the click is heathlike. sent9: the fact that the fact that the acetal is both canicular and non-heathlike is not false does not hold. sent10: the Numidian is ugly if the acetal is canicular. sent11: the acetal is canicular if the fact that the click is heathlike thing that does not dissemble does not hold. sent12: that the acetal is a conspecific is true. sent13: that the acetal is canicular but it does not dissemble is wrong. sent14: if the acetal is heathlike the Illinoisan is canicular. sent15: the acetal is canicular if the click is not heathlike. ; $proof$ = 
void -> assump1: Let's assume that the Beadle is a kind of a conspecific.; sent6 & assump1 -> int1: the Illinoisan is heathlike.; __UNKNOWN__