the scleroprotein does cramp and does crook outline.
sent1: if the afterdamp is not uncreative then the scleroprotein is an aide and/or is not a kind of a cramp. sent2: something is creative and it is a lettercard if it is not a bovine. sent3: if something does not crook understatement that that it is not a gadfly and it is a dramaturgy is true is false. sent4: if the fact that the scleroprotein does not crook outline is right it is a leviathan and it is a kind of a macrencephaly. sent5: if something is an aide or it is not a kind of a cramp or both the fact that the Zairese does not crook outline hold. sent6: the Jainist does not crook outline. sent7: the scleroprotein is a cramp. sent8: if the fact that something is not a gadfly but a dramaturgy is wrong then it is not cleistogamous. sent9: the pinesap does not crook understatement. sent10: if the scleroprotein is a kind of a macrencephaly it is an aide. sent11: that the scleroprotein is not an aide is not incorrect. sent12: the afterdamp is not a bovine if the alumroot is both not bovine and a emolument.
void -> assump1: Let's assume that the scleroprotein does not crook outline.; sent4 & assump1 -> int1: the scleroprotein is a leviathan and it is a macrencephaly.; int1 -> int2: the scleroprotein is a macrencephaly.; int2 & sent10 -> int3: the scleroprotein is an aide.; int3 & sent11 -> int4: this is contradiction.; [assump1] & int4 -> int5: the scleroprotein does crook outline.; int5 & sent7 -> hypothesis;
the fact that the Zairese does not crook outline hold.
sent2 -> int6: the afterdamp is creative and is a lettercard if it is not a bovine.; sent8 -> int7: if the fact that the pinesap is not a gadfly and is a dramaturgy is not true the fact that it is not cleistogamous is right.; sent3 -> int8: that the fact that the pinesap is not a kind of a gadfly and is a dramaturgy is true does not hold if the fact that it does not crook understatement hold.; int8 & sent9 -> int9: that the pinesap is not a gadfly but it is a dramaturgy is not true.; int7 & int9 -> int10: the pinesap is not cleistogamous.; int10 -> int11: there is something such that it is not cleistogamous.;
$hypothesis$ = the scleroprotein does cramp and does crook outline. ; $context$ = sent1: if the afterdamp is not uncreative then the scleroprotein is an aide and/or is not a kind of a cramp. sent2: something is creative and it is a lettercard if it is not a bovine. sent3: if something does not crook understatement that that it is not a gadfly and it is a dramaturgy is true is false. sent4: if the fact that the scleroprotein does not crook outline is right it is a leviathan and it is a kind of a macrencephaly. sent5: if something is an aide or it is not a kind of a cramp or both the fact that the Zairese does not crook outline hold. sent6: the Jainist does not crook outline. sent7: the scleroprotein is a cramp. sent8: if the fact that something is not a gadfly but a dramaturgy is wrong then it is not cleistogamous. sent9: the pinesap does not crook understatement. sent10: if the scleroprotein is a kind of a macrencephaly it is an aide. sent11: that the scleroprotein is not an aide is not incorrect. sent12: the afterdamp is not a bovine if the alumroot is both not bovine and a emolument. ; $proof$ = 
void -> assump1: Let's assume that the scleroprotein does not crook outline.; sent4 & assump1 -> int1: the scleroprotein is a leviathan and it is a macrencephaly.; int1 -> int2: the scleroprotein is a macrencephaly.; int2 & sent10 -> int3: the scleroprotein is an aide.; int3 & sent11 -> int4: this is contradiction.; [assump1] & int4 -> int5: the scleroprotein does crook outline.; int5 & sent7 -> hypothesis; __PROVED__