the switch-hitter is amphoteric.
sent1: if the mackinaw is not a kind of an eyes the fact that the dickeybird is not necrotic and not an eyes does not hold. sent2: if there is something such that the fact that it is not cheap and it is single-lane does not hold then the psychologist is cheap. sent3: the mackinaw preserves strapless. sent4: if something that is an eyes does not preserve strapless it is not amphoteric. sent5: that the dickeybird is necrotic but it does not eye is false if the mackinaw is not an eye. sent6: if the Wellington does not search then the psychologist is not cheap. sent7: if something is not a search it does eye and it does not preserve strapless. sent8: the fact that that the Wellington is a kind of a search hold does not hold if the mackinaw does preserve strapless and eyes. sent9: if that that the mackinaw is a search but not necrotic is false is not false then the switch-hitter does not search. sent10: The strapless preserves mackinaw. sent11: the mackinaw searches. sent12: there exists something such that that it is not cheap and it is single-lane is incorrect. sent13: if the Wellington is not thalloid then it is cheap and single-lane. sent14: the switch-hitter is not non-amphoteric if that the dickeybird is a kind of non-necrotic thing that is not a kind of an eyes is incorrect.
void -> assump1: Let's assume that the fact that the mackinaw is an eyes is not incorrect.; sent3 & assump1 -> int1: the mackinaw preserves strapless and is a kind of an eyes.; int1 & sent8 -> int2: the Wellington is not a search.; int2 & sent6 -> int3: the psychologist is not cheap.; sent12 & sent2 -> int4: the psychologist is cheap.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the mackinaw is not an eyes.; int6 & sent1 -> int7: the fact that the dickeybird is not necrotic and it does not eye does not hold.; int7 & sent14 -> hypothesis;
the switch-hitter is not amphoteric.
sent4 -> int8: if that the switch-hitter is an eyes but it does not preserve strapless is not false then it is not amphoteric.; sent7 -> int9: the switch-hitter is a kind of an eyes and does not preserve strapless if it does not search.;
$hypothesis$ = the switch-hitter is amphoteric. ; $context$ = sent1: if the mackinaw is not a kind of an eyes the fact that the dickeybird is not necrotic and not an eyes does not hold. sent2: if there is something such that the fact that it is not cheap and it is single-lane does not hold then the psychologist is cheap. sent3: the mackinaw preserves strapless. sent4: if something that is an eyes does not preserve strapless it is not amphoteric. sent5: that the dickeybird is necrotic but it does not eye is false if the mackinaw is not an eye. sent6: if the Wellington does not search then the psychologist is not cheap. sent7: if something is not a search it does eye and it does not preserve strapless. sent8: the fact that that the Wellington is a kind of a search hold does not hold if the mackinaw does preserve strapless and eyes. sent9: if that that the mackinaw is a search but not necrotic is false is not false then the switch-hitter does not search. sent10: The strapless preserves mackinaw. sent11: the mackinaw searches. sent12: there exists something such that that it is not cheap and it is single-lane is incorrect. sent13: if the Wellington is not thalloid then it is cheap and single-lane. sent14: the switch-hitter is not non-amphoteric if that the dickeybird is a kind of non-necrotic thing that is not a kind of an eyes is incorrect. ; $proof$ = 
void -> assump1: Let's assume that the fact that the mackinaw is an eyes is not incorrect.; sent3 & assump1 -> int1: the mackinaw preserves strapless and is a kind of an eyes.; int1 & sent8 -> int2: the Wellington is not a search.; int2 & sent6 -> int3: the psychologist is not cheap.; sent12 & sent2 -> int4: the psychologist is cheap.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the mackinaw is not an eyes.; int6 & sent1 -> int7: the fact that the dickeybird is not necrotic and it does not eye does not hold.; int7 & sent14 -> hypothesis; __PROVED__