the gopher is not a tsunami.
sent1: the gopher is not a kind of a tsunami if the fact that the GPS is a Protura but not grassy is not false. sent2: The genitor does not gesticulate fret. sent3: if that the gopher is grassy but it is not a kind of a Protura is right the GPS is not a kind of a tsunami. sent4: if the fret does not gesticulate genitor then the GPS is a Protura but it is not grassy. sent5: the GPS does not gesticulate genitor. sent6: the fret is a Protura and does not beckon Hugo. sent7: the gopher is not a tsunami if the GPS is a Protura and is grassy. sent8: the Mattole is not a Protura. sent9: the fret is not barytic. sent10: if that the fret is not a tsunami is true then the GPS does gesticulate genitor and is not a Protura. sent11: the fret is not a kind of an infernal. sent12: the fret is a tsunami and not a silkworm. sent13: if the GPS is not a tsunami then the gopher is a Protura but it is not grassy. sent14: if the gopher is a tsunami but it is not grassy the fact that the GPS is not a Protura hold. sent15: the GPS is not a packet. sent16: the genitor does not gesticulate genitor. sent17: if the GPS is both a Protura and not a tsunami the gopher is not grassy. sent18: the GPS is not grassy if that the fret does not gesticulate genitor is not incorrect. sent19: the GPS gesticulates genitor but it is not a Protura if the fret is not grassy. sent20: the buccula does not gesticulate genitor. sent21: the GPS is both a tsunami and not grassy. sent22: the GPS is not grassy if the gopher is a Protura but it is not a tsunami. sent23: the fret does not gesticulate genitor. sent24: the GPS is not grassy.
sent4 & sent23 -> int1: the GPS is both a Protura and not grassy.; sent1 & int1 -> hypothesis;
$hypothesis$ = the gopher is not a tsunami. ; $context$ = sent1: the gopher is not a kind of a tsunami if the fact that the GPS is a Protura but not grassy is not false. sent2: The genitor does not gesticulate fret. sent3: if that the gopher is grassy but it is not a kind of a Protura is right the GPS is not a kind of a tsunami. sent4: if the fret does not gesticulate genitor then the GPS is a Protura but it is not grassy. sent5: the GPS does not gesticulate genitor. sent6: the fret is a Protura and does not beckon Hugo. sent7: the gopher is not a tsunami if the GPS is a Protura and is grassy. sent8: the Mattole is not a Protura. sent9: the fret is not barytic. sent10: if that the fret is not a tsunami is true then the GPS does gesticulate genitor and is not a Protura. sent11: the fret is not a kind of an infernal. sent12: the fret is a tsunami and not a silkworm. sent13: if the GPS is not a tsunami then the gopher is a Protura but it is not grassy. sent14: if the gopher is a tsunami but it is not grassy the fact that the GPS is not a Protura hold. sent15: the GPS is not a packet. sent16: the genitor does not gesticulate genitor. sent17: if the GPS is both a Protura and not a tsunami the gopher is not grassy. sent18: the GPS is not grassy if that the fret does not gesticulate genitor is not incorrect. sent19: the GPS gesticulates genitor but it is not a Protura if the fret is not grassy. sent20: the buccula does not gesticulate genitor. sent21: the GPS is both a tsunami and not grassy. sent22: the GPS is not grassy if the gopher is a Protura but it is not a tsunami. sent23: the fret does not gesticulate genitor. sent24: the GPS is not grassy. ; $proof$ = 
sent4 & sent23 -> int1: the GPS is both a Protura and not grassy.; sent1 & int1 -> hypothesis; __PROVED__