the oviduct is a Euonymus.
sent1: if the nine-spot is an inconsistency the fact that the gaucho is an inconsistency is not false. sent2: if the gaucho is a Phalacrocorax that is a Florida then it is not an inconsistency. sent3: there is something such that that either it is unsupportive or it is not viviparous or both is not true. sent4: something is viviparous. sent5: the nine-spot is an inconsistency if there is something such that it is an inconsistency. sent6: the gaucho is not a Florida. sent7: the fact that the hash does not immortalize nine-spot hold if the oviduct is handmade and it is a Euonymus. sent8: something is unsupportive. sent9: the nine-spot is an inconsistency if there is something such that either it is not a kind of a probation or it is an inconsistency or both. sent10: the gaucho is a Phalacrocorax but it is not a kind of a Florida if the hash does not immortalize nine-spot. sent11: the cush-cush is not a probation and/or is a kind of an inconsistency. sent12: a Phalacrocorax that is not a Florida is not an inconsistency. sent13: something is supportive or is not viviparous or both. sent14: there exists something such that that it is supportive and/or non-viviparous does not hold. sent15: something is a kind of a probation and/or it is a kind of an inconsistency. sent16: if there exists something such that the fact that either it is not unsupportive or it is not viviparous or both is not right the oviduct is handmade.
sent14 & sent16 -> int1: the fact that the oviduct is not handmade is not true.; void -> assump1: Let's assume that the oviduct is a Euonymus.; int1 & assump1 -> int2: the oviduct is a kind of handmade thing that is a kind of a Euonymus.; int2 & sent7 -> int3: the hash does not immortalize nine-spot.; int3 & sent10 -> int4: the gaucho is a Phalacrocorax but it is not a Florida.; sent12 -> int5: the gaucho is not an inconsistency if it is a Phalacrocorax and it is not a Florida.; int4 & int5 -> int6: the gaucho is not an inconsistency.; sent11 -> int7: there exists something such that it is not a kind of a probation and/or it is an inconsistency.; int7 & sent9 -> int8: the nine-spot is an inconsistency.; sent1 & int8 -> int9: the gaucho is an inconsistency.; int6 & int9 -> int10: this is contradiction.; [assump1] & int10 -> hypothesis;
$hypothesis$ = the oviduct is a Euonymus. ; $context$ = sent1: if the nine-spot is an inconsistency the fact that the gaucho is an inconsistency is not false. sent2: if the gaucho is a Phalacrocorax that is a Florida then it is not an inconsistency. sent3: there is something such that that either it is unsupportive or it is not viviparous or both is not true. sent4: something is viviparous. sent5: the nine-spot is an inconsistency if there is something such that it is an inconsistency. sent6: the gaucho is not a Florida. sent7: the fact that the hash does not immortalize nine-spot hold if the oviduct is handmade and it is a Euonymus. sent8: something is unsupportive. sent9: the nine-spot is an inconsistency if there is something such that either it is not a kind of a probation or it is an inconsistency or both. sent10: the gaucho is a Phalacrocorax but it is not a kind of a Florida if the hash does not immortalize nine-spot. sent11: the cush-cush is not a probation and/or is a kind of an inconsistency. sent12: a Phalacrocorax that is not a Florida is not an inconsistency. sent13: something is supportive or is not viviparous or both. sent14: there exists something such that that it is supportive and/or non-viviparous does not hold. sent15: something is a kind of a probation and/or it is a kind of an inconsistency. sent16: if there exists something such that the fact that either it is not unsupportive or it is not viviparous or both is not right the oviduct is handmade. ; $proof$ = 
sent14 & sent16 -> int1: the fact that the oviduct is not handmade is not true.; void -> assump1: Let's assume that the oviduct is a Euonymus.; int1 & assump1 -> int2: the oviduct is a kind of handmade thing that is a kind of a Euonymus.; int2 & sent7 -> int3: the hash does not immortalize nine-spot.; int3 & sent10 -> int4: the gaucho is a Phalacrocorax but it is not a Florida.; sent12 -> int5: the gaucho is not an inconsistency if it is a Phalacrocorax and it is not a Florida.; int4 & int5 -> int6: the gaucho is not an inconsistency.; sent11 -> int7: there exists something such that it is not a kind of a probation and/or it is an inconsistency.; int7 & sent9 -> int8: the nine-spot is an inconsistency.; sent1 & int8 -> int9: the gaucho is an inconsistency.; int6 & int9 -> int10: this is contradiction.; [assump1] & int10 -> hypothesis; __DISPROVED__