the see is a surface.
sent1: if that the inclination is a conditioner and a Alpena is not true the fact that the Nubian is non-paternal is not false. sent2: if that the Nubian is not operational and gargles is not true the see does surface. sent3: if that something is both not a Malthusian and a quickset is not correct then it is thermodynamic. sent4: that something is non-Malthusian a quickset is incorrect if it is not paternal. sent5: the fact that something is not operational and is a kind of a gargle is not right if it is thermodynamic. sent6: the Nubian is thermodynamic if it is not a kind of a quickset. sent7: the Highlander is not a kind of a voluntary. sent8: that the inclination is a conditioner and it is a Alpena is false if the fact that the Highlander is not voluntary is not incorrect.
sent8 & sent7 -> int1: the fact that the inclination is a conditioner and is a kind of a Alpena does not hold.; int1 & sent1 -> int2: the Nubian is not paternal.; sent4 -> int3: the fact that the Nubian is a kind of non-Malthusian a quickset is not true if it is not paternal.; int2 & int3 -> int4: the fact that the fact that the Nubian is not a Malthusian but it is a quickset is right is false.; sent3 -> int5: if the fact that the Nubian is a kind of non-Malthusian thing that is a quickset is not true it is thermodynamic.; int4 & int5 -> int6: the Nubian is thermodynamic.; sent5 -> int7: if the fact that the Nubian is thermodynamic is true then that it is non-operational a gargle is not correct.; int6 & int7 -> int8: the fact that the Nubian is not operational but it does gargle is not right.; int8 & sent2 -> hypothesis;
$hypothesis$ = the see is a surface. ; $context$ = sent1: if that the inclination is a conditioner and a Alpena is not true the fact that the Nubian is non-paternal is not false. sent2: if that the Nubian is not operational and gargles is not true the see does surface. sent3: if that something is both not a Malthusian and a quickset is not correct then it is thermodynamic. sent4: that something is non-Malthusian a quickset is incorrect if it is not paternal. sent5: the fact that something is not operational and is a kind of a gargle is not right if it is thermodynamic. sent6: the Nubian is thermodynamic if it is not a kind of a quickset. sent7: the Highlander is not a kind of a voluntary. sent8: that the inclination is a conditioner and it is a Alpena is false if the fact that the Highlander is not voluntary is not incorrect. ; $proof$ = 
sent8 & sent7 -> int1: the fact that the inclination is a conditioner and is a kind of a Alpena does not hold.; int1 & sent1 -> int2: the Nubian is not paternal.; sent4 -> int3: the fact that the Nubian is a kind of non-Malthusian a quickset is not true if it is not paternal.; int2 & int3 -> int4: the fact that the fact that the Nubian is not a Malthusian but it is a quickset is right is false.; sent3 -> int5: if the fact that the Nubian is a kind of non-Malthusian thing that is a quickset is not true it is thermodynamic.; int4 & int5 -> int6: the Nubian is thermodynamic.; sent5 -> int7: if the fact that the Nubian is thermodynamic is true then that it is non-operational a gargle is not correct.; int6 & int7 -> int8: the fact that the Nubian is not operational but it does gargle is not right.; int8 & sent2 -> hypothesis; __PROVED__