something is not a kind of a Arabian and/or is not a limewater.
sent1: the aviatrix is a Arabian and/or not a limewater. sent2: there exists something such that the fact that it is not unfamiliar and it hoofs does not hold. sent3: if that the liege does not hog Cirsium but it is a hoofing does not hold it hog Cirsium. sent4: something is a limewater and/or it is non-Arabian if it does not hog Cirsium. sent5: if the colt is not an orgasm but it is acarpelous then the liege does not hog Cirsium. sent6: the aviatrix is not a kind of a Arabian and/or it is a kind of a hoofing. sent7: the aviatrix is not a kind of a Arabian and/or it does not hog Cirsium if it is not acarpelous. sent8: if there is something such that that it is not an orgasm and it is acarpelous is not true then the aviatrix is not a familiar. sent9: there is something such that that it is a kind of an orgasm and it is acarpelous is false. sent10: something is not a kind of an orgasm and/or it is a kind of a hoofing if that it is not a limewater hold. sent11: the colt is a kind of a limewater or it is not familiar or both if it is not acarpelous. sent12: that if the fact that there is something such that that it is not an orgasm is wrong hold then the fact that the aviatrix is not a kind of a familiar is right is right. sent13: if something is not a familiar it either is not a Arabian or is a limewater or both. sent14: something is not an orgasm but it is acarpelous. sent15: that the liege does not hog Cirsium but it does hoof is false. sent16: the colt is not an orgasm. sent17: the liege does not hog Cirsium if the colt is an orgasm and it is acarpelous. sent18: the liege is a kind of a hoofing if the fact that it is not a hoofing but acarpelous is not right. sent19: the aviatrix is not a kind of a Arabian or is a limewater or both. sent20: something either is a Arabian or is not a limewater or both if it is not familiar.
void -> assump1: Let's assume that the colt is not an orgasm but it is acarpelous.; sent5 & assump1 -> int1: that the liege does not hog Cirsium is correct.; sent3 & sent15 -> int2: the liege hogs Cirsium.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the colt is not an orgasm but acarpelous does not hold.; int4 -> int5: there is something such that the fact that it is not a kind of an orgasm and it is acarpelous is not correct.; int5 & sent8 -> int6: the aviatrix is not a familiar.;
$hypothesis$ = something is not a kind of a Arabian and/or is not a limewater. ; $context$ = sent1: the aviatrix is a Arabian and/or not a limewater. sent2: there exists something such that the fact that it is not unfamiliar and it hoofs does not hold. sent3: if that the liege does not hog Cirsium but it is a hoofing does not hold it hog Cirsium. sent4: something is a limewater and/or it is non-Arabian if it does not hog Cirsium. sent5: if the colt is not an orgasm but it is acarpelous then the liege does not hog Cirsium. sent6: the aviatrix is not a kind of a Arabian and/or it is a kind of a hoofing. sent7: the aviatrix is not a kind of a Arabian and/or it does not hog Cirsium if it is not acarpelous. sent8: if there is something such that that it is not an orgasm and it is acarpelous is not true then the aviatrix is not a familiar. sent9: there is something such that that it is a kind of an orgasm and it is acarpelous is false. sent10: something is not a kind of an orgasm and/or it is a kind of a hoofing if that it is not a limewater hold. sent11: the colt is a kind of a limewater or it is not familiar or both if it is not acarpelous. sent12: that if the fact that there is something such that that it is not an orgasm is wrong hold then the fact that the aviatrix is not a kind of a familiar is right is right. sent13: if something is not a familiar it either is not a Arabian or is a limewater or both. sent14: something is not an orgasm but it is acarpelous. sent15: that the liege does not hog Cirsium but it does hoof is false. sent16: the colt is not an orgasm. sent17: the liege does not hog Cirsium if the colt is an orgasm and it is acarpelous. sent18: the liege is a kind of a hoofing if the fact that it is not a hoofing but acarpelous is not right. sent19: the aviatrix is not a kind of a Arabian or is a limewater or both. sent20: something either is a Arabian or is not a limewater or both if it is not familiar. ; $proof$ = 
void -> assump1: Let's assume that the colt is not an orgasm but it is acarpelous.; sent5 & assump1 -> int1: that the liege does not hog Cirsium is correct.; sent3 & sent15 -> int2: the liege hogs Cirsium.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the colt is not an orgasm but acarpelous does not hold.; int4 -> int5: there is something such that the fact that it is not a kind of an orgasm and it is acarpelous is not correct.; int5 & sent8 -> int6: the aviatrix is not a familiar.; __UNKNOWN__