there is something such that if it is a kind of a Saskatchewan it is a kind of a variance.
sent1: the dimetrodon does magnetize spanker if it is not a thumbstall. sent2: the comer is not a kind of a felucca. sent3: that the fact that the wristlet does not magnetize sericulturist and does promise does not hold is correct if the comer is not a promise. sent4: something is a kind of a Saskatchewan if it is a Saskatchewan or not an aquatic or both. sent5: the wristlet is a kind of a lymphoma if it is not non-semi-tuberous. sent6: the wristlet does not magnetize sericulturist and is not a kind of a promising if the fact that it is not a kind of a lymphoma is right. sent7: the fact that the wristlet magnetizes sericulturist and is not a promising is not correct. sent8: if the comer is a Saskatchewan that is a kind of an aquatic that it does not promise hold. sent9: the comer is not a variance if there exists something such that it is a lymphoma. sent10: the wristlet is not a lymphoma. sent11: something is a Saskatchewan and/or not aquatic if it is a promising. sent12: that the supremacist is a kind of a promising hold if the comer is not a promising and does not magnetize sericulturist. sent13: that the wristlet does magnetize sericulturist but it is not a promising is not true if the comer is not a promising. sent14: the adventurer is a promising. sent15: the comer is a variance if it is not a kind of an aquatic. sent16: the fact that the wristlet does not magnetize sericulturist and is a kind of a promising is not true. sent17: if the wristlet is not a kind of a variance the fact that the comer does not magnetize sericulturist and is not a kind of a variance is false. sent18: if the comer is not a promising that the wristlet does not magnetize sericulturist and it is not a promising is wrong. sent19: the wristlet is not a kind of a rigging. sent20: if the wristlet does not promise then the fact that the comer is not a lymphoma and not a promise does not hold.
void -> assump2: Let's assume that the comer is a Saskatchewan.; void -> assump1: Let's assume that the comer is a kind of an aquatic.; assump2 & assump1 -> int1: the comer is a kind of a Saskatchewan and it is a kind of an aquatic.; int1 & sent8 -> int2: that the comer is not a promising is correct.; int2 & sent18 -> int3: that the wristlet does not magnetize sericulturist and is not a promising is not true.; sent6 & sent10 -> int4: the wristlet does not magnetize sericulturist and it is not a promising.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the comer is not an aquatic.; int6 & sent15 -> int7: the comer is a variance.; [assump2] & int7 -> int8: if the comer is a Saskatchewan then it is a kind of a variance.; int8 -> hypothesis;
the supremacist is a Saskatchewan.
sent4 -> int9: if the fact that the supremacist is a Saskatchewan or it is not an aquatic or both hold then it is a kind of a Saskatchewan.; sent11 -> int10: if the supremacist is a kind of a promising then it is a kind of a Saskatchewan or is not an aquatic or both.;
$hypothesis$ = there is something such that if it is a kind of a Saskatchewan it is a kind of a variance. ; $context$ = sent1: the dimetrodon does magnetize spanker if it is not a thumbstall. sent2: the comer is not a kind of a felucca. sent3: that the fact that the wristlet does not magnetize sericulturist and does promise does not hold is correct if the comer is not a promise. sent4: something is a kind of a Saskatchewan if it is a Saskatchewan or not an aquatic or both. sent5: the wristlet is a kind of a lymphoma if it is not non-semi-tuberous. sent6: the wristlet does not magnetize sericulturist and is not a kind of a promising if the fact that it is not a kind of a lymphoma is right. sent7: the fact that the wristlet magnetizes sericulturist and is not a promising is not correct. sent8: if the comer is a Saskatchewan that is a kind of an aquatic that it does not promise hold. sent9: the comer is not a variance if there exists something such that it is a lymphoma. sent10: the wristlet is not a lymphoma. sent11: something is a Saskatchewan and/or not aquatic if it is a promising. sent12: that the supremacist is a kind of a promising hold if the comer is not a promising and does not magnetize sericulturist. sent13: that the wristlet does magnetize sericulturist but it is not a promising is not true if the comer is not a promising. sent14: the adventurer is a promising. sent15: the comer is a variance if it is not a kind of an aquatic. sent16: the fact that the wristlet does not magnetize sericulturist and is a kind of a promising is not true. sent17: if the wristlet is not a kind of a variance the fact that the comer does not magnetize sericulturist and is not a kind of a variance is false. sent18: if the comer is not a promising that the wristlet does not magnetize sericulturist and it is not a promising is wrong. sent19: the wristlet is not a kind of a rigging. sent20: if the wristlet does not promise then the fact that the comer is not a lymphoma and not a promise does not hold. ; $proof$ = 
void -> assump2: Let's assume that the comer is a Saskatchewan.; void -> assump1: Let's assume that the comer is a kind of an aquatic.; assump2 & assump1 -> int1: the comer is a kind of a Saskatchewan and it is a kind of an aquatic.; int1 & sent8 -> int2: that the comer is not a promising is correct.; int2 & sent18 -> int3: that the wristlet does not magnetize sericulturist and is not a promising is not true.; sent6 & sent10 -> int4: the wristlet does not magnetize sericulturist and it is not a promising.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the comer is not an aquatic.; int6 & sent15 -> int7: the comer is a variance.; [assump2] & int7 -> int8: if the comer is a Saskatchewan then it is a kind of a variance.; int8 -> hypothesis; __PROVED__