the fact that the balancer does transaminate Elizabethan is not false.
sent1: The Gallup does waste movement. sent2: if the fact that the psephologist is not a kind of a stockpiling but it is Bogartian is false it is not a kind of an authenticity. sent3: if the movement is a Savannah the flummery is environmental. sent4: if something does letter movement it does not transaminate Parrish. sent5: The fact that the criterion does not log psephologist hold. sent6: if the movement wastes Gallup then it letters movement. sent7: the fact that the psephologist does not log criterion hold. sent8: if the psephologist is not an authenticity and does not log criterion the flummery log criterion. sent9: the fact that the psephologist is not a stockpiling but it is Bogartian does not hold. sent10: that the psephologist is not an authenticity hold if it is a stockpiling. sent11: the psephologist is not environmental if it is non-regional. sent12: if something does not transaminate Parrish then it is a kind of a Savannah. sent13: if that the psephologist does not transaminate Parrish is true then the balancer wastes Gallup or does letter movement or both. sent14: that the balancer does transaminate Elizabethan is not false if an environmental thing logs criterion. sent15: if something either is not environmental or does not transaminate Parrish or both then it does not transaminate Parrish. sent16: the movement does waste Gallup.
sent6 & sent16 -> int1: the movement letters movement.; sent4 -> int2: if the movement does letter movement it does not transaminate Parrish.; int1 & int2 -> int3: the movement does not transaminate Parrish.; sent12 -> int4: if the movement does not transaminate Parrish it is a Savannah.; int3 & int4 -> int5: the movement is a Savannah.; int5 & sent3 -> int6: the flummery is environmental.; sent2 & sent9 -> int7: the fact that the psephologist is not a kind of an authenticity is not wrong.; int7 & sent7 -> int8: the psephologist is not an authenticity and does not log criterion.; sent8 & int8 -> int9: the flummery does log criterion.; int6 & int9 -> int10: the flummery is environmental thing that does log criterion.; int10 -> int11: something is environmental and does log criterion.; int11 & sent14 -> hypothesis;
something is both a hydrofoil and an exit.
sent15 -> int12: if either the psephologist is non-environmental or it does not transaminate Parrish or both then it does not transaminate Parrish.;
$hypothesis$ = the fact that the balancer does transaminate Elizabethan is not false. ; $context$ = sent1: The Gallup does waste movement. sent2: if the fact that the psephologist is not a kind of a stockpiling but it is Bogartian is false it is not a kind of an authenticity. sent3: if the movement is a Savannah the flummery is environmental. sent4: if something does letter movement it does not transaminate Parrish. sent5: The fact that the criterion does not log psephologist hold. sent6: if the movement wastes Gallup then it letters movement. sent7: the fact that the psephologist does not log criterion hold. sent8: if the psephologist is not an authenticity and does not log criterion the flummery log criterion. sent9: the fact that the psephologist is not a stockpiling but it is Bogartian does not hold. sent10: that the psephologist is not an authenticity hold if it is a stockpiling. sent11: the psephologist is not environmental if it is non-regional. sent12: if something does not transaminate Parrish then it is a kind of a Savannah. sent13: if that the psephologist does not transaminate Parrish is true then the balancer wastes Gallup or does letter movement or both. sent14: that the balancer does transaminate Elizabethan is not false if an environmental thing logs criterion. sent15: if something either is not environmental or does not transaminate Parrish or both then it does not transaminate Parrish. sent16: the movement does waste Gallup. ; $proof$ = 
sent6 & sent16 -> int1: the movement letters movement.; sent4 -> int2: if the movement does letter movement it does not transaminate Parrish.; int1 & int2 -> int3: the movement does not transaminate Parrish.; sent12 -> int4: if the movement does not transaminate Parrish it is a Savannah.; int3 & int4 -> int5: the movement is a Savannah.; int5 & sent3 -> int6: the flummery is environmental.; sent2 & sent9 -> int7: the fact that the psephologist is not a kind of an authenticity is not wrong.; int7 & sent7 -> int8: the psephologist is not an authenticity and does not log criterion.; sent8 & int8 -> int9: the flummery does log criterion.; int6 & int9 -> int10: the flummery is environmental thing that does log criterion.; int10 -> int11: something is environmental and does log criterion.; int11 & sent14 -> hypothesis; __PROVED__