that the ripper does regroup and is not a carbonated is incorrect.
sent1: the ripper does not own molindone. sent2: that the ripper does not carbonate is true if the argent is a carbonate that does not own molindone. sent3: if the contrarian formalizes gamma then it is stubborn. sent4: the argent is not a perspiration if the coauthor is stubborn. sent5: that the ripper ripostes lats but it does not formalize Yuan is false. sent6: the fact that the contrarian is not knee-length and it is not a Kigali is incorrect if the epidemiologist is a kind of a short. sent7: that the epidemiologist is a short is not false. sent8: something formalizes Yuan and does own reversible if it is not a perspiration. sent9: if that the coauthor is a perspiration is correct then the argent is not a kind of a perspiration. sent10: if the ripper does not formalize Yuan then that it does regroup and it does carbonate is incorrect. sent11: The molindone does not own ripper. sent12: the ripper does not formalize Yuan if it does not own molindone. sent13: that something regroups but it is not a carbonated is incorrect if it does not formalize Yuan. sent14: if the fact that the coauthor is not a perspiration and does riposte Pollux is not true then the argent is a perspiration. sent15: if there is something such that that it is not knee-length and it is not a kind of a Kigali is wrong the coauthor does not formalize gamma. sent16: something is stubborn and/or it is a perspiration if the fact that it does not formalize gamma hold. sent17: that the cocker is quadrangular and it does formalize Yuan is incorrect. sent18: that something is a homonym but not a Chaldean does not hold if that it does not formalize Yuan is not wrong. sent19: something that is not a dome does riposte Pollux and regroups. sent20: that the coauthor is not a perspiration but it does riposte Pollux is not correct if the contrarian is stubborn.
sent13 -> int1: if the ripper does not formalize Yuan the fact that it does regroup and it is not a kind of a carbonated is not correct.; sent12 & sent1 -> int2: that the ripper does not formalize Yuan is right.; int1 & int2 -> hypothesis;
the ripper does regroup and is not a carbonated.
sent16 -> int3: the coauthor is stubborn or is a kind of a perspiration or both if it does not formalize gamma.; sent7 & sent6 -> int4: the fact that the contrarian is non-knee-length thing that is not a Kigali is not right.; int4 -> int5: there is something such that the fact that it is non-knee-length thing that is not a Kigali is false.; int5 & sent15 -> int6: the coauthor does not formalize gamma.; int3 & int6 -> int7: the coauthor is stubborn or it is a perspiration or both.; int7 & sent4 & sent9 -> int8: the fact that the argent is not a kind of a perspiration is not incorrect.; sent8 -> int9: the fact that the argent formalizes Yuan and owns reversible if the argent is not a perspiration is right.; int8 & int9 -> int10: the argent formalizes Yuan and owns reversible.; int10 -> int11: the argent formalizes Yuan.; sent19 -> int12: the brant does riposte Pollux and regroups if that it is not a dome hold.;
$hypothesis$ = that the ripper does regroup and is not a carbonated is incorrect. ; $context$ = sent1: the ripper does not own molindone. sent2: that the ripper does not carbonate is true if the argent is a carbonate that does not own molindone. sent3: if the contrarian formalizes gamma then it is stubborn. sent4: the argent is not a perspiration if the coauthor is stubborn. sent5: that the ripper ripostes lats but it does not formalize Yuan is false. sent6: the fact that the contrarian is not knee-length and it is not a Kigali is incorrect if the epidemiologist is a kind of a short. sent7: that the epidemiologist is a short is not false. sent8: something formalizes Yuan and does own reversible if it is not a perspiration. sent9: if that the coauthor is a perspiration is correct then the argent is not a kind of a perspiration. sent10: if the ripper does not formalize Yuan then that it does regroup and it does carbonate is incorrect. sent11: The molindone does not own ripper. sent12: the ripper does not formalize Yuan if it does not own molindone. sent13: that something regroups but it is not a carbonated is incorrect if it does not formalize Yuan. sent14: if the fact that the coauthor is not a perspiration and does riposte Pollux is not true then the argent is a perspiration. sent15: if there is something such that that it is not knee-length and it is not a kind of a Kigali is wrong the coauthor does not formalize gamma. sent16: something is stubborn and/or it is a perspiration if the fact that it does not formalize gamma hold. sent17: that the cocker is quadrangular and it does formalize Yuan is incorrect. sent18: that something is a homonym but not a Chaldean does not hold if that it does not formalize Yuan is not wrong. sent19: something that is not a dome does riposte Pollux and regroups. sent20: that the coauthor is not a perspiration but it does riposte Pollux is not correct if the contrarian is stubborn. ; $proof$ = 
sent13 -> int1: if the ripper does not formalize Yuan the fact that it does regroup and it is not a kind of a carbonated is not correct.; sent12 & sent1 -> int2: that the ripper does not formalize Yuan is right.; int1 & int2 -> hypothesis; __PROVED__