the lymph is a kind of a tough.
sent1: if there is something such that that it is a kind of discourteous thing that is not a headline does not hold then the lymph is a headline. sent2: if that there is something such that that it is not a lapdog hold hold then the fact that the flanker is unfaithful but it is not unsensational does not hold. sent3: if the lymph is not tough then it is not a headline and it is cheliceral. sent4: that the lumbermill does discard cefotaxime and is an optimization is wrong if the pin is not a candyfloss. sent5: there exists something such that the fact that it is not courteous and does not headline does not hold. sent6: if the buddleia is acetic then it comes and is not a kind of a sop. sent7: the tofu is not courteous and exacerbates Murdoch. sent8: if the pin does drain frostbite it is counterterror and it is not a kind of a candyfloss. sent9: if the buddleia does come the herrerasaur is a kind of a tough. sent10: that the lymph is not tough is right if the herrerasaur is courteous and it is a kind of a tough. sent11: if that something does discard cefotaxime and it is an optimization is false it is not a kind of a lapdog. sent12: if something is a tough but not unsensational then it is not cheliceral. sent13: the fact that the pin drains frostbite is right. sent14: if something is a prayer then it is acetic.
void -> assump1: Let's assume that the lymph is not a tough.; sent3 & assump1 -> int1: the lymph is not a headline but it is cheliceral.; int1 -> int2: the lymph is not a kind of a headline.; sent5 & sent1 -> int3: the lymph headlines.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> hypothesis;
that the fungus is non-cheliceral is true.
sent12 -> int5: if the fungus is a kind of a tough but it is not unsensational it is not cheliceral.;
$hypothesis$ = the lymph is a kind of a tough. ; $context$ = sent1: if there is something such that that it is a kind of discourteous thing that is not a headline does not hold then the lymph is a headline. sent2: if that there is something such that that it is not a lapdog hold hold then the fact that the flanker is unfaithful but it is not unsensational does not hold. sent3: if the lymph is not tough then it is not a headline and it is cheliceral. sent4: that the lumbermill does discard cefotaxime and is an optimization is wrong if the pin is not a candyfloss. sent5: there exists something such that the fact that it is not courteous and does not headline does not hold. sent6: if the buddleia is acetic then it comes and is not a kind of a sop. sent7: the tofu is not courteous and exacerbates Murdoch. sent8: if the pin does drain frostbite it is counterterror and it is not a kind of a candyfloss. sent9: if the buddleia does come the herrerasaur is a kind of a tough. sent10: that the lymph is not tough is right if the herrerasaur is courteous and it is a kind of a tough. sent11: if that something does discard cefotaxime and it is an optimization is false it is not a kind of a lapdog. sent12: if something is a tough but not unsensational then it is not cheliceral. sent13: the fact that the pin drains frostbite is right. sent14: if something is a prayer then it is acetic. ; $proof$ = 
void -> assump1: Let's assume that the lymph is not a tough.; sent3 & assump1 -> int1: the lymph is not a headline but it is cheliceral.; int1 -> int2: the lymph is not a kind of a headline.; sent5 & sent1 -> int3: the lymph headlines.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> hypothesis; __PROVED__