something is nonconductive thing that is occupational.
sent1: if the lander is an overdraft it does top. sent2: the fact that if there are non-agonadal things the foreshore does not top hold. sent3: there exists something such that that it is not agonadal and it is not a top is incorrect. sent4: that the lander is a crab is true if it does backstop redshift. sent5: something does lecture hornwort. sent6: the lander is top if there is something such that that it is not agonadal and it is not a top is incorrect. sent7: if something is not a Thalassoma then it is an overdraft and it is nonconductive. sent8: there is something such that the fact that it is not agonadal and it is a top is false. sent9: the lander backstops redshift if the foreshore does not lecture sapper. sent10: there are non-agonadal things. sent11: something that does not backstop redshift lectures sapper and is not a Thalassoma. sent12: the lander is occupational if it does crab. sent13: the lander is nonconductive if it does top. sent14: if something is an overdraft and a Thalassoma it does not lecture sapper. sent15: the foreshore is a Thalassoma. sent16: the brooch does not backstop redshift and is not a crab if there exists something such that it is not occupational. sent17: that the foreshore is an overdraft is not incorrect. sent18: if the foreshore does not backstop redshift then it backstops nitrofurantoin.
sent17 & sent15 -> int1: the fact that the foreshore is an overdraft that is a Thalassoma is not false.; sent14 -> int2: if the foreshore is an overdraft and is a Thalassoma then it does not lecture sapper.; int1 & int2 -> int3: the foreshore does not lecture sapper.; int3 & sent9 -> int4: the lander backstops redshift.; int4 & sent4 -> int5: the lander is a crab.; int5 & sent12 -> int6: the lander is occupational.; sent3 & sent6 -> int7: the lander tops.; sent13 & int7 -> int8: the lander is nonconductive.; int6 & int8 -> int9: the lander is nonconductive thing that is occupational.; int9 -> hypothesis;
there exists something such that it does backstop nitrofurantoin and it does burrow.
$hypothesis$ = something is nonconductive thing that is occupational. ; $context$ = sent1: if the lander is an overdraft it does top. sent2: the fact that if there are non-agonadal things the foreshore does not top hold. sent3: there exists something such that that it is not agonadal and it is not a top is incorrect. sent4: that the lander is a crab is true if it does backstop redshift. sent5: something does lecture hornwort. sent6: the lander is top if there is something such that that it is not agonadal and it is not a top is incorrect. sent7: if something is not a Thalassoma then it is an overdraft and it is nonconductive. sent8: there is something such that the fact that it is not agonadal and it is a top is false. sent9: the lander backstops redshift if the foreshore does not lecture sapper. sent10: there are non-agonadal things. sent11: something that does not backstop redshift lectures sapper and is not a Thalassoma. sent12: the lander is occupational if it does crab. sent13: the lander is nonconductive if it does top. sent14: if something is an overdraft and a Thalassoma it does not lecture sapper. sent15: the foreshore is a Thalassoma. sent16: the brooch does not backstop redshift and is not a crab if there exists something such that it is not occupational. sent17: that the foreshore is an overdraft is not incorrect. sent18: if the foreshore does not backstop redshift then it backstops nitrofurantoin. ; $proof$ = 
sent17 & sent15 -> int1: the fact that the foreshore is an overdraft that is a Thalassoma is not false.; sent14 -> int2: if the foreshore is an overdraft and is a Thalassoma then it does not lecture sapper.; int1 & int2 -> int3: the foreshore does not lecture sapper.; int3 & sent9 -> int4: the lander backstops redshift.; int4 & sent4 -> int5: the lander is a crab.; int5 & sent12 -> int6: the lander is occupational.; sent3 & sent6 -> int7: the lander tops.; sent13 & int7 -> int8: the lander is nonconductive.; int6 & int8 -> int9: the lander is nonconductive thing that is occupational.; int9 -> hypothesis; __PROVED__