that the backstroker is not a kind of a buyout does not hold.
sent1: if something is not a persona the fact that it is plutocratic and is not a buyout does not hold. sent2: the backstroker is a persona that is a Havana if there is something such that it is not plutocratic. sent3: something is not a kind of a buyout if that it is a persona that is a kind of a Havana is true. sent4: there exists something such that it is a Tabuk. sent5: there exists something such that it is not plutocratic. sent6: if something is non-plutocratic the backstroker is a torturer.
sent5 & sent2 -> int1: the backstroker is a kind of a persona and is a Havana.; sent3 -> int2: if the backstroker is a persona and it is a kind of a Havana it is not a buyout.; int1 & int2 -> hypothesis;
that the backstroker is a buyout is correct.
sent1 -> int3: if the reproduction is not a persona then that it is plutocratic thing that is not a kind of a buyout is not right.;
$hypothesis$ = that the backstroker is not a kind of a buyout does not hold. ; $context$ = sent1: if something is not a persona the fact that it is plutocratic and is not a buyout does not hold. sent2: the backstroker is a persona that is a Havana if there is something such that it is not plutocratic. sent3: something is not a kind of a buyout if that it is a persona that is a kind of a Havana is true. sent4: there exists something such that it is a Tabuk. sent5: there exists something such that it is not plutocratic. sent6: if something is non-plutocratic the backstroker is a torturer. ; $proof$ = 
sent5 & sent2 -> int1: the backstroker is a kind of a persona and is a Havana.; sent3 -> int2: if the backstroker is a persona and it is a kind of a Havana it is not a buyout.; int1 & int2 -> hypothesis; __DISPROVED__