the setting heightens but it is not a furred.
sent1: the encephalogram is not a Vega if that it owns rabbet is true. sent2: if the encephalogram is not a Vega it is a Dagestani and it is not non-Voltarian. sent3: the plesiosaur is not a waxiness if something that is a kind of a Dagestani is not non-Voltarian. sent4: the encephalogram is a kind of a Dagestani if it is not a Vega. sent5: the encephalogram is not limacine. sent6: if there exists something such that the fact that it is not a waxiness is true then the fact that the setting heightens but it is not a furred is not true. sent7: the encephalogram is not a kind of a Vega if the fact that it does not own rabbet and owns heater does not hold. sent8: if the encephalogram is not limacine then the fact that it does not own rabbet and does own heater is not true. sent9: if that something is not a Dagestani and owns charming is incorrect then it does not own slaughter.
sent8 & sent5 -> int1: the fact that the encephalogram does not own rabbet but it owns heater is wrong.; int1 & sent7 -> int2: the encephalogram is not a Vega.; int2 & sent2 -> int3: the encephalogram is a kind of a Dagestani and it is Voltarian.; int3 -> int4: there exists something such that it is a Dagestani and it is Voltarian.; int4 & sent3 -> int5: that the plesiosaur is not a waxiness hold.; int5 -> int6: there is something such that it is not a waxiness.; int6 & sent6 -> hypothesis;
if that the mangle is not a Dagestani but it does own charming is not right it does not own slaughter.
sent9 -> hypothesis;
$hypothesis$ = the setting heightens but it is not a furred. ; $context$ = sent1: the encephalogram is not a Vega if that it owns rabbet is true. sent2: if the encephalogram is not a Vega it is a Dagestani and it is not non-Voltarian. sent3: the plesiosaur is not a waxiness if something that is a kind of a Dagestani is not non-Voltarian. sent4: the encephalogram is a kind of a Dagestani if it is not a Vega. sent5: the encephalogram is not limacine. sent6: if there exists something such that the fact that it is not a waxiness is true then the fact that the setting heightens but it is not a furred is not true. sent7: the encephalogram is not a kind of a Vega if the fact that it does not own rabbet and owns heater does not hold. sent8: if the encephalogram is not limacine then the fact that it does not own rabbet and does own heater is not true. sent9: if that something is not a Dagestani and owns charming is incorrect then it does not own slaughter. ; $proof$ = 
sent8 & sent5 -> int1: the fact that the encephalogram does not own rabbet but it owns heater is wrong.; int1 & sent7 -> int2: the encephalogram is not a Vega.; int2 & sent2 -> int3: the encephalogram is a kind of a Dagestani and it is Voltarian.; int3 -> int4: there exists something such that it is a Dagestani and it is Voltarian.; int4 & sent3 -> int5: that the plesiosaur is not a waxiness hold.; int5 -> int6: there is something such that it is not a waxiness.; int6 & sent6 -> hypothesis; __DISPROVED__