the solver is not a peritoneum.
sent1: the fact that the costusroot is not a schizoid is not wrong. sent2: the ascocarp is both a pavilion and ineligible if that the flirt is not tongueless is not incorrect. sent3: the costusroot does target ascocarp but it is not a schizoid. sent4: the solver is a kind of a peritoneum if the ascocarp is a pinwheel. sent5: if the flirt beeps microgametophyte it is not tongueless or it is a puissance or both. sent6: if the flirt is not tongueless and/or it is a puissance it is not tongueless. sent7: the ascocarp does fold flirt and does not target ascocarp. sent8: everything beeps microgametophyte. sent9: the fact that the costusroot is not a pinwheel but it strings is not true if there is something such that it is a kind of a gazette. sent10: something is either a gazette or non-adenoid or both if it is a pavilion. sent11: something is a peritoneum if it is not a kind of a string and it is not a pinwheel. sent12: if something gazettes and/or it is not an adenoid then the fact that it is a gazettes is not incorrect. sent13: if the costusroot does target ascocarp and is not a kind of a schizoid then the ascocarp is a pinwheel. sent14: if the costusroot targets ascocarp and it is a schizoid then the ascocarp is a pinwheel.
sent13 & sent3 -> int1: the ascocarp is a pinwheel.; sent4 & int1 -> hypothesis;
the solver is not a peritoneum.
sent12 -> int2: that the ascocarp does gazette is not false if either it is a kind of a gazette or it is not an adenoid or both.; sent10 -> int3: either the ascocarp gazettes or it is not a kind of an adenoid or both if that it is a pavilion is not false.; sent8 -> int4: the flirt beeps microgametophyte.; sent5 & int4 -> int5: the flirt is not tongueless or a puissance or both.; sent6 & int5 -> int6: that the flirt is not tongueless hold.; sent2 & int6 -> int7: the ascocarp is a pavilion and it is ineligible.; int7 -> int8: the ascocarp is a pavilion.; int3 & int8 -> int9: the ascocarp does gazette and/or it is not a kind of an adenoid.; int2 & int9 -> int10: the ascocarp is a gazette.; int10 -> int11: there is something such that it is a kind of a gazette.; int11 & sent9 -> int12: that the costusroot is not a kind of a pinwheel but it is a kind of a string does not hold.; int12 -> int13: there exists something such that the fact that it is not a kind of a pinwheel and it does string does not hold.;
$hypothesis$ = the solver is not a peritoneum. ; $context$ = sent1: the fact that the costusroot is not a schizoid is not wrong. sent2: the ascocarp is both a pavilion and ineligible if that the flirt is not tongueless is not incorrect. sent3: the costusroot does target ascocarp but it is not a schizoid. sent4: the solver is a kind of a peritoneum if the ascocarp is a pinwheel. sent5: if the flirt beeps microgametophyte it is not tongueless or it is a puissance or both. sent6: if the flirt is not tongueless and/or it is a puissance it is not tongueless. sent7: the ascocarp does fold flirt and does not target ascocarp. sent8: everything beeps microgametophyte. sent9: the fact that the costusroot is not a pinwheel but it strings is not true if there is something such that it is a kind of a gazette. sent10: something is either a gazette or non-adenoid or both if it is a pavilion. sent11: something is a peritoneum if it is not a kind of a string and it is not a pinwheel. sent12: if something gazettes and/or it is not an adenoid then the fact that it is a gazettes is not incorrect. sent13: if the costusroot does target ascocarp and is not a kind of a schizoid then the ascocarp is a pinwheel. sent14: if the costusroot targets ascocarp and it is a schizoid then the ascocarp is a pinwheel. ; $proof$ = 
sent13 & sent3 -> int1: the ascocarp is a pinwheel.; sent4 & int1 -> hypothesis; __DISPROVED__