that there is something such that if it overturns Copland the fact that it is a kind of a horniness and it is not optimistic is not right does not hold.
sent1: if something overturns Copland that it is a horniness and it is not optimistic is not true. sent2: if the betaine overturns Copland then the fact that it is a horniness and it is optimistic does not hold.
sent1 -> int1: if the betaine does overturn Copland then that it is a horniness and it is not optimistic is false.; int1 -> hypothesis;
$hypothesis$ = that there is something such that if it overturns Copland the fact that it is a kind of a horniness and it is not optimistic is not right does not hold. ; $context$ = sent1: if something overturns Copland that it is a horniness and it is not optimistic is not true. sent2: if the betaine overturns Copland then the fact that it is a horniness and it is optimistic does not hold. ; $proof$ = 
sent1 -> int1: if the betaine does overturn Copland then that it is a horniness and it is not optimistic is false.; int1 -> hypothesis; __DISPROVED__