the triplet is a sawdust.
sent1: if the vernix maps the Hero is aeromedical. sent2: if something is a kohl but it is not a sawdust then it is bryophytic. sent3: that the vernix is not unregretful and it is not aeromedical does not hold. sent4: that the Hero does not pity valdecoxib is correct if it is not a mapping and it is not unreasonable. sent5: the fact that the Dipper is not pictographic is not incorrect if that the Hero is not a mapping and it is not unreasonable is not true. sent6: the triplet is a kohl but it is not a sawdust if the Armenian is a sawdust. sent7: the Hero does not pity valdecoxib if it does not map and it is unreasonable. sent8: the Hero pities valdecoxib if the vernix is aeromedical. sent9: the fact that the triplet is unreasonable hold. sent10: the Hero does pity valdecoxib if that the vernix is not unregretful and it is not aeromedical does not hold. sent11: the fact that something does not pity valdecoxib and is not pictographic is false if it is bryophytic. sent12: that the Armenian is both not a sawdust and not bryophytic does not hold. sent13: the footplate is not bryophytic if the fact that the Dipper is not pictographic is right. sent14: the Armenian is a sawdust if the footplate is not bryophytic.
void -> assump1: Let's assume that the Hero does not map and it is not unreasonable.; sent4 & assump1 -> int1: the fact that the Hero does not pity valdecoxib is not wrong.; sent10 & sent3 -> int2: that the Hero does pity valdecoxib is not wrong.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the Hero does not map and is not unreasonable does not hold.; int4 & sent5 -> int5: the Dipper is not pictographic.; int5 & sent13 -> int6: the footplate is not bryophytic.; int6 & sent14 -> int7: the Armenian is a sawdust.; int7 & sent6 -> int8: the triplet is a kohl but it is not a sawdust.; int8 -> hypothesis;
the Dipper is not aeromedical.
sent11 -> int9: if the Hero is bryophytic then that it does not pity valdecoxib and it is not pictographic is not right.; sent2 -> int10: the Hero is bryophytic if it is a kohl and is not a kind of a sawdust.;
$hypothesis$ = the triplet is a sawdust. ; $context$ = sent1: if the vernix maps the Hero is aeromedical. sent2: if something is a kohl but it is not a sawdust then it is bryophytic. sent3: that the vernix is not unregretful and it is not aeromedical does not hold. sent4: that the Hero does not pity valdecoxib is correct if it is not a mapping and it is not unreasonable. sent5: the fact that the Dipper is not pictographic is not incorrect if that the Hero is not a mapping and it is not unreasonable is not true. sent6: the triplet is a kohl but it is not a sawdust if the Armenian is a sawdust. sent7: the Hero does not pity valdecoxib if it does not map and it is unreasonable. sent8: the Hero pities valdecoxib if the vernix is aeromedical. sent9: the fact that the triplet is unreasonable hold. sent10: the Hero does pity valdecoxib if that the vernix is not unregretful and it is not aeromedical does not hold. sent11: the fact that something does not pity valdecoxib and is not pictographic is false if it is bryophytic. sent12: that the Armenian is both not a sawdust and not bryophytic does not hold. sent13: the footplate is not bryophytic if the fact that the Dipper is not pictographic is right. sent14: the Armenian is a sawdust if the footplate is not bryophytic. ; $proof$ = 
void -> assump1: Let's assume that the Hero does not map and it is not unreasonable.; sent4 & assump1 -> int1: the fact that the Hero does not pity valdecoxib is not wrong.; sent10 & sent3 -> int2: that the Hero does pity valdecoxib is not wrong.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the Hero does not map and is not unreasonable does not hold.; int4 & sent5 -> int5: the Dipper is not pictographic.; int5 & sent13 -> int6: the footplate is not bryophytic.; int6 & sent14 -> int7: the Armenian is a sawdust.; int7 & sent6 -> int8: the triplet is a kohl but it is not a sawdust.; int8 -> hypothesis; __DISPROVED__