the nuthatch is not a downgrade.
sent1: the gleet steadies. sent2: the nuthatch does cover and volatilizes. sent3: if the coloring is not a butacaine that the doze is a TNF and it is a butacaine is incorrect. sent4: the gleet is not steadying if the doze is not a TNF. sent5: the gleet does not steady if that the doze is both a TNF and a butacaine is wrong. sent6: if the nuthatch covers and it is a downgrade the coloring is not a butacaine.
sent2 -> int1: the nuthatch covers.; void -> assump1: Let's assume that the nuthatch does downgrade.; int1 & assump1 -> int2: the nuthatch is a covering and it is a downgrade.; int2 & sent6 -> int3: the fact that the coloring is not a butacaine hold.; int3 & sent3 -> int4: that the doze is a TNF and it is a butacaine does not hold.; int4 & sent5 -> int5: the gleet does not steady.; int5 & sent1 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis;
$hypothesis$ = the nuthatch is not a downgrade. ; $context$ = sent1: the gleet steadies. sent2: the nuthatch does cover and volatilizes. sent3: if the coloring is not a butacaine that the doze is a TNF and it is a butacaine is incorrect. sent4: the gleet is not steadying if the doze is not a TNF. sent5: the gleet does not steady if that the doze is both a TNF and a butacaine is wrong. sent6: if the nuthatch covers and it is a downgrade the coloring is not a butacaine. ; $proof$ = 
sent2 -> int1: the nuthatch covers.; void -> assump1: Let's assume that the nuthatch does downgrade.; int1 & assump1 -> int2: the nuthatch is a covering and it is a downgrade.; int2 & sent6 -> int3: the fact that the coloring is not a butacaine hold.; int3 & sent3 -> int4: that the doze is a TNF and it is a butacaine does not hold.; int4 & sent5 -> int5: the gleet does not steady.; int5 & sent1 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis; __PROVED__