the Glaswegian is a kind of an alternation if the silva is unexportable.
sent1: if the silva is unexportable that the Glaswegian is not a Mennonite and is albuminuric is wrong. sent2: the fact that the Glaswegian salts radiology and is a kind of a beta-carotene does not hold if there exists something such that it is not a kind of a stockholder. sent3: if the merino is not a kind of an affined the exegete is not a stockholder. sent4: if the fact that the silva is a kind of a Mennonite is not false then the Canaanite is a kind of a Mennonite. sent5: something is a kind of an alternation if it is albuminuric. sent6: the fact that the Glaswegian is not a Mennonite but it is albuminuric is not correct. sent7: if the Glaswegian is an alternation that the silva is not a Mennonite and not unexportable is not true. sent8: if that something salts radiology and it is an alternation does not hold it is not a kind of an alternation. sent9: if the silva is a Mennonite then that the Glaswegian is unexportable is not false. sent10: if the merino is not a austenite then the exegete is not a stockholder. sent11: if the fact that something does salt radiology and is a beta-carotene is incorrect that it does not salt radiology is correct. sent12: the fact that the Glaswegian is a kind of an alternation is not incorrect if the fact that it is albuminuric is not false. sent13: the merino is not an affined and/or it is not a austenite. sent14: that the Glaswegian is not a kind of a Mennonite and it is not albuminuric is incorrect if the silva is unexportable. sent15: that the silva salts radiology and it is an alternation is incorrect if there exists something such that it does not salts radiology. sent16: if the Glaswegian is unexportable that the silva is not an alternation and is not a kind of a Mennonite is not correct. sent17: if that something is not a Mennonite and is not albuminuric is false it is an alternation.
void -> assump1: Let's assume that the silva is unexportable.; sent14 & assump1 -> int1: that the Glaswegian is both not a Mennonite and not albuminuric does not hold.; sent17 -> int2: the fact that the Glaswegian is an alternation hold if the fact that it is not a Mennonite and not albuminuric is wrong.; int1 & int2 -> int3: the Glaswegian is an alternation.; [assump1] & int3 -> hypothesis;
the Canaanite is a Mennonite.
sent8 -> int4: the silva is not a kind of an alternation if the fact that it salts radiology and it is an alternation is not right.; sent11 -> int5: if that the Glaswegian salts radiology and is a beta-carotene does not hold it does not salts radiology.; sent13 & sent3 & sent10 -> int6: the exegete is not a stockholder.; int6 -> int7: there exists something such that it is not a kind of a stockholder.; int7 & sent2 -> int8: that the Glaswegian does salt radiology and is a beta-carotene is false.; int5 & int8 -> int9: that the Glaswegian does not salt radiology hold.; int9 -> int10: there exists something such that it does not salt radiology.; int10 & sent15 -> int11: that the silva does salt radiology and is a kind of an alternation is not right.; int4 & int11 -> int12: the silva is not an alternation.;
$hypothesis$ = the Glaswegian is a kind of an alternation if the silva is unexportable. ; $context$ = sent1: if the silva is unexportable that the Glaswegian is not a Mennonite and is albuminuric is wrong. sent2: the fact that the Glaswegian salts radiology and is a kind of a beta-carotene does not hold if there exists something such that it is not a kind of a stockholder. sent3: if the merino is not a kind of an affined the exegete is not a stockholder. sent4: if the fact that the silva is a kind of a Mennonite is not false then the Canaanite is a kind of a Mennonite. sent5: something is a kind of an alternation if it is albuminuric. sent6: the fact that the Glaswegian is not a Mennonite but it is albuminuric is not correct. sent7: if the Glaswegian is an alternation that the silva is not a Mennonite and not unexportable is not true. sent8: if that something salts radiology and it is an alternation does not hold it is not a kind of an alternation. sent9: if the silva is a Mennonite then that the Glaswegian is unexportable is not false. sent10: if the merino is not a austenite then the exegete is not a stockholder. sent11: if the fact that something does salt radiology and is a beta-carotene is incorrect that it does not salt radiology is correct. sent12: the fact that the Glaswegian is a kind of an alternation is not incorrect if the fact that it is albuminuric is not false. sent13: the merino is not an affined and/or it is not a austenite. sent14: that the Glaswegian is not a kind of a Mennonite and it is not albuminuric is incorrect if the silva is unexportable. sent15: that the silva salts radiology and it is an alternation is incorrect if there exists something such that it does not salts radiology. sent16: if the Glaswegian is unexportable that the silva is not an alternation and is not a kind of a Mennonite is not correct. sent17: if that something is not a Mennonite and is not albuminuric is false it is an alternation. ; $proof$ = 
void -> assump1: Let's assume that the silva is unexportable.; sent14 & assump1 -> int1: that the Glaswegian is both not a Mennonite and not albuminuric does not hold.; sent17 -> int2: the fact that the Glaswegian is an alternation hold if the fact that it is not a Mennonite and not albuminuric is wrong.; int1 & int2 -> int3: the Glaswegian is an alternation.; [assump1] & int3 -> hypothesis; __PROVED__