that that the orrisroot does resize but it is not a kind of a Voltaire is incorrect if the maraca is drupaceous does not hold.
sent1: that if the sonneteer is temperate the fact that the orrisroot does style planetoid is not false is true. sent2: if that the maraca is drupaceous hold then that the sonneteer is a kind of intemperate thing that is a kibitzer is not correct. sent3: the fact that something does resize and is not temperate is wrong if it is a Voltaire. sent4: that the fact that something does resize and it is a Voltaire hold is wrong if it does style planetoid. sent5: the fact that the sonneteer is temperate thing that is a kibitzer is wrong. sent6: the orrisroot does style planetoid if that the fact that the sonneteer is not temperate and is a kibitzer is not false is not true. sent7: that something does resize and is not a Voltaire does not hold if it styles planetoid. sent8: the fact that the orrisroot does resize and it is a Voltaire does not hold if it styles planetoid. sent9: if the maraca is drupaceous then the fact that the orrisroot resizes and is a Voltaire does not hold. sent10: that the sonneteer is not a kibitzer and does resize is not true. sent11: the fact that the orrisroot resizes and is a Voltaire is not true. sent12: the orrisroot does resize and is not a Voltaire if it styles planetoid. sent13: if the sonneteer resizes the fact that the orrisroot is temperate and is a Voltaire is not correct. sent14: the orrisroot resizes and is not a Voltaire. sent15: if something does style planetoid then it resizes and it is not a Voltaire.
void -> assump1: Let's assume that that the maraca is drupaceous is not wrong.; sent2 & assump1 -> int1: that the sonneteer is not temperate but it is a kibitzer does not hold.; int1 & sent6 -> int2: the orrisroot does style planetoid.; sent7 -> int3: if the orrisroot styles planetoid then the fact that it resizes and it is not a Voltaire is not true.; int2 & int3 -> int4: the fact that the orrisroot does resize but it is not a Voltaire does not hold.; [assump1] & int4 -> hypothesis;
$hypothesis$ = that that the orrisroot does resize but it is not a kind of a Voltaire is incorrect if the maraca is drupaceous does not hold. ; $context$ = sent1: that if the sonneteer is temperate the fact that the orrisroot does style planetoid is not false is true. sent2: if that the maraca is drupaceous hold then that the sonneteer is a kind of intemperate thing that is a kibitzer is not correct. sent3: the fact that something does resize and is not temperate is wrong if it is a Voltaire. sent4: that the fact that something does resize and it is a Voltaire hold is wrong if it does style planetoid. sent5: the fact that the sonneteer is temperate thing that is a kibitzer is wrong. sent6: the orrisroot does style planetoid if that the fact that the sonneteer is not temperate and is a kibitzer is not false is not true. sent7: that something does resize and is not a Voltaire does not hold if it styles planetoid. sent8: the fact that the orrisroot does resize and it is a Voltaire does not hold if it styles planetoid. sent9: if the maraca is drupaceous then the fact that the orrisroot resizes and is a Voltaire does not hold. sent10: that the sonneteer is not a kibitzer and does resize is not true. sent11: the fact that the orrisroot resizes and is a Voltaire is not true. sent12: the orrisroot does resize and is not a Voltaire if it styles planetoid. sent13: if the sonneteer resizes the fact that the orrisroot is temperate and is a Voltaire is not correct. sent14: the orrisroot resizes and is not a Voltaire. sent15: if something does style planetoid then it resizes and it is not a Voltaire. ; $proof$ = 
void -> assump1: Let's assume that that the maraca is drupaceous is not wrong.; sent2 & assump1 -> int1: that the sonneteer is not temperate but it is a kibitzer does not hold.; int1 & sent6 -> int2: the orrisroot does style planetoid.; sent7 -> int3: if the orrisroot styles planetoid then the fact that it resizes and it is not a Voltaire is not true.; int2 & int3 -> int4: the fact that the orrisroot does resize but it is not a Voltaire does not hold.; [assump1] & int4 -> hypothesis; __DISPROVED__