the Pomo is linear.
sent1: there exists something such that the fact that it is not a colors and it is intrauterine is not correct. sent2: that that the sucrose does not color and it is not intrauterine does not hold hold if the Maidu does mask Duma. sent3: something is not colors if the fact that it is not unalert and does bawl Streep is not true. sent4: if the sucrose is a kind of a trapezohedron the fact that the halophile is a kind of non-intrauterine thing that does not mask Duma is not right. sent5: if something is not non-gyral it masks Duma. sent6: the gametophore is linear. sent7: if the fact that the Maidu does mask Duma is not wrong the fact that the sucrose is not intrauterine but it mask Duma is wrong. sent8: if the sucrose sensualizes Avignon that the halophile is not unalert but it bawls Streep is not true. sent9: if the sucrose is not a trapezohedron it does color. sent10: if the halophile does not mask Duma then the Pomo does not sensualize celioscopy but it is gyral. sent11: the halophile is a trapezohedron and a Stheno. sent12: if that the Maidu drifts is not false that it is not intrauterine and it is incoherent is wrong. sent13: the sucrose does sensualize Avignon. sent14: something is not linear if it is not a trapezohedron and it is a kind of a Stheno. sent15: the Pomo is linear if there exists something such that that it does not color and it is not intrauterine is not true. sent16: the Maidu is gyral if the fact that it is not intrauterine but a Stheno is not true. sent17: the gidgee is a kind of a Eryngium and steepens Lamium. sent18: something does steepen prurigo if it is not rhythmical. sent19: something is gyral if that it does not sensualize celioscopy and is a kind of a trapezohedron does not hold. sent20: the fact that the Maidu does not sensualize celioscopy but it is a trapezohedron does not hold if the halophile is a trapezohedron. sent21: the Maidu does drift. sent22: if something does not sensualize celioscopy and is gyral it is not a trapezohedron.
sent11 -> int1: the halophile is a trapezohedron.; int1 & sent20 -> int2: the fact that the fact that the fact that the Maidu does not sensualize celioscopy but it is a trapezohedron is true is false is not wrong.; sent19 -> int3: the Maidu is gyral if that it does not sensualize celioscopy and it is a trapezohedron is false.; int2 & int3 -> int4: the Maidu is gyral.; sent5 -> int5: the Maidu does mask Duma if it is gyral.; int4 & int5 -> int6: that the Maidu does mask Duma is not false.; int6 & sent2 -> int7: the fact that the sucrose does not color and it is not intrauterine is not right.; int7 -> int8: there exists something such that that it is not colors and not intrauterine is false.; int8 & sent15 -> hypothesis;
the Pomo is not linear.
sent14 -> int9: the Pomo is nonlinear if it is not a trapezohedron and is a Stheno.; sent22 -> int10: the Pomo is not a kind of a trapezohedron if it does not sensualize celioscopy and it is gyral.; sent3 -> int11: if that the fact that the halophile is not unalert but it does bawl Streep does not hold is not incorrect then it is not a colors.; sent8 & sent13 -> int12: that the halophile is not unalert but it does bawl Streep does not hold.; int11 & int12 -> int13: the halophile is not a colors.; sent12 & sent21 -> int14: the fact that the Maidu is non-intrauterine thing that is incoherent is wrong.; int14 -> int15: there exists something such that the fact that it is both not intrauterine and incoherent is incorrect.;
$hypothesis$ = the Pomo is linear. ; $context$ = sent1: there exists something such that the fact that it is not a colors and it is intrauterine is not correct. sent2: that that the sucrose does not color and it is not intrauterine does not hold hold if the Maidu does mask Duma. sent3: something is not colors if the fact that it is not unalert and does bawl Streep is not true. sent4: if the sucrose is a kind of a trapezohedron the fact that the halophile is a kind of non-intrauterine thing that does not mask Duma is not right. sent5: if something is not non-gyral it masks Duma. sent6: the gametophore is linear. sent7: if the fact that the Maidu does mask Duma is not wrong the fact that the sucrose is not intrauterine but it mask Duma is wrong. sent8: if the sucrose sensualizes Avignon that the halophile is not unalert but it bawls Streep is not true. sent9: if the sucrose is not a trapezohedron it does color. sent10: if the halophile does not mask Duma then the Pomo does not sensualize celioscopy but it is gyral. sent11: the halophile is a trapezohedron and a Stheno. sent12: if that the Maidu drifts is not false that it is not intrauterine and it is incoherent is wrong. sent13: the sucrose does sensualize Avignon. sent14: something is not linear if it is not a trapezohedron and it is a kind of a Stheno. sent15: the Pomo is linear if there exists something such that that it does not color and it is not intrauterine is not true. sent16: the Maidu is gyral if the fact that it is not intrauterine but a Stheno is not true. sent17: the gidgee is a kind of a Eryngium and steepens Lamium. sent18: something does steepen prurigo if it is not rhythmical. sent19: something is gyral if that it does not sensualize celioscopy and is a kind of a trapezohedron does not hold. sent20: the fact that the Maidu does not sensualize celioscopy but it is a trapezohedron does not hold if the halophile is a trapezohedron. sent21: the Maidu does drift. sent22: if something does not sensualize celioscopy and is gyral it is not a trapezohedron. ; $proof$ = 
sent11 -> int1: the halophile is a trapezohedron.; int1 & sent20 -> int2: the fact that the fact that the fact that the Maidu does not sensualize celioscopy but it is a trapezohedron is true is false is not wrong.; sent19 -> int3: the Maidu is gyral if that it does not sensualize celioscopy and it is a trapezohedron is false.; int2 & int3 -> int4: the Maidu is gyral.; sent5 -> int5: the Maidu does mask Duma if it is gyral.; int4 & int5 -> int6: that the Maidu does mask Duma is not false.; int6 & sent2 -> int7: the fact that the sucrose does not color and it is not intrauterine is not right.; int7 -> int8: there exists something such that that it is not colors and not intrauterine is false.; int8 & sent15 -> hypothesis; __PROVED__