the dinosaur is enzymatic.
sent1: if something is not a kind of a screen the fact that it is oleaceous and is a consciousness does not hold. sent2: if something is nontranslational it is a Abruzzi. sent3: if there exists something such that it is not a consciousness that the dinosaur is not a reticule hold. sent4: if the soapbox is not nontranslational the dinosaur is a kind of a Abruzzi and it is enzymatic. sent5: there exists something such that that it is non-oleaceous thing that is a consciousness does not hold. sent6: the fact that something is not a kind of a reticule and is Churchillian is incorrect if that it is not oleaceous is not incorrect. sent7: if the chokecherry is a reticule then the fact that it is a kind of translational a Abruzzi is not right. sent8: something is not oleaceous but it is a consciousness. sent9: something is not Churchillian and is not a Abruzzi if it is not a reticule. sent10: if that something is oleaceous and is a consciousness is false it is not oleaceous. sent11: something is nontranslational if the fact that it is not non-enzymatic is not wrong. sent12: the fact that the beta-interferon is a Abruzzi that is enzymatic is not correct if there exists something such that it is not a kind of a Abruzzi. sent13: something that is not over-the-counter is not a Gavidae and does not concur. sent14: the Arminian is not nontranslational and does not front Knoxville. sent15: if the fact that something is a kind of a Abruzzi that is enzymatic is false then that it is not Churchillian is not incorrect. sent16: if there exists something such that the fact that it is not oleaceous and it is a consciousness does not hold the dinosaur is not a reticule. sent17: something is not Churchillian if it is not a reticule.
sent11 -> int1: the dinosaur is not translational if that it is enzymatic hold.; void -> assump1: Let's assume that the dinosaur is enzymatic.; int1 & assump1 -> int2: the dinosaur is not translational.; sent2 -> int3: if the dinosaur is nontranslational then it is a Abruzzi.; int2 & int3 -> int4: the dinosaur is a kind of a Abruzzi.; sent9 -> int5: the dinosaur is not Churchillian and is not a kind of a Abruzzi if that it is not a reticule is not incorrect.; sent5 & sent16 -> int6: the dinosaur is not a reticule.; int5 & int6 -> int7: the dinosaur is non-Churchillian thing that is not a Abruzzi.; int7 -> int8: the dinosaur is not a kind of a Abruzzi.; int4 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis;
the dinosaur is enzymatic.
sent6 -> int10: the fact that the soapbox is not a reticule but it is Churchillian is not true if it is not oleaceous.; sent10 -> int11: the chokecherry is not oleaceous if the fact that it is oleaceous and it is a kind of a consciousness does not hold.; sent1 -> int12: that the chokecherry is oleaceous thing that is a consciousness is incorrect if it is not a screen.;
$hypothesis$ = the dinosaur is enzymatic. ; $context$ = sent1: if something is not a kind of a screen the fact that it is oleaceous and is a consciousness does not hold. sent2: if something is nontranslational it is a Abruzzi. sent3: if there exists something such that it is not a consciousness that the dinosaur is not a reticule hold. sent4: if the soapbox is not nontranslational the dinosaur is a kind of a Abruzzi and it is enzymatic. sent5: there exists something such that that it is non-oleaceous thing that is a consciousness does not hold. sent6: the fact that something is not a kind of a reticule and is Churchillian is incorrect if that it is not oleaceous is not incorrect. sent7: if the chokecherry is a reticule then the fact that it is a kind of translational a Abruzzi is not right. sent8: something is not oleaceous but it is a consciousness. sent9: something is not Churchillian and is not a Abruzzi if it is not a reticule. sent10: if that something is oleaceous and is a consciousness is false it is not oleaceous. sent11: something is nontranslational if the fact that it is not non-enzymatic is not wrong. sent12: the fact that the beta-interferon is a Abruzzi that is enzymatic is not correct if there exists something such that it is not a kind of a Abruzzi. sent13: something that is not over-the-counter is not a Gavidae and does not concur. sent14: the Arminian is not nontranslational and does not front Knoxville. sent15: if the fact that something is a kind of a Abruzzi that is enzymatic is false then that it is not Churchillian is not incorrect. sent16: if there exists something such that the fact that it is not oleaceous and it is a consciousness does not hold the dinosaur is not a reticule. sent17: something is not Churchillian if it is not a reticule. ; $proof$ = 
sent11 -> int1: the dinosaur is not translational if that it is enzymatic hold.; void -> assump1: Let's assume that the dinosaur is enzymatic.; int1 & assump1 -> int2: the dinosaur is not translational.; sent2 -> int3: if the dinosaur is nontranslational then it is a Abruzzi.; int2 & int3 -> int4: the dinosaur is a kind of a Abruzzi.; sent9 -> int5: the dinosaur is not Churchillian and is not a kind of a Abruzzi if that it is not a reticule is not incorrect.; sent5 & sent16 -> int6: the dinosaur is not a reticule.; int5 & int6 -> int7: the dinosaur is non-Churchillian thing that is not a Abruzzi.; int7 -> int8: the dinosaur is not a kind of a Abruzzi.; int4 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis; __DISPROVED__