the heliozoan does snowball differential and it is a kind of a Erythroxylon.
sent1: if the tiler is tidy it is a Helotium. sent2: the heliozoan snowballs differential. sent3: if there exists something such that that it is both a Helotium and tidy is incorrect then the wreath does not snowball differential. sent4: if the tiler does not snowball differential then it is not a kind of a Helotium. sent5: something does snowball differential. sent6: the infiltrator is a kind of a pellet. sent7: the kickstand is not nonexistent if that the beggarwoman is a yard but it is not electrochemical is not true. sent8: if the fact that something is non-phocine thing that does not reissue coydog is not correct then it is an excretion. sent9: if the closeup is Phoenician it is a give-and-go. sent10: if the kickstand is an excretion that the heliozoan is both a Erythroxylon and not a pellet is not right. sent11: the heliozoan snowballs differential if there is something such that it does not tidy. sent12: the fact that the tiler is a pellet that is not an excretion is false. sent13: the tiler is not a kind of a Helotium if that it is a pellet and it is not an excretion is not true. sent14: the closeup is Phoenician. sent15: the fact that something is both a Helotium and a tidy is wrong if it is not a Erythroxylon. sent16: if there is something such that it is a give-and-go that the beggarwoman is a yard but not electrochemical does not hold. sent17: the fact that something is not phocine and does not reissue coydog is not right if it is not nonexistent. sent18: if there is something such that it is not a tidy then the heliozoan snowballs differential and is a Erythroxylon.
void -> assump1: Let's assume that that the tiler does tidy is not wrong.; sent1 & assump1 -> int1: the tiler is a Helotium.; sent13 & sent12 -> int2: the tiler is not a Helotium.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the tiler is untidy.; int4 -> int5: there is something such that it is untidy.; int5 & sent18 -> hypothesis;
the wreath does not snowball differential.
sent15 -> int6: if the tiler is not a Erythroxylon the fact that it is a Helotium and it is tidy is not right.; sent8 -> int7: if that the kickstand is not phocine and it does not reissue coydog is not true then it is an excretion.; sent17 -> int8: the fact that the kickstand is non-phocine thing that does not reissue coydog is incorrect if it is not nonexistent.; sent9 & sent14 -> int9: the closeup is a give-and-go.; int9 -> int10: there is something such that it is a give-and-go.; int10 & sent16 -> int11: the fact that the beggarwoman is both a yard and not electrochemical is false.; sent7 & int11 -> int12: the kickstand is not nonexistent.; int8 & int12 -> int13: that the kickstand is non-phocine thing that does not reissue coydog is not true.; int7 & int13 -> int14: the kickstand is an excretion.; sent10 & int14 -> int15: the fact that the heliozoan is a kind of a Erythroxylon but it is not a pellet is not correct.;
$hypothesis$ = the heliozoan does snowball differential and it is a kind of a Erythroxylon. ; $context$ = sent1: if the tiler is tidy it is a Helotium. sent2: the heliozoan snowballs differential. sent3: if there exists something such that that it is both a Helotium and tidy is incorrect then the wreath does not snowball differential. sent4: if the tiler does not snowball differential then it is not a kind of a Helotium. sent5: something does snowball differential. sent6: the infiltrator is a kind of a pellet. sent7: the kickstand is not nonexistent if that the beggarwoman is a yard but it is not electrochemical is not true. sent8: if the fact that something is non-phocine thing that does not reissue coydog is not correct then it is an excretion. sent9: if the closeup is Phoenician it is a give-and-go. sent10: if the kickstand is an excretion that the heliozoan is both a Erythroxylon and not a pellet is not right. sent11: the heliozoan snowballs differential if there is something such that it does not tidy. sent12: the fact that the tiler is a pellet that is not an excretion is false. sent13: the tiler is not a kind of a Helotium if that it is a pellet and it is not an excretion is not true. sent14: the closeup is Phoenician. sent15: the fact that something is both a Helotium and a tidy is wrong if it is not a Erythroxylon. sent16: if there is something such that it is a give-and-go that the beggarwoman is a yard but not electrochemical does not hold. sent17: the fact that something is not phocine and does not reissue coydog is not right if it is not nonexistent. sent18: if there is something such that it is not a tidy then the heliozoan snowballs differential and is a Erythroxylon. ; $proof$ = 
void -> assump1: Let's assume that that the tiler does tidy is not wrong.; sent1 & assump1 -> int1: the tiler is a Helotium.; sent13 & sent12 -> int2: the tiler is not a Helotium.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the tiler is untidy.; int4 -> int5: there is something such that it is untidy.; int5 & sent18 -> hypothesis; __PROVED__