the saurischian is not a Medicare.
sent1: if something is not nonmodern then it is an amaranth. sent2: if the sodalist is not nonmodern then the fact that the missal is a dream and it is nonmodern does not hold. sent3: something is a kind of a Manduca if that it is a clavichord that is not an amaranth does not hold. sent4: the cloche is a kind of a Manduca. sent5: the sodalist is not a kind of a bagatelle. sent6: if the sodalist is not a bagatelle it is not nonmodern. sent7: the fact that the philologist does dream is correct. sent8: something is a clavichord if the fact that the fact that it is a kind of a bagatelle that does not sheet is true is wrong. sent9: that the sodalist is a kind of a clavichord that is not a bagatelle is wrong if the philologist is not a clavichord. sent10: if the fact that the Cretan is not a kind of a clavichord is not wrong then that the philologist is a clavichord but it is not an amaranth does not hold. sent11: the fact that the saurischian is not a Medicare is not false if the clonidine is a kind of a sheet. sent12: the Cretan is not a clavichord if that the missal is a dream and it is nonmodern does not hold. sent13: if the philologist is a Manduca the clonidine is a sheet. sent14: if something is a bagatelle the fact that it is a Medicare is not false.
sent6 & sent5 -> int1: the sodalist is not nonmodern.; int1 & sent2 -> int2: that the missal dreams and it is nonmodern is wrong.; int2 & sent12 -> int3: the Cretan is not a clavichord.; int3 & sent10 -> int4: the fact that the philologist is a kind of a clavichord but it is not an amaranth is not right.; sent3 -> int5: if that the philologist is a kind of a clavichord but it is not an amaranth is wrong it is a kind of a Manduca.; int4 & int5 -> int6: the philologist is a Manduca.; int6 & sent13 -> int7: that the clonidine is a sheet hold.; int7 & sent11 -> hypothesis;
the saurischian is a Medicare.
sent14 -> int8: the saurischian is a Medicare if it is a bagatelle.;
$hypothesis$ = the saurischian is not a Medicare. ; $context$ = sent1: if something is not nonmodern then it is an amaranth. sent2: if the sodalist is not nonmodern then the fact that the missal is a dream and it is nonmodern does not hold. sent3: something is a kind of a Manduca if that it is a clavichord that is not an amaranth does not hold. sent4: the cloche is a kind of a Manduca. sent5: the sodalist is not a kind of a bagatelle. sent6: if the sodalist is not a bagatelle it is not nonmodern. sent7: the fact that the philologist does dream is correct. sent8: something is a clavichord if the fact that the fact that it is a kind of a bagatelle that does not sheet is true is wrong. sent9: that the sodalist is a kind of a clavichord that is not a bagatelle is wrong if the philologist is not a clavichord. sent10: if the fact that the Cretan is not a kind of a clavichord is not wrong then that the philologist is a clavichord but it is not an amaranth does not hold. sent11: the fact that the saurischian is not a Medicare is not false if the clonidine is a kind of a sheet. sent12: the Cretan is not a clavichord if that the missal is a dream and it is nonmodern does not hold. sent13: if the philologist is a Manduca the clonidine is a sheet. sent14: if something is a bagatelle the fact that it is a Medicare is not false. ; $proof$ = 
sent6 & sent5 -> int1: the sodalist is not nonmodern.; int1 & sent2 -> int2: that the missal dreams and it is nonmodern is wrong.; int2 & sent12 -> int3: the Cretan is not a clavichord.; int3 & sent10 -> int4: the fact that the philologist is a kind of a clavichord but it is not an amaranth is not right.; sent3 -> int5: if that the philologist is a kind of a clavichord but it is not an amaranth is wrong it is a kind of a Manduca.; int4 & int5 -> int6: the philologist is a Manduca.; int6 & sent13 -> int7: that the clonidine is a sheet hold.; int7 & sent11 -> hypothesis; __PROVED__