the portal is a kind of a asana if the sander is a henroost.
sent1: if that the sander is not a kind of a asana and is not uncomplimentary does not hold the portal is not a henroost. sent2: if that the portal is not a Pliny and it is not uncomplimentary is wrong then the sander is not a henroost. sent3: the CEO is not a Pliny. sent4: the sander is flattering. sent5: if that the portal is not a henroost and it is not a kind of a Pliny is not correct then the sander is uncomplimentary. sent6: if the fact that the sander is not a Pliny and it is not a henroost hold it is a kind of a asana. sent7: the phlogopite is a henroost. sent8: if the sander does not spud and is uncomplimentary the fact that it does not jacket Buteo is incorrect. sent9: the fact that the sander is a asana hold if the portal is a kind of a henroost. sent10: the sander is a Pliny. sent11: the portal is a kind of a Neoceratodus. sent12: the sander is a absconder. sent13: the portal is a henroost if it is not uncomplimentary and is a asana. sent14: the Pelham is not a asana and it is not legless. sent15: if the portal is a henroost then the sander is a kind of a Pliny. sent16: if that the portal is not uncomplimentary and it is not a kind of a Pliny is incorrect then the sander is a asana. sent17: the topsail is not a Micawber and it is not a henroost. sent18: if the sander is not uncomplimentary and it is not migrational it does implant. sent19: the fact that if the sander is not a asana but it is the henroost the sander is a Pliny is not wrong. sent20: the flyweight is a kind of a Pliny. sent21: if the Pernod is not a caulk and is not a blend then it is a contempt.
void -> assump1: Let's assume that that the portal is not a kind of a Pliny and it is not uncomplimentary is not true.; sent2 & assump1 -> int1: the sander is not a henroost.; void -> assump2: Let's assume that the sander is a henroost.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the portal is not a Pliny and is not uncomplimentary.;
$hypothesis$ = the portal is a kind of a asana if the sander is a henroost. ; $context$ = sent1: if that the sander is not a kind of a asana and is not uncomplimentary does not hold the portal is not a henroost. sent2: if that the portal is not a Pliny and it is not uncomplimentary is wrong then the sander is not a henroost. sent3: the CEO is not a Pliny. sent4: the sander is flattering. sent5: if that the portal is not a henroost and it is not a kind of a Pliny is not correct then the sander is uncomplimentary. sent6: if the fact that the sander is not a Pliny and it is not a henroost hold it is a kind of a asana. sent7: the phlogopite is a henroost. sent8: if the sander does not spud and is uncomplimentary the fact that it does not jacket Buteo is incorrect. sent9: the fact that the sander is a asana hold if the portal is a kind of a henroost. sent10: the sander is a Pliny. sent11: the portal is a kind of a Neoceratodus. sent12: the sander is a absconder. sent13: the portal is a henroost if it is not uncomplimentary and is a asana. sent14: the Pelham is not a asana and it is not legless. sent15: if the portal is a henroost then the sander is a kind of a Pliny. sent16: if that the portal is not uncomplimentary and it is not a kind of a Pliny is incorrect then the sander is a asana. sent17: the topsail is not a Micawber and it is not a henroost. sent18: if the sander is not uncomplimentary and it is not migrational it does implant. sent19: the fact that if the sander is not a asana but it is the henroost the sander is a Pliny is not wrong. sent20: the flyweight is a kind of a Pliny. sent21: if the Pernod is not a caulk and is not a blend then it is a contempt. ; $proof$ = 
void -> assump1: Let's assume that that the portal is not a kind of a Pliny and it is not uncomplimentary is not true.; sent2 & assump1 -> int1: the sander is not a henroost.; void -> assump2: Let's assume that the sander is a henroost.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the portal is not a Pliny and is not uncomplimentary.; __UNKNOWN__