the belvedere is not a kind of a heave.
sent1: there are forte things. sent2: the belvedere does heave if the colophon is not a kind of a ticking. sent3: the belvedere is a heave if the fact that the colophon is non-forte hold. sent4: the concessionaire is not lactogenic if there exists something such that that it either does not tick or is not a forte or both is not correct. sent5: something ticks. sent6: the trisaccharide is a trope. sent7: if the trisaccharide is a kind of a trope the concessionaire is lactogenic. sent8: there exists something such that that it is lactogenic or it is not a kind of a trope or both is not true. sent9: if the fact that something is lactogenic and it is a heave is incorrect it is not a heave. sent10: if something is not a kind of a trope then that it is not non-lactogenic but a heave does not hold.
void -> assump1: Let's assume that the fact that the colophon does not tick or it is not forte or both is not right.; assump1 -> int1: there is something such that the fact that it does not tick or it is not a forte or both is wrong.; int1 & sent4 -> int2: the concessionaire is not lactogenic.; sent7 & sent6 -> int3: the concessionaire is lactogenic.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: either the colophon is not a ticking or it is not a kind of a forte or both.; int5 & sent2 & sent3 -> hypothesis;
the belvedere is not a kind of a heave.
sent9 -> int6: the belvedere is not a kind of a heave if that it is lactogenic and it is a kind of a heave is not correct.; sent10 -> int7: that the belvedere is a kind of lactogenic a heave does not hold if the fact that it is not a trope is correct.;
$hypothesis$ = the belvedere is not a kind of a heave. ; $context$ = sent1: there are forte things. sent2: the belvedere does heave if the colophon is not a kind of a ticking. sent3: the belvedere is a heave if the fact that the colophon is non-forte hold. sent4: the concessionaire is not lactogenic if there exists something such that that it either does not tick or is not a forte or both is not correct. sent5: something ticks. sent6: the trisaccharide is a trope. sent7: if the trisaccharide is a kind of a trope the concessionaire is lactogenic. sent8: there exists something such that that it is lactogenic or it is not a kind of a trope or both is not true. sent9: if the fact that something is lactogenic and it is a heave is incorrect it is not a heave. sent10: if something is not a kind of a trope then that it is not non-lactogenic but a heave does not hold. ; $proof$ = 
void -> assump1: Let's assume that the fact that the colophon does not tick or it is not forte or both is not right.; assump1 -> int1: there is something such that the fact that it does not tick or it is not a forte or both is wrong.; int1 & sent4 -> int2: the concessionaire is not lactogenic.; sent7 & sent6 -> int3: the concessionaire is lactogenic.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: either the colophon is not a ticking or it is not a kind of a forte or both.; int5 & sent2 & sent3 -> hypothesis; __DISPROVED__