the hypotensive is a Opisthocomidae.
sent1: the rear does resent Pica if it is not non-strange. sent2: that the rear is strange and it is noncomprehensive is not right if there is something such that it does loop. sent3: the fact that the phaius resents firefly hold if it is not a heartburn and it is strange. sent4: something is not a Opisthocomidae if the fact that it is a Opisthocomidae that is not non-strange is not correct. sent5: that the rear is non-strange thing that is noncomprehensive is not correct if there is something such that it does loop. sent6: something is not a Opisthocomidae if it loops. sent7: if the valley does not resent Pica and is regretful it is a heartburn. sent8: if the phaius does not resent Pica the valley does not resent Pica and is regretful. sent9: the phaius does refine. sent10: the fact that if the hypotensive does not resent firefly then the phaius is octal is not false. sent11: the valley is a heartburn if it resents Pica and it is regretful. sent12: there is something such that it does loop. sent13: the valley does not resent Pica. sent14: if that the phaius does not resent Pica is correct then the valley does not resent Pica. sent15: if the flugelhorn is not a heartburn then the valley resents Pica and it is regretful. sent16: the rear is strange if that the phaius is not regretful and resents Pica is incorrect. sent17: that the rear is both strange and noncomprehensive does not hold. sent18: if the fact that the rear is not strange but it is noncomprehensive does not hold then that the phaius does resent firefly is not false. sent19: the rear is not a kind of a Opisthocomidae but it is botryoid. sent20: if the phaius resents firefly it does not resent Pica. sent21: if the phaius resents Pica it is a heartburn. sent22: the hypotensive is octal if that the valley is a heartburn is correct. sent23: if the hypotensive is octal then that it is a Opisthocomidae is right. sent24: if that that the phaius does not resent firefly but it is noncomprehensive is right is incorrect then that the rear does not loop is false. sent25: the valley is noncomprehensive if it is both not regretful and strange. sent26: there is something such that it is a sadomasochism and is not octal. sent27: the fact that the phaius does not resent firefly and is noncomprehensive is not right if the valley does resent Pica.
sent12 & sent5 -> int1: that the rear is not strange and is noncomprehensive is not right.; int1 & sent18 -> int2: the phaius does resent firefly.; int2 & sent20 -> int3: the phaius does not resent Pica.; int3 & sent8 -> int4: the valley does not resent Pica but it is regretful.; int4 & sent7 -> int5: the valley is a heartburn.; int5 & sent22 -> int6: the hypotensive is octal.; int6 & sent23 -> hypothesis;
the hypotensive is not a kind of a Opisthocomidae.
sent4 -> int7: the hypotensive is not a Opisthocomidae if that it is a kind of a Opisthocomidae and is strange is false.; sent6 -> int8: the rear is not a kind of a Opisthocomidae if it does loop.;
$hypothesis$ = the hypotensive is a Opisthocomidae. ; $context$ = sent1: the rear does resent Pica if it is not non-strange. sent2: that the rear is strange and it is noncomprehensive is not right if there is something such that it does loop. sent3: the fact that the phaius resents firefly hold if it is not a heartburn and it is strange. sent4: something is not a Opisthocomidae if the fact that it is a Opisthocomidae that is not non-strange is not correct. sent5: that the rear is non-strange thing that is noncomprehensive is not correct if there is something such that it does loop. sent6: something is not a Opisthocomidae if it loops. sent7: if the valley does not resent Pica and is regretful it is a heartburn. sent8: if the phaius does not resent Pica the valley does not resent Pica and is regretful. sent9: the phaius does refine. sent10: the fact that if the hypotensive does not resent firefly then the phaius is octal is not false. sent11: the valley is a heartburn if it resents Pica and it is regretful. sent12: there is something such that it does loop. sent13: the valley does not resent Pica. sent14: if that the phaius does not resent Pica is correct then the valley does not resent Pica. sent15: if the flugelhorn is not a heartburn then the valley resents Pica and it is regretful. sent16: the rear is strange if that the phaius is not regretful and resents Pica is incorrect. sent17: that the rear is both strange and noncomprehensive does not hold. sent18: if the fact that the rear is not strange but it is noncomprehensive does not hold then that the phaius does resent firefly is not false. sent19: the rear is not a kind of a Opisthocomidae but it is botryoid. sent20: if the phaius resents firefly it does not resent Pica. sent21: if the phaius resents Pica it is a heartburn. sent22: the hypotensive is octal if that the valley is a heartburn is correct. sent23: if the hypotensive is octal then that it is a Opisthocomidae is right. sent24: if that that the phaius does not resent firefly but it is noncomprehensive is right is incorrect then that the rear does not loop is false. sent25: the valley is noncomprehensive if it is both not regretful and strange. sent26: there is something such that it is a sadomasochism and is not octal. sent27: the fact that the phaius does not resent firefly and is noncomprehensive is not right if the valley does resent Pica. ; $proof$ = 
sent12 & sent5 -> int1: that the rear is not strange and is noncomprehensive is not right.; int1 & sent18 -> int2: the phaius does resent firefly.; int2 & sent20 -> int3: the phaius does not resent Pica.; int3 & sent8 -> int4: the valley does not resent Pica but it is regretful.; int4 & sent7 -> int5: the valley is a heartburn.; int5 & sent22 -> int6: the hypotensive is octal.; int6 & sent23 -> hypothesis; __PROVED__