the campanile does flock smuggler if that the retrorocket is monophonic is right.
sent1: if something that is not a RIRA is not original the campanile is not a hem. sent2: the retrorocket flocks smuggler if it is monophonic. sent3: the campanile flocks smuggler if it does crust. sent4: the fact that the campanile is monophonic is not false. sent5: the stenopterygius does crust. sent6: something is not a RIRA and not original if it is not a airgun. sent7: the smuggler crusts. sent8: if the fact that something does not emerge but it is a airgun does not hold it is not a airgun. sent9: if the campanile is monophonic the retrorocket does flock smuggler. sent10: if the retrorocket is monophonic it is a crust. sent11: there exists nothing such that it does not emerge and it is a airgun. sent12: the retrorocket is monophonic and it flocks smuggler if something is not a hem. sent13: the Parthian is a crust if something is a kind of monophonic thing that does flock smuggler. sent14: the campanile is ineligible. sent15: if the retrorocket is a crust then the campanile is monophonic. sent16: that the campanile flocks smuggler if the fact that the retrorocket does not crust does not hold is not wrong. sent17: the campanile segregates interlocutor. sent18: the campanile is monophonic if the retrorocket does flock smuggler. sent19: the retrorocket does flock smuggler.
void -> assump1: Let's assume that the retrorocket is not non-monophonic.; sent10 & assump1 -> int1: the retrorocket crusts.; sent16 & int1 -> int2: the campanile does flock smuggler.; [assump1] & int2 -> hypothesis;
the Parthian does crust.
sent6 -> int3: if the bezel is not a kind of a airgun it is not a RIRA and it is not original.; sent8 -> int4: if the fact that the benzocaine does not emerge and is a airgun is incorrect then it is not a kind of a airgun.; sent11 -> int5: the fact that the fact that the benzocaine does not emerge and is a airgun is not wrong is false.; int4 & int5 -> int6: the benzocaine is not a airgun.; int6 -> int7: everything is not a airgun.; int7 -> int8: the bezel is not a airgun.; int3 & int8 -> int9: the bezel is not a RIRA and not an original.; int9 -> int10: everything is not a RIRA and not an original.; int10 -> int11: the azathioprine is not a RIRA and it is not an original.; int11 -> int12: there is something such that it is not a RIRA and not original.; sent1 & int12 -> int13: the campanile is not a hem.; int13 -> int14: something is not a hem.; int14 & sent12 -> int15: the retrorocket is monophonic and flocks smuggler.; int15 -> int16: there exists something such that it is monophonic and it does flock smuggler.; int16 & sent13 -> hypothesis;
$hypothesis$ = the campanile does flock smuggler if that the retrorocket is monophonic is right. ; $context$ = sent1: if something that is not a RIRA is not original the campanile is not a hem. sent2: the retrorocket flocks smuggler if it is monophonic. sent3: the campanile flocks smuggler if it does crust. sent4: the fact that the campanile is monophonic is not false. sent5: the stenopterygius does crust. sent6: something is not a RIRA and not original if it is not a airgun. sent7: the smuggler crusts. sent8: if the fact that something does not emerge but it is a airgun does not hold it is not a airgun. sent9: if the campanile is monophonic the retrorocket does flock smuggler. sent10: if the retrorocket is monophonic it is a crust. sent11: there exists nothing such that it does not emerge and it is a airgun. sent12: the retrorocket is monophonic and it flocks smuggler if something is not a hem. sent13: the Parthian is a crust if something is a kind of monophonic thing that does flock smuggler. sent14: the campanile is ineligible. sent15: if the retrorocket is a crust then the campanile is monophonic. sent16: that the campanile flocks smuggler if the fact that the retrorocket does not crust does not hold is not wrong. sent17: the campanile segregates interlocutor. sent18: the campanile is monophonic if the retrorocket does flock smuggler. sent19: the retrorocket does flock smuggler. ; $proof$ = 
void -> assump1: Let's assume that the retrorocket is not non-monophonic.; sent10 & assump1 -> int1: the retrorocket crusts.; sent16 & int1 -> int2: the campanile does flock smuggler.; [assump1] & int2 -> hypothesis; __PROVED__