the fact that the bagasse is not antiferromagnetic and/or is not a kind of a native is not true.
sent1: the fact that the cavalla deposes adulthood but it is not amphitheatric is not true if the fact that the bagasse deposes adulthood hold. sent2: the cavalla is fruitful if the fact that it does depose adulthood and it is not amphitheatric does not hold. sent3: something that underquotes drip is not antiferromagnetic or not a native or both. sent4: that the bagasse is the Citellus and deposes adulthood if the bagasse does not underquote drip is not incorrect. sent5: if there is something such that the fact that that either it is a sophisticate or it is not a multiplicand or both is right is false the cavalla is not fruitful. sent6: there is something such that that it does sophisticate or it is not a multiplicand or both is not true. sent7: if the cavalla does not underquote drip then that that the bagasse is not antiferromagnetic or it is not a native or both is not incorrect is not true.
void -> assump1: Let's assume that that the bagasse does not underquote drip hold.; sent4 & assump1 -> int1: the bagasse is a Citellus and deposes adulthood.; int1 -> int2: the bagasse does depose adulthood.; int2 & sent1 -> int3: the fact that the cavalla deposes adulthood but it is not amphitheatric is wrong.; int3 & sent2 -> int4: the fact that the cavalla is fruitful is true.; sent6 & sent5 -> int5: the cavalla is not fruitful.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the bagasse underquotes drip.; sent3 -> int8: if that the bagasse does underquote drip is correct it is not antiferromagnetic and/or is not a native.; int7 & int8 -> hypothesis;
that the bagasse is not antiferromagnetic or it is not a kind of a native or both is not right.
$hypothesis$ = the fact that the bagasse is not antiferromagnetic and/or is not a kind of a native is not true. ; $context$ = sent1: the fact that the cavalla deposes adulthood but it is not amphitheatric is not true if the fact that the bagasse deposes adulthood hold. sent2: the cavalla is fruitful if the fact that it does depose adulthood and it is not amphitheatric does not hold. sent3: something that underquotes drip is not antiferromagnetic or not a native or both. sent4: that the bagasse is the Citellus and deposes adulthood if the bagasse does not underquote drip is not incorrect. sent5: if there is something such that the fact that that either it is a sophisticate or it is not a multiplicand or both is right is false the cavalla is not fruitful. sent6: there is something such that that it does sophisticate or it is not a multiplicand or both is not true. sent7: if the cavalla does not underquote drip then that that the bagasse is not antiferromagnetic or it is not a native or both is not incorrect is not true. ; $proof$ = 
void -> assump1: Let's assume that that the bagasse does not underquote drip hold.; sent4 & assump1 -> int1: the bagasse is a Citellus and deposes adulthood.; int1 -> int2: the bagasse does depose adulthood.; int2 & sent1 -> int3: the fact that the cavalla deposes adulthood but it is not amphitheatric is wrong.; int3 & sent2 -> int4: the fact that the cavalla is fruitful is true.; sent6 & sent5 -> int5: the cavalla is not fruitful.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the bagasse underquotes drip.; sent3 -> int8: if that the bagasse does underquote drip is correct it is not antiferromagnetic and/or is not a native.; int7 & int8 -> hypothesis; __DISPROVED__