there is something such that if it does knit handful it is not a ambiversion or it does not trivialize invalidism or both.
sent1: something is an albumin and it knits deliverable if the fact that it does not knit handful is correct. sent2: something is not a kind of a ambiversion if it knits deliverable and it does knit handful. sent3: if the conveyance is not a visa but a penitent the shears does knit deliverable. sent4: everything does not visa and it is a penitent.
sent4 -> int1: the conveyance is not a kind of a visa but it is a penitent.; int1 & sent3 -> int2: the shears does knit deliverable.; void -> assump1: Let's assume that the shears does knit handful.; int2 & assump1 -> int3: the shears knits deliverable and does knit handful.; sent2 -> int4: the shears is not a kind of a ambiversion if it knits deliverable and knits handful.; int3 & int4 -> int5: the shears is not a ambiversion.; int5 -> int6: the shears is not a ambiversion and/or does not trivialize invalidism.; [assump1] & int6 -> int7: the shears is not a ambiversion and/or it does not trivialize invalidism if it does knit handful.; int7 -> hypothesis;
the shears is an albumin.
sent1 -> int8: if the shears does not knit handful it is an albumin that knits deliverable.;
$hypothesis$ = there is something such that if it does knit handful it is not a ambiversion or it does not trivialize invalidism or both. ; $context$ = sent1: something is an albumin and it knits deliverable if the fact that it does not knit handful is correct. sent2: something is not a kind of a ambiversion if it knits deliverable and it does knit handful. sent3: if the conveyance is not a visa but a penitent the shears does knit deliverable. sent4: everything does not visa and it is a penitent. ; $proof$ = 
sent4 -> int1: the conveyance is not a kind of a visa but it is a penitent.; int1 & sent3 -> int2: the shears does knit deliverable.; void -> assump1: Let's assume that the shears does knit handful.; int2 & assump1 -> int3: the shears knits deliverable and does knit handful.; sent2 -> int4: the shears is not a kind of a ambiversion if it knits deliverable and knits handful.; int3 & int4 -> int5: the shears is not a ambiversion.; int5 -> int6: the shears is not a ambiversion and/or does not trivialize invalidism.; [assump1] & int6 -> int7: the shears is not a ambiversion and/or it does not trivialize invalidism if it does knit handful.; int7 -> hypothesis; __PROVED__