the composite is not a skateboard but it is uninformative if the landowner does not lecture strengthener.
sent1: that the hairdresser is a kind of asphaltic thing that is not endergonic is incorrect. sent2: the composite does skateboard and is uninformative if the landowner does not lecture strengthener. sent3: the epistle is not foreleg. sent4: the fact that the hairdresser is not uninformative and is asphaltic is not true. sent5: the composite is a kind of a skateboard and it is uninformative. sent6: if there is something such that it is asphaltic then the landowner lectures strengthener. sent7: that the hairdresser is not asphaltic is not incorrect. sent8: there is something such that the fact that it is asphaltic and not endergonic is not right. sent9: the hairdresser parses if it is asphaltic and it is not endergonic. sent10: the composite is uninformative. sent11: if a asphaltic thing is not endergonic it parses. sent12: the landowner does lecture strengthener if there is something such that that it is non-asphaltic thing that is not endergonic does not hold. sent13: the hairdresser is not a Pilate. sent14: the composite does skateboard and it is uninformative if there exists something such that it parses. sent15: the composite is uninformative if something does parse. sent16: if there exists something such that it is endergonic the hairdresser is not asphaltic but it skateboards. sent17: if that something is a kind of non-asphaltic thing that is not endergonic is not incorrect it does parse. sent18: if the landowner does not lecture strengthener the composite is uninformative. sent19: the hairdresser does lecture strengthener.
void -> assump1: Let's assume that that the hairdresser is not asphaltic and it is not endergonic is not true.; assump1 -> int1: there is something such that that it is a kind of non-asphaltic thing that is not endergonic is wrong.; int1 & sent12 -> int2: the landowner lectures strengthener.; void -> assump2: Let's assume that the landowner does not lecture strengthener.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the hairdresser is a kind of non-asphaltic thing that is not endergonic.; sent17 -> int5: the hairdresser does parse if it is both not asphaltic and not endergonic.; int4 & int5 -> int6: the hairdresser does parse.; int6 -> int7: there exists something such that it does parse.;
$hypothesis$ = the composite is not a skateboard but it is uninformative if the landowner does not lecture strengthener. ; $context$ = sent1: that the hairdresser is a kind of asphaltic thing that is not endergonic is incorrect. sent2: the composite does skateboard and is uninformative if the landowner does not lecture strengthener. sent3: the epistle is not foreleg. sent4: the fact that the hairdresser is not uninformative and is asphaltic is not true. sent5: the composite is a kind of a skateboard and it is uninformative. sent6: if there is something such that it is asphaltic then the landowner lectures strengthener. sent7: that the hairdresser is not asphaltic is not incorrect. sent8: there is something such that the fact that it is asphaltic and not endergonic is not right. sent9: the hairdresser parses if it is asphaltic and it is not endergonic. sent10: the composite is uninformative. sent11: if a asphaltic thing is not endergonic it parses. sent12: the landowner does lecture strengthener if there is something such that that it is non-asphaltic thing that is not endergonic does not hold. sent13: the hairdresser is not a Pilate. sent14: the composite does skateboard and it is uninformative if there exists something such that it parses. sent15: the composite is uninformative if something does parse. sent16: if there exists something such that it is endergonic the hairdresser is not asphaltic but it skateboards. sent17: if that something is a kind of non-asphaltic thing that is not endergonic is not incorrect it does parse. sent18: if the landowner does not lecture strengthener the composite is uninformative. sent19: the hairdresser does lecture strengthener. ; $proof$ = 
void -> assump1: Let's assume that that the hairdresser is not asphaltic and it is not endergonic is not true.; assump1 -> int1: there is something such that that it is a kind of non-asphaltic thing that is not endergonic is wrong.; int1 & sent12 -> int2: the landowner lectures strengthener.; void -> assump2: Let's assume that the landowner does not lecture strengthener.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the hairdresser is a kind of non-asphaltic thing that is not endergonic.; sent17 -> int5: the hairdresser does parse if it is both not asphaltic and not endergonic.; int4 & int5 -> int6: the hairdresser does parse.; int6 -> int7: there exists something such that it does parse.; __UNKNOWN__