the waste is not a rear and/or defibrillates Cetorhinus.
sent1: the sauerbraten does not eliminate default if the garambulla is convenient and it does unmake compartmented. sent2: if the plumule is a biscuit then it defibrillates aliquant. sent3: if the plumule defibrillates aliquant the goosefoot defibrillates Cetorhinus. sent4: if that the goosefoot does defibrillate Cetorhinus is not wrong then the waste is not a rear and/or it defibrillate Cetorhinus. sent5: the fact that the plumule is a biscuit hold if the sauerbraten is a deoxythymidine. sent6: if the goosefoot is a kind of a deoxythymidine then the sauerbraten does defibrillate Cetorhinus. sent7: if something does not eliminate default it is a deoxythymidine but not a Urocyon. sent8: the garambulla is not convenient. sent9: the sauerbraten is not a kind of a Urocyon. sent10: something is not a kind of a Urocyon if it does not eliminate default. sent11: if the sauerbraten does not eliminate default it is not a Urocyon. sent12: the waste rears and/or defibrillates Cetorhinus. sent13: the garambulla is not convenient but it does unmake compartmented. sent14: the waste is a rear and/or defibrillates Cetorhinus if the goosefoot does defibrillates Cetorhinus. sent15: if the garambulla is not convenient but it does unmake compartmented the sauerbraten does not eliminate default.
sent15 & sent13 -> int1: the sauerbraten does not eliminate default.; sent7 -> int2: the sauerbraten is a deoxythymidine but it is not a kind of a Urocyon if it does not eliminate default.; int1 & int2 -> int3: the sauerbraten is a kind of a deoxythymidine that is not a kind of a Urocyon.; int3 -> int4: the sauerbraten is a kind of a deoxythymidine.; int4 & sent5 -> int5: the plumule is a biscuit.; int5 & sent2 -> int6: the plumule defibrillates aliquant.; int6 & sent3 -> int7: the goosefoot defibrillates Cetorhinus.; int7 & sent4 -> hypothesis;
$hypothesis$ = the waste is not a rear and/or defibrillates Cetorhinus. ; $context$ = sent1: the sauerbraten does not eliminate default if the garambulla is convenient and it does unmake compartmented. sent2: if the plumule is a biscuit then it defibrillates aliquant. sent3: if the plumule defibrillates aliquant the goosefoot defibrillates Cetorhinus. sent4: if that the goosefoot does defibrillate Cetorhinus is not wrong then the waste is not a rear and/or it defibrillate Cetorhinus. sent5: the fact that the plumule is a biscuit hold if the sauerbraten is a deoxythymidine. sent6: if the goosefoot is a kind of a deoxythymidine then the sauerbraten does defibrillate Cetorhinus. sent7: if something does not eliminate default it is a deoxythymidine but not a Urocyon. sent8: the garambulla is not convenient. sent9: the sauerbraten is not a kind of a Urocyon. sent10: something is not a kind of a Urocyon if it does not eliminate default. sent11: if the sauerbraten does not eliminate default it is not a Urocyon. sent12: the waste rears and/or defibrillates Cetorhinus. sent13: the garambulla is not convenient but it does unmake compartmented. sent14: the waste is a rear and/or defibrillates Cetorhinus if the goosefoot does defibrillates Cetorhinus. sent15: if the garambulla is not convenient but it does unmake compartmented the sauerbraten does not eliminate default. ; $proof$ = 
sent15 & sent13 -> int1: the sauerbraten does not eliminate default.; sent7 -> int2: the sauerbraten is a deoxythymidine but it is not a kind of a Urocyon if it does not eliminate default.; int1 & int2 -> int3: the sauerbraten is a kind of a deoxythymidine that is not a kind of a Urocyon.; int3 -> int4: the sauerbraten is a kind of a deoxythymidine.; int4 & sent5 -> int5: the plumule is a biscuit.; int5 & sent2 -> int6: the plumule defibrillates aliquant.; int6 & sent3 -> int7: the goosefoot defibrillates Cetorhinus.; int7 & sent4 -> hypothesis; __PROVED__