the Patella is a kind of a porterhouse and it is a Mansfield.
sent1: that something does spoil inheritance and is punic is incorrect if it is not a uninitiate. sent2: the styracosaur debriefs Sudbury if there is something such that the fact that it is not facial and not a crocolite does not hold. sent3: something is a porterhouse that is a kind of a Mansfield if it is not a uninitiate. sent4: if something amplifies nephoscope the eosin does not amplify predecessor and does not spoil Montserratian. sent5: the dimer is not a Mansfield if the eosin is a Mansfield that debriefs green. sent6: the Patella does not mop. sent7: the fact that that the dovetail fins and it does spoil Marines does not hold is not wrong. sent8: the Patella debriefs angelfish if it does not amplify nephoscope. sent9: the root does amplify nephoscope if the cloud is both not a daughter and trihydroxy. sent10: if something does not amplify predecessor and does not spoil Montserratian it is not a uninitiate. sent11: something is not a kind of a supplejack if it is not a kind of a ziggurat. sent12: there exists something such that that the fact that it is not a kind of a facial and is not a crocolite is correct does not hold. sent13: the cloud is not a daughter but trihydroxy if that there exists something such that it debriefs Sudbury hold. sent14: the massager does spoil stalking-horse and it does amplify over if it is not a kind of a Mansfield. sent15: the ax is allometric and it is Dorian if it does not spoil citronwood. sent16: there exists nothing that is Dorian and is punic.
sent16 -> int1: the fact that the Patella is both not non-Dorian and not non-punic is false.; sent3 -> int2: if the Patella is not a uninitiate then it is a kind of a porterhouse that is a Mansfield.;
the fact that the Patella is a porterhouse and is a Mansfield is incorrect.
sent10 -> int3: if the eosin does not amplify predecessor and does not spoil Montserratian then it is not a uninitiate.; sent12 & sent2 -> int4: the styracosaur debriefs Sudbury.; int4 -> int5: there is something such that it debriefs Sudbury.; int5 & sent13 -> int6: the cloud is not a kind of a daughter but it is trihydroxy.; sent9 & int6 -> int7: the root amplifies nephoscope.; int7 -> int8: something does amplify nephoscope.; int8 & sent4 -> int9: the eosin does not amplify predecessor and does not spoil Montserratian.; int3 & int9 -> int10: the eosin is not a uninitiate.;
$hypothesis$ = the Patella is a kind of a porterhouse and it is a Mansfield. ; $context$ = sent1: that something does spoil inheritance and is punic is incorrect if it is not a uninitiate. sent2: the styracosaur debriefs Sudbury if there is something such that the fact that it is not facial and not a crocolite does not hold. sent3: something is a porterhouse that is a kind of a Mansfield if it is not a uninitiate. sent4: if something amplifies nephoscope the eosin does not amplify predecessor and does not spoil Montserratian. sent5: the dimer is not a Mansfield if the eosin is a Mansfield that debriefs green. sent6: the Patella does not mop. sent7: the fact that that the dovetail fins and it does spoil Marines does not hold is not wrong. sent8: the Patella debriefs angelfish if it does not amplify nephoscope. sent9: the root does amplify nephoscope if the cloud is both not a daughter and trihydroxy. sent10: if something does not amplify predecessor and does not spoil Montserratian it is not a uninitiate. sent11: something is not a kind of a supplejack if it is not a kind of a ziggurat. sent12: there exists something such that that the fact that it is not a kind of a facial and is not a crocolite is correct does not hold. sent13: the cloud is not a daughter but trihydroxy if that there exists something such that it debriefs Sudbury hold. sent14: the massager does spoil stalking-horse and it does amplify over if it is not a kind of a Mansfield. sent15: the ax is allometric and it is Dorian if it does not spoil citronwood. sent16: there exists nothing that is Dorian and is punic. ; $proof$ = 
sent16 -> int1: the fact that the Patella is both not non-Dorian and not non-punic is false.; sent3 -> int2: if the Patella is not a uninitiate then it is a kind of a porterhouse that is a Mansfield.; __UNKNOWN__