the circus does not dilate linden and does not heal aphelion.
sent1: the fact that the circus does shield is right. sent2: the portfolio is a kind of a shield that is servomechanical. sent3: something is a brigandine if it is competitive. sent4: the circus does not heal aphelion. sent5: if something is a brigandine the fact that it does not dilate linden and does not heal aphelion does not hold. sent6: the fact that something is a kind of competitive thing that is a spirometer does not hold if it is not a dorsiflexion. sent7: the classroom is a brigandine. sent8: if that something is competitive and a spirometer is not true it is not competitive. sent9: the fact that the fact that the circus does not dilate linden and heals aphelion is right does not hold. sent10: if something is a dorsiflexion it is a spirometer. sent11: the portfolio is not a kind of a dastardliness. sent12: if the portfolio is not a dastardliness and is a shield then the disinflation is not a kind of a spirometer. sent13: if the K is a brigandine the disinflation is a dorsiflexion. sent14: the K is competitive if the fact that the fact that the circus does not dilate linden and it does not heal aphelion does not hold is correct. sent15: the utensil is a brigandine. sent16: if the circus heals aphelion then the K is competitive.
void -> assump1: Let's assume that the fact that the circus does not dilate linden and does not heal aphelion is not correct.; sent14 & assump1 -> int1: the K is competitive.; sent3 -> int2: if the K is competitive then it is a kind of a brigandine.; int1 & int2 -> int3: the K is a brigandine.; int3 & sent13 -> int4: the disinflation is a dorsiflexion.; sent10 -> int5: the disinflation is a spirometer if it is a dorsiflexion.; int4 & int5 -> int6: the disinflation is a spirometer.; sent2 -> int7: the portfolio does shield.; sent11 & int7 -> int8: the portfolio is not a dastardliness but it is a shield.; sent12 & int8 -> int9: the disinflation is not a spirometer.; int6 & int9 -> int10: this is contradiction.; [assump1] & int10 -> hypothesis;
that the circus does not dilate linden and it does not heal aphelion is not right.
sent5 -> int11: if the circus is a brigandine then that it does not dilate linden and does not heal aphelion is not right.; sent8 -> int12: the circus is not competitive if the fact that it is both competitive and a spirometer does not hold.; sent6 -> int13: if the K is not a dorsiflexion then that it is competitive a spirometer does not hold.;
$hypothesis$ = the circus does not dilate linden and does not heal aphelion. ; $context$ = sent1: the fact that the circus does shield is right. sent2: the portfolio is a kind of a shield that is servomechanical. sent3: something is a brigandine if it is competitive. sent4: the circus does not heal aphelion. sent5: if something is a brigandine the fact that it does not dilate linden and does not heal aphelion does not hold. sent6: the fact that something is a kind of competitive thing that is a spirometer does not hold if it is not a dorsiflexion. sent7: the classroom is a brigandine. sent8: if that something is competitive and a spirometer is not true it is not competitive. sent9: the fact that the fact that the circus does not dilate linden and heals aphelion is right does not hold. sent10: if something is a dorsiflexion it is a spirometer. sent11: the portfolio is not a kind of a dastardliness. sent12: if the portfolio is not a dastardliness and is a shield then the disinflation is not a kind of a spirometer. sent13: if the K is a brigandine the disinflation is a dorsiflexion. sent14: the K is competitive if the fact that the fact that the circus does not dilate linden and it does not heal aphelion does not hold is correct. sent15: the utensil is a brigandine. sent16: if the circus heals aphelion then the K is competitive. ; $proof$ = 
void -> assump1: Let's assume that the fact that the circus does not dilate linden and does not heal aphelion is not correct.; sent14 & assump1 -> int1: the K is competitive.; sent3 -> int2: if the K is competitive then it is a kind of a brigandine.; int1 & int2 -> int3: the K is a brigandine.; int3 & sent13 -> int4: the disinflation is a dorsiflexion.; sent10 -> int5: the disinflation is a spirometer if it is a dorsiflexion.; int4 & int5 -> int6: the disinflation is a spirometer.; sent2 -> int7: the portfolio does shield.; sent11 & int7 -> int8: the portfolio is not a dastardliness but it is a shield.; sent12 & int8 -> int9: the disinflation is not a spirometer.; int6 & int9 -> int10: this is contradiction.; [assump1] & int10 -> hypothesis; __PROVED__