the freshman is not veinal.
sent1: if the freshman is veinal it is a slopshop. sent2: if something steepens it is not a slopshop. sent3: the haslet does steepen and is a garden. sent4: the nopal does tighten nickel. sent5: the freshman is not iconic. sent6: if that the nopal is not a canine is not incorrect the haslet steepens. sent7: if the nopal is not a Warji the haslet steepens. sent8: if the freshman is a slopshop it is iconic. sent9: either the nopal is not a Warji or it is not a kind of a canine or both if it tightens nickel.
void -> assump1: Let's assume that the fact that the freshman is veinal hold.; sent1 & assump1 -> int1: the freshman is a kind of a slopshop.; int1 & sent8 -> int2: the freshman is iconic.; int2 & sent5 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the dining-room is a slopshop.
sent9 & sent4 -> int4: the nopal is not a Warji and/or is not canine.; int4 & sent7 & sent6 -> int5: the haslet does steepen.; int5 -> int6: something does steepen.;
$hypothesis$ = the freshman is not veinal. ; $context$ = sent1: if the freshman is veinal it is a slopshop. sent2: if something steepens it is not a slopshop. sent3: the haslet does steepen and is a garden. sent4: the nopal does tighten nickel. sent5: the freshman is not iconic. sent6: if that the nopal is not a canine is not incorrect the haslet steepens. sent7: if the nopal is not a Warji the haslet steepens. sent8: if the freshman is a slopshop it is iconic. sent9: either the nopal is not a Warji or it is not a kind of a canine or both if it tightens nickel. ; $proof$ = 
void -> assump1: Let's assume that the fact that the freshman is veinal hold.; sent1 & assump1 -> int1: the freshman is a kind of a slopshop.; int1 & sent8 -> int2: the freshman is iconic.; int2 & sent5 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __PROVED__