the abseiler is not starry.
sent1: the individual redounds. sent2: something is starry if it is a dealfish and is not myalgic. sent3: the individual is not a dealfish. sent4: the individual is not myalgic if the poll is myalgic thing that tilts. sent5: the abseiler is unsold if the poll is not non-myalgic. sent6: the individual whangs investigator and it is a gauss if it is not a dealfish. sent7: the abseiler is a dealfish and it is not non-starry if the individual is not myalgic. sent8: the poll is a kind of a Shinto. sent9: the methionine is not a antimony. sent10: if something tilts and it is a kind of a foremother it is not starry. sent11: if the tramway is not a kind of a fruit the Japanese is a reciprocal. sent12: if that something is not a antimony is not wrong that the wrongdoer is not a standee but a antimony does not hold. sent13: the amniote does not lap glucose and/or it does whang deconstructivism. sent14: if the individual is not a kind of a dealfish that it does whang investigator hold. sent15: the transmigrante is not a standee if the fact that the wrongdoer is not a standee but it is a antimony is false. sent16: something is a tilt if it is unsold. sent17: if the individual is a gauss then the poll is myalgic. sent18: the abseiler is not a dealfish. sent19: the individual does whang investigator. sent20: something nestles if it is not a kind of a standee. sent21: if there is something such that it does whang deconstructivism and is a kind of a Justice then the tramway does not fruit. sent22: that if something does nestle it is a Justice hold. sent23: the abseiler is a foremother. sent24: the transmigrante does whang deconstructivism if the amniote either does not lap glucose or does whang deconstructivism or both. sent25: if the individual tilts and it does whang investigator it is not a dealfish. sent26: the bitthead is not sold and it is a foremother if there is something such that it is reciprocal.
sent6 & sent3 -> int1: the individual does whang investigator and is a kind of a gauss.; int1 -> int2: the individual is a gauss.; int2 & sent17 -> int3: the poll is myalgic.; int3 & sent5 -> int4: the abseiler is unsold.; sent16 -> int5: if the abseiler is unsold then it tilts.; int4 & int5 -> int6: the abseiler is a tilt.; int6 & sent23 -> int7: the abseiler is a tilt and a foremother.; sent10 -> int8: the abseiler is not starry if it is a tilt and a foremother.; int7 & int8 -> hypothesis;
the fact that the abseiler is starry is not wrong.
sent2 -> int9: the abseiler is starry if it is a kind of a dealfish and is not myalgic.;
$hypothesis$ = the abseiler is not starry. ; $context$ = sent1: the individual redounds. sent2: something is starry if it is a dealfish and is not myalgic. sent3: the individual is not a dealfish. sent4: the individual is not myalgic if the poll is myalgic thing that tilts. sent5: the abseiler is unsold if the poll is not non-myalgic. sent6: the individual whangs investigator and it is a gauss if it is not a dealfish. sent7: the abseiler is a dealfish and it is not non-starry if the individual is not myalgic. sent8: the poll is a kind of a Shinto. sent9: the methionine is not a antimony. sent10: if something tilts and it is a kind of a foremother it is not starry. sent11: if the tramway is not a kind of a fruit the Japanese is a reciprocal. sent12: if that something is not a antimony is not wrong that the wrongdoer is not a standee but a antimony does not hold. sent13: the amniote does not lap glucose and/or it does whang deconstructivism. sent14: if the individual is not a kind of a dealfish that it does whang investigator hold. sent15: the transmigrante is not a standee if the fact that the wrongdoer is not a standee but it is a antimony is false. sent16: something is a tilt if it is unsold. sent17: if the individual is a gauss then the poll is myalgic. sent18: the abseiler is not a dealfish. sent19: the individual does whang investigator. sent20: something nestles if it is not a kind of a standee. sent21: if there is something such that it does whang deconstructivism and is a kind of a Justice then the tramway does not fruit. sent22: that if something does nestle it is a Justice hold. sent23: the abseiler is a foremother. sent24: the transmigrante does whang deconstructivism if the amniote either does not lap glucose or does whang deconstructivism or both. sent25: if the individual tilts and it does whang investigator it is not a dealfish. sent26: the bitthead is not sold and it is a foremother if there is something such that it is reciprocal. ; $proof$ = 
sent6 & sent3 -> int1: the individual does whang investigator and is a kind of a gauss.; int1 -> int2: the individual is a gauss.; int2 & sent17 -> int3: the poll is myalgic.; int3 & sent5 -> int4: the abseiler is unsold.; sent16 -> int5: if the abseiler is unsold then it tilts.; int4 & int5 -> int6: the abseiler is a tilt.; int6 & sent23 -> int7: the abseiler is a tilt and a foremother.; sent10 -> int8: the abseiler is not starry if it is a tilt and a foremother.; int7 & int8 -> hypothesis; __PROVED__