the eraser is acetonic.
sent1: the snatch is a Javanthropus if the fact that it submarines and is not acetonic is not correct. sent2: if the snatch is a kind of a submarine the albumin is a kind of a Javanthropus. sent3: if the albumin is not philanthropic that the snatch is a Javanthropus but it does not live does not hold. sent4: if something is unconventional then it is not acetonic. sent5: the albumin is a kind of unconventional thing that is not a submarine. sent6: the eraser is not philanthropic. sent7: that the snatch is a Javanthropus but it is not a kind of a submarine is not right if the albumin is not hydric. sent8: if the albumin is hydric the eraser is unconventional. sent9: that the albumin is a kind of philanthropic thing that is not unconventional is wrong. sent10: the snatch is a kind of a Javanthropus that does not live. sent11: the albumin is not non-hydric if the fact that it consorts fieldstone and does not submarine is not correct. sent12: the eraser is live. sent13: the fact that the albumin does consort fieldstone but it is not a submarine does not hold if it is philanthropic.
void -> assump1: Let's assume that the albumin is not philanthropic.; sent3 & assump1 -> int1: the fact that the snatch is a Javanthropus and does not live is not correct.; int1 & sent10 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the albumin is philanthropic is not wrong.; int3 & sent13 -> int4: the fact that the albumin does consort fieldstone but it is not a submarine is wrong.; int4 & sent11 -> int5: the albumin is hydric.; int5 & sent8 -> int6: the eraser is unconventional.; sent4 -> int7: the eraser is not acetonic if it is unconventional.; int6 & int7 -> hypothesis;
$hypothesis$ = the eraser is acetonic. ; $context$ = sent1: the snatch is a Javanthropus if the fact that it submarines and is not acetonic is not correct. sent2: if the snatch is a kind of a submarine the albumin is a kind of a Javanthropus. sent3: if the albumin is not philanthropic that the snatch is a Javanthropus but it does not live does not hold. sent4: if something is unconventional then it is not acetonic. sent5: the albumin is a kind of unconventional thing that is not a submarine. sent6: the eraser is not philanthropic. sent7: that the snatch is a Javanthropus but it is not a kind of a submarine is not right if the albumin is not hydric. sent8: if the albumin is hydric the eraser is unconventional. sent9: that the albumin is a kind of philanthropic thing that is not unconventional is wrong. sent10: the snatch is a kind of a Javanthropus that does not live. sent11: the albumin is not non-hydric if the fact that it consorts fieldstone and does not submarine is not correct. sent12: the eraser is live. sent13: the fact that the albumin does consort fieldstone but it is not a submarine does not hold if it is philanthropic. ; $proof$ = 
void -> assump1: Let's assume that the albumin is not philanthropic.; sent3 & assump1 -> int1: the fact that the snatch is a Javanthropus and does not live is not correct.; int1 & sent10 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the albumin is philanthropic is not wrong.; int3 & sent13 -> int4: the fact that the albumin does consort fieldstone but it is not a submarine is wrong.; int4 & sent11 -> int5: the albumin is hydric.; int5 & sent8 -> int6: the eraser is unconventional.; sent4 -> int7: the eraser is not acetonic if it is unconventional.; int6 & int7 -> hypothesis; __DISPROVED__