the mesa is not a perdurability.
sent1: the hadrosaur is uninformative if the punter is synesthetic. sent2: that there exists something such that it is not non-cranial is correct. sent3: if the pincushion is not uninformative the fact that the hadrosaur is not cranial and it is not a perdurability is false. sent4: if there exists something such that that it is not unidentifiable is true either the punter is a nacelle or it is not a kind of a Confederacy or both. sent5: the mesa is feline if the hadrosaur is not cranial and/or it is synesthetic. sent6: either the punter is a nacelle or it is a Confederacy or both if there is something such that it is not unidentifiable. sent7: if something is either a nacelle or not a Confederacy or both then it is uninformative. sent8: there exists something such that it is synesthetic. sent9: there is something such that the fact that it is a Astropogon does not hold. sent10: there is something such that it is not identifiable. sent11: something is a kind of a perdurability if it is a kind of a feline. sent12: if that the fact that the hadrosaur is not cranial and is not a kind of a perdurability hold does not hold the mesa is not a perdurability. sent13: the hadrosaur either is cranial or is not non-synesthetic or both. sent14: there exists something such that it is not unidentifiable. sent15: the punter is cranial if it is a kind of a nacelle. sent16: the hadrosaur is not cranial and/or it is synesthetic if the punter is uninformative.
sent7 -> int1: if either the punter is a nacelle or it is not a Confederacy or both it is uninformative.; sent14 & sent4 -> int2: the punter is a nacelle and/or it is not a Confederacy.; int1 & int2 -> int3: the punter is uninformative.; int3 & sent16 -> int4: the hadrosaur is not cranial and/or it is synesthetic.; int4 & sent5 -> int5: the mesa is a feline.; sent11 -> int6: if the mesa is a feline then it is a perdurability.; int5 & int6 -> hypothesis;
the mesa is not a perdurability.
$hypothesis$ = the mesa is not a perdurability. ; $context$ = sent1: the hadrosaur is uninformative if the punter is synesthetic. sent2: that there exists something such that it is not non-cranial is correct. sent3: if the pincushion is not uninformative the fact that the hadrosaur is not cranial and it is not a perdurability is false. sent4: if there exists something such that that it is not unidentifiable is true either the punter is a nacelle or it is not a kind of a Confederacy or both. sent5: the mesa is feline if the hadrosaur is not cranial and/or it is synesthetic. sent6: either the punter is a nacelle or it is a Confederacy or both if there is something such that it is not unidentifiable. sent7: if something is either a nacelle or not a Confederacy or both then it is uninformative. sent8: there exists something such that it is synesthetic. sent9: there is something such that the fact that it is a Astropogon does not hold. sent10: there is something such that it is not identifiable. sent11: something is a kind of a perdurability if it is a kind of a feline. sent12: if that the fact that the hadrosaur is not cranial and is not a kind of a perdurability hold does not hold the mesa is not a perdurability. sent13: the hadrosaur either is cranial or is not non-synesthetic or both. sent14: there exists something such that it is not unidentifiable. sent15: the punter is cranial if it is a kind of a nacelle. sent16: the hadrosaur is not cranial and/or it is synesthetic if the punter is uninformative. ; $proof$ = 
sent7 -> int1: if either the punter is a nacelle or it is not a Confederacy or both it is uninformative.; sent14 & sent4 -> int2: the punter is a nacelle and/or it is not a Confederacy.; int1 & int2 -> int3: the punter is uninformative.; int3 & sent16 -> int4: the hadrosaur is not cranial and/or it is synesthetic.; int4 & sent5 -> int5: the mesa is a feline.; sent11 -> int6: if the mesa is a feline then it is a perdurability.; int5 & int6 -> hypothesis; __DISPROVED__