the centaury is a kind of an accomplishment and/or it is a sinciput.
sent1: the stamen does not flick Riesman. sent2: if the stacker is a coville the centaury ignores pyrrhotite. sent3: if there is something such that it is three-dimensional then the fact that the TRH is a subtotal but it is not three-dimensional is not correct. sent4: the foal does not flick Riesman. sent5: the stacker is not a Pyxis. sent6: if that the centaury is not a coville is wrong it is an accomplishment. sent7: something is not a subtotal if the fact that it is a subtotal and it is not three-dimensional does not hold. sent8: the centaury is not a Pyxis if there is something such that it is both a Oujda and interlocutory. sent9: the stamen is a Pyxis. sent10: if the stacker does ignore pyrrhotite then the stamen flicks Riesman. sent11: the stacker does ignore pyrrhotite if the centaury is not a Pyxis and it is not a kind of a coville. sent12: there exists something such that that it is not a kind of a marine and it is a photalgia does not hold. sent13: the map-reader is three-dimensional if there exists something such that that it is non-marine and a photalgia is not correct. sent14: there exists something such that it is a kind of a Oujda and it is not interlocutory. sent15: there exists something such that the fact that it is not interlocutory hold. sent16: if that the TRH flicks Riesman is correct then the stamen is not a coville and it does not ignore pyrrhotite. sent17: The Riesman does not flick stamen. sent18: if something is not a subtotal then it does flick Riesman. sent19: the centaury is not a kind of a Pyxis if something that is a kind of a Oujda is not interlocutory.
sent14 & sent19 -> int1: the centaury is not a kind of a Pyxis.; void -> assump1: Let's assume that the centaury is not a coville.; int1 & assump1 -> int2: the centaury is not a Pyxis and is not a coville.; int2 & sent11 -> int3: the stacker ignores pyrrhotite.; int3 & sent10 -> int4: the stamen flicks Riesman.; int4 & sent1 -> int5: this is contradiction.; [assump1] & int5 -> int6: the centaury is a coville.; int6 & sent6 -> int7: the centaury is an accomplishment.; int7 -> hypothesis;
the fact that the fact that either the centaury is a kind of an accomplishment or it is a sinciput or both is not false is not true.
sent18 -> int8: the TRH flicks Riesman if the fact that it is not a subtotal is not wrong.; sent7 -> int9: if the fact that the fact that the TRH is both a subtotal and not three-dimensional is right does not hold then it is not a kind of a subtotal.; sent12 & sent13 -> int10: the map-reader is three-dimensional.; int10 -> int11: there exists something such that it is three-dimensional.; int11 & sent3 -> int12: the fact that the TRH is a subtotal but it is not three-dimensional does not hold.; int9 & int12 -> int13: the TRH is not a kind of a subtotal.; int8 & int13 -> int14: the TRH does flick Riesman.; sent16 & int14 -> int15: the stamen is not a coville and it does not ignore pyrrhotite.; int15 -> int16: there is something such that it is not a coville and does not ignore pyrrhotite.;
$hypothesis$ = the centaury is a kind of an accomplishment and/or it is a sinciput. ; $context$ = sent1: the stamen does not flick Riesman. sent2: if the stacker is a coville the centaury ignores pyrrhotite. sent3: if there is something such that it is three-dimensional then the fact that the TRH is a subtotal but it is not three-dimensional is not correct. sent4: the foal does not flick Riesman. sent5: the stacker is not a Pyxis. sent6: if that the centaury is not a coville is wrong it is an accomplishment. sent7: something is not a subtotal if the fact that it is a subtotal and it is not three-dimensional does not hold. sent8: the centaury is not a Pyxis if there is something such that it is both a Oujda and interlocutory. sent9: the stamen is a Pyxis. sent10: if the stacker does ignore pyrrhotite then the stamen flicks Riesman. sent11: the stacker does ignore pyrrhotite if the centaury is not a Pyxis and it is not a kind of a coville. sent12: there exists something such that that it is not a kind of a marine and it is a photalgia does not hold. sent13: the map-reader is three-dimensional if there exists something such that that it is non-marine and a photalgia is not correct. sent14: there exists something such that it is a kind of a Oujda and it is not interlocutory. sent15: there exists something such that the fact that it is not interlocutory hold. sent16: if that the TRH flicks Riesman is correct then the stamen is not a coville and it does not ignore pyrrhotite. sent17: The Riesman does not flick stamen. sent18: if something is not a subtotal then it does flick Riesman. sent19: the centaury is not a kind of a Pyxis if something that is a kind of a Oujda is not interlocutory. ; $proof$ = 
sent14 & sent19 -> int1: the centaury is not a kind of a Pyxis.; void -> assump1: Let's assume that the centaury is not a coville.; int1 & assump1 -> int2: the centaury is not a Pyxis and is not a coville.; int2 & sent11 -> int3: the stacker ignores pyrrhotite.; int3 & sent10 -> int4: the stamen flicks Riesman.; int4 & sent1 -> int5: this is contradiction.; [assump1] & int5 -> int6: the centaury is a coville.; int6 & sent6 -> int7: the centaury is an accomplishment.; int7 -> hypothesis; __PROVED__