the Father is not a Sciuridae.
sent1: the denture eulogizes retrofit and does excrete if it is not a kind of a adsorbent. sent2: the Father is not a Sciuridae if the denture is a calligraphy and it does eulogize retrofit. sent3: the fact that the skank is not planar hold. sent4: the denture is not a adsorbent. sent5: if the fact that something is planar and does not articulate does not hold the fact that it is not a kind of a half-and-half is true.
void -> assump1: Let's assume that the skank is planar but it does not articulate.; assump1 -> int1: the skank is planar.; int1 & sent3 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the skank is planar but it is not articulated is not true.; sent5 -> int4: the skank is not a half-and-half if that it is planar but not articulated is incorrect.; int3 & int4 -> int5: the skank is not a half-and-half.; sent1 & sent4 -> int6: the denture does eulogize retrofit and does excrete.; int6 -> int7: the denture does eulogize retrofit.;
$hypothesis$ = the Father is not a Sciuridae. ; $context$ = sent1: the denture eulogizes retrofit and does excrete if it is not a kind of a adsorbent. sent2: the Father is not a Sciuridae if the denture is a calligraphy and it does eulogize retrofit. sent3: the fact that the skank is not planar hold. sent4: the denture is not a adsorbent. sent5: if the fact that something is planar and does not articulate does not hold the fact that it is not a kind of a half-and-half is true. ; $proof$ = 
void -> assump1: Let's assume that the skank is planar but it does not articulate.; assump1 -> int1: the skank is planar.; int1 & sent3 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the skank is planar but it is not articulated is not true.; sent5 -> int4: the skank is not a half-and-half if that it is planar but not articulated is incorrect.; int3 & int4 -> int5: the skank is not a half-and-half.; sent1 & sent4 -> int6: the denture does eulogize retrofit and does excrete.; int6 -> int7: the denture does eulogize retrofit.; __UNKNOWN__