the fact that the reamer is not vibrational hold.
sent1: that if the modernist is a cyanamide and summery the reamer is not vibrational is not wrong. sent2: if something does land the fact that it is not summery and/or it is obstetrics is not correct. sent3: the modernist is a cyanamide if the fact that the overpressure is obstetrics but it is not a Sporobolus does not hold. sent4: the fact that the roselle is not a kind of a pirate or it is repetitive or both is not correct. sent5: if the fact that the overpressure is non-summery is correct then it is a Sporobolus and is not obstetrics. sent6: the slipper is not synoptic if that the roselle is not a pirate and/or it is repetitive is incorrect. sent7: if the roselle is summery that the modernist is nonrepetitive hold. sent8: the fact that something is a cyanamide but not a Sporobolus is wrong if it is obstetrics. sent9: the roselle is not a land. sent10: the trier is not nonrepetitive if the slipper is synoptic and it is a kid. sent11: if the trier is not nonrepetitive the roselle is a kind of a Epicurus. sent12: if the overpressure is obstetrics then the slipper is a maiden. sent13: the fact that the pattern is summery hold if the slipper is not urceolate. sent14: the roselle is not a cyanamide. sent15: if the overpressure does land the trouper is a kind of a land. sent16: that the overpressure is obstetrics is not incorrect if the fact that it is vibrational is true. sent17: either something is not a land or it is not urceolate or both if it is not synoptic. sent18: the fact that the overpressure is a kind of obstetrics thing that is not a kind of a Sporobolus is wrong if the trouper is a Sporobolus. sent19: the overpressure is vibrational if something that is not a cyanamide is not a kind of a Sporobolus. sent20: there exists something such that it is not summery. sent21: if the pattern is summery then the modernist is summery. sent22: the modernist is not vibrational and/or it is not summery if it is not synoptic. sent23: that the modernist is both repetitive and not urceolate is false. sent24: the trier is not a Sporobolus if the overpressure is a kind of a kid that is urceolate. sent25: something is not non-vibrational if the fact that the fact that it is a cyanamide and it is not a Sporobolus is right is wrong. sent26: if that the trouper is not summery or it is obstetrics or both is not correct the reamer is obstetrics. sent27: the trier is not a Epicurus and not a kid. sent28: the trouper is a Sporobolus if there is something such that it is not a kind of a Epicurus and it is not a kid. sent29: the pattern is summery if the slipper is not a land. sent30: there is something such that it is not obstetrics.
sent27 -> int1: there is something such that the fact that it is not a Epicurus and it is not a kid is correct.; int1 & sent28 -> int2: the trouper is a Sporobolus.; int2 & sent18 -> int3: the fact that the overpressure is obstetrics thing that is not a Sporobolus is incorrect.; int3 & sent3 -> int4: the modernist is a kind of a cyanamide.; sent17 -> int5: the slipper is not a land and/or is not urceolate if it is not synoptic.; sent6 & sent4 -> int6: the fact that the slipper is not synoptic is not incorrect.; int5 & int6 -> int7: the slipper either is not a land or is not urceolate or both.; int7 & sent29 & sent13 -> int8: the pattern is summery.; sent21 & int8 -> int9: the modernist is summery.; int4 & int9 -> int10: the modernist is a kind of a cyanamide and it is summery.; int10 & sent1 -> hypothesis;
the fact that the reamer is vibrational is not incorrect.
sent25 -> int11: the reamer is vibrational if the fact that it is a cyanamide and is not a Sporobolus does not hold.; sent8 -> int12: the fact that the reamer is a kind of a cyanamide that is not a Sporobolus is incorrect if it is obstetrics.; sent2 -> int13: that either the trouper is not summery or it is obstetrics or both is wrong if it is a land.; sent23 -> int14: there exists something such that that it is not nonrepetitive and is not urceolate does not hold.;
$hypothesis$ = the fact that the reamer is not vibrational hold. ; $context$ = sent1: that if the modernist is a cyanamide and summery the reamer is not vibrational is not wrong. sent2: if something does land the fact that it is not summery and/or it is obstetrics is not correct. sent3: the modernist is a cyanamide if the fact that the overpressure is obstetrics but it is not a Sporobolus does not hold. sent4: the fact that the roselle is not a kind of a pirate or it is repetitive or both is not correct. sent5: if the fact that the overpressure is non-summery is correct then it is a Sporobolus and is not obstetrics. sent6: the slipper is not synoptic if that the roselle is not a pirate and/or it is repetitive is incorrect. sent7: if the roselle is summery that the modernist is nonrepetitive hold. sent8: the fact that something is a cyanamide but not a Sporobolus is wrong if it is obstetrics. sent9: the roselle is not a land. sent10: the trier is not nonrepetitive if the slipper is synoptic and it is a kid. sent11: if the trier is not nonrepetitive the roselle is a kind of a Epicurus. sent12: if the overpressure is obstetrics then the slipper is a maiden. sent13: the fact that the pattern is summery hold if the slipper is not urceolate. sent14: the roselle is not a cyanamide. sent15: if the overpressure does land the trouper is a kind of a land. sent16: that the overpressure is obstetrics is not incorrect if the fact that it is vibrational is true. sent17: either something is not a land or it is not urceolate or both if it is not synoptic. sent18: the fact that the overpressure is a kind of obstetrics thing that is not a kind of a Sporobolus is wrong if the trouper is a Sporobolus. sent19: the overpressure is vibrational if something that is not a cyanamide is not a kind of a Sporobolus. sent20: there exists something such that it is not summery. sent21: if the pattern is summery then the modernist is summery. sent22: the modernist is not vibrational and/or it is not summery if it is not synoptic. sent23: that the modernist is both repetitive and not urceolate is false. sent24: the trier is not a Sporobolus if the overpressure is a kind of a kid that is urceolate. sent25: something is not non-vibrational if the fact that the fact that it is a cyanamide and it is not a Sporobolus is right is wrong. sent26: if that the trouper is not summery or it is obstetrics or both is not correct the reamer is obstetrics. sent27: the trier is not a Epicurus and not a kid. sent28: the trouper is a Sporobolus if there is something such that it is not a kind of a Epicurus and it is not a kid. sent29: the pattern is summery if the slipper is not a land. sent30: there is something such that it is not obstetrics. ; $proof$ = 
sent27 -> int1: there is something such that the fact that it is not a Epicurus and it is not a kid is correct.; int1 & sent28 -> int2: the trouper is a Sporobolus.; int2 & sent18 -> int3: the fact that the overpressure is obstetrics thing that is not a Sporobolus is incorrect.; int3 & sent3 -> int4: the modernist is a kind of a cyanamide.; sent17 -> int5: the slipper is not a land and/or is not urceolate if it is not synoptic.; sent6 & sent4 -> int6: the fact that the slipper is not synoptic is not incorrect.; int5 & int6 -> int7: the slipper either is not a land or is not urceolate or both.; int7 & sent29 & sent13 -> int8: the pattern is summery.; sent21 & int8 -> int9: the modernist is summery.; int4 & int9 -> int10: the modernist is a kind of a cyanamide and it is summery.; int10 & sent1 -> hypothesis; __PROVED__