the sharp gesticulates tragacanth.
sent1: that the davallia is a vinegarroon hold. sent2: the Tutsi does not commiserate if the davallia does not souse. sent3: the fact that the sharp does not gesticulate tragacanth hold if that the filing is not a kind of a bacchanal is not wrong. sent4: that the davallia is not a smart but it is a vinegarroon is wrong if there is something such that it is not a kind of a suburbia. sent5: the davallia is repeatable. sent6: if the filing is not a metropolitan then that the sharp does not gesticulate tragacanth hold. sent7: something is not a kind of a suburbia. sent8: either the filing is not a bacchanal or it is non-metropolitan or both if the Tutsi does not commiserate. sent9: if that something is not a souse and does commiserate is incorrect it gesticulates tragacanth. sent10: the ash is a kind of a bacchanal. sent11: something is not a kind of a smart and is a vinegarroon if it is a kind of a souse.
sent11 -> int1: the davallia is not a smart but it is a kind of a vinegarroon if it souses.; void -> assump1: Let's assume that the davallia is a souse.; int1 & assump1 -> int2: the davallia is not a smart but it is a vinegarroon.; sent7 & sent4 -> int3: that the davallia is non-smart thing that is a kind of a vinegarroon is wrong.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the davallia is not a souse.; int5 & sent2 -> int6: the Tutsi does not commiserate.; int6 & sent8 -> int7: the filing is not a kind of a bacchanal and/or it is not a metropolitan.; int7 & sent3 & sent6 -> hypothesis;
the sharp does gesticulate tragacanth.
sent9 -> int8: the sharp gesticulates tragacanth if the fact that it is not a kind of a souse and commiserates is wrong.;
$hypothesis$ = the sharp gesticulates tragacanth. ; $context$ = sent1: that the davallia is a vinegarroon hold. sent2: the Tutsi does not commiserate if the davallia does not souse. sent3: the fact that the sharp does not gesticulate tragacanth hold if that the filing is not a kind of a bacchanal is not wrong. sent4: that the davallia is not a smart but it is a vinegarroon is wrong if there is something such that it is not a kind of a suburbia. sent5: the davallia is repeatable. sent6: if the filing is not a metropolitan then that the sharp does not gesticulate tragacanth hold. sent7: something is not a kind of a suburbia. sent8: either the filing is not a bacchanal or it is non-metropolitan or both if the Tutsi does not commiserate. sent9: if that something is not a souse and does commiserate is incorrect it gesticulates tragacanth. sent10: the ash is a kind of a bacchanal. sent11: something is not a kind of a smart and is a vinegarroon if it is a kind of a souse. ; $proof$ = 
sent11 -> int1: the davallia is not a smart but it is a kind of a vinegarroon if it souses.; void -> assump1: Let's assume that the davallia is a souse.; int1 & assump1 -> int2: the davallia is not a smart but it is a vinegarroon.; sent7 & sent4 -> int3: that the davallia is non-smart thing that is a kind of a vinegarroon is wrong.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the davallia is not a souse.; int5 & sent2 -> int6: the Tutsi does not commiserate.; int6 & sent8 -> int7: the filing is not a kind of a bacchanal and/or it is not a metropolitan.; int7 & sent3 & sent6 -> hypothesis; __DISPROVED__