the aerator is a kind of a dot-com.
sent1: the aerator is a kind of a bagger if an anthropocentric thing is a kind of a dot-com. sent2: the reserve does not fear metatarsal and it is not a dacoit if there is something such that it does not conventionalize Gregory. sent3: there is something such that the fact that it does steel reserve and is a kind of a punt is not right. sent4: the aerator is a bacteroid. sent5: if the fact that something is anthropocentric and it is a kind of a blood-twig is not incorrect the sabra is not non-Tongan. sent6: either the mouflon is bridgeable or it is not a kind of a pyralid or both. sent7: something is dot-com if it is not anthropocentric. sent8: the mouflon does not conventionalize Gregory if the fact that it is a pyralid does not hold. sent9: the aerator is a blood-twig if there exists something such that it is non-Arabic. sent10: there is something such that it is a kind of a litterbin and is a Arabic. sent11: the sabra is not anthropocentric but it is a bagger. sent12: if there is something such that that it is a kind of a litterbin that is a kind of a Arabic is wrong that the aerator is a kind of a blood-twig is not false. sent13: the sabra is not Tongan but a bagger. sent14: the mouflon does not conventionalize Gregory if it is bridgeable. sent15: there is something such that it is a electrophorus. sent16: the bryanthus is a blood-twig and is a Arabic. sent17: something that is not a kind of a bagger is both anthropocentric and Tongan. sent18: the reserve is a blood-twig if the fact that the mouflon is a Tongan or it is not a bagger or both is false.
void -> assump1: Let's assume that the aerator is anthropocentric.; sent13 -> int1: the sabra is not a Tongan.; sent7 -> int2: if the aerator is not anthropocentric the fact that it is a dot-com hold.;
the aerator is not dot-com.
sent17 -> int3: the sabra is both anthropocentric and Tongan if it is not a bagger.; sent6 & sent14 & sent8 -> int4: the mouflon does not conventionalize Gregory.; int4 -> int5: there exists something such that it does not conventionalize Gregory.; int5 & sent2 -> int6: the reserve does not fear metatarsal and it is not a kind of a dacoit.; int6 -> int7: there exists something such that it does not fear metatarsal and it is not a kind of a dacoit.;
$hypothesis$ = the aerator is a kind of a dot-com. ; $context$ = sent1: the aerator is a kind of a bagger if an anthropocentric thing is a kind of a dot-com. sent2: the reserve does not fear metatarsal and it is not a dacoit if there is something such that it does not conventionalize Gregory. sent3: there is something such that the fact that it does steel reserve and is a kind of a punt is not right. sent4: the aerator is a bacteroid. sent5: if the fact that something is anthropocentric and it is a kind of a blood-twig is not incorrect the sabra is not non-Tongan. sent6: either the mouflon is bridgeable or it is not a kind of a pyralid or both. sent7: something is dot-com if it is not anthropocentric. sent8: the mouflon does not conventionalize Gregory if the fact that it is a pyralid does not hold. sent9: the aerator is a blood-twig if there exists something such that it is non-Arabic. sent10: there is something such that it is a kind of a litterbin and is a Arabic. sent11: the sabra is not anthropocentric but it is a bagger. sent12: if there is something such that that it is a kind of a litterbin that is a kind of a Arabic is wrong that the aerator is a kind of a blood-twig is not false. sent13: the sabra is not Tongan but a bagger. sent14: the mouflon does not conventionalize Gregory if it is bridgeable. sent15: there is something such that it is a electrophorus. sent16: the bryanthus is a blood-twig and is a Arabic. sent17: something that is not a kind of a bagger is both anthropocentric and Tongan. sent18: the reserve is a blood-twig if the fact that the mouflon is a Tongan or it is not a bagger or both is false. ; $proof$ = 
void -> assump1: Let's assume that the aerator is anthropocentric.; sent13 -> int1: the sabra is not a Tongan.; sent7 -> int2: if the aerator is not anthropocentric the fact that it is a dot-com hold.; __UNKNOWN__