the beetroot does survive.
sent1: if the paperboard is a kind of a Argonauta then the comfrey is a chinquapin. sent2: the paperboard is a Argonauta or it is clausal or both. sent3: the comfrey is a chinquapin if the paperboard is clausal. sent4: the fact that the Yankee is not a Pahlavi hold if the beetroot is a linguine and it does survive. sent5: if something is a chinquapin then the Yankee is a Pahlavi. sent6: the beetroot is a kind of a linguine and it does exsiccate streptococcus.
sent6 -> int1: the beetroot is a kind of a linguine.; void -> assump1: Let's assume that the beetroot does survive.; int1 & assump1 -> int2: the beetroot is a linguine and survives.; int2 & sent4 -> int3: that the Yankee is not a Pahlavi is correct.; sent2 & sent1 & sent3 -> int4: the comfrey is a chinquapin.; int4 -> int5: there exists something such that it is a kind of a chinquapin.; int5 & sent5 -> int6: the Yankee is a Pahlavi.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis;
$hypothesis$ = the beetroot does survive. ; $context$ = sent1: if the paperboard is a kind of a Argonauta then the comfrey is a chinquapin. sent2: the paperboard is a Argonauta or it is clausal or both. sent3: the comfrey is a chinquapin if the paperboard is clausal. sent4: the fact that the Yankee is not a Pahlavi hold if the beetroot is a linguine and it does survive. sent5: if something is a chinquapin then the Yankee is a Pahlavi. sent6: the beetroot is a kind of a linguine and it does exsiccate streptococcus. ; $proof$ = 
sent6 -> int1: the beetroot is a kind of a linguine.; void -> assump1: Let's assume that the beetroot does survive.; int1 & assump1 -> int2: the beetroot is a linguine and survives.; int2 & sent4 -> int3: that the Yankee is not a Pahlavi is correct.; sent2 & sent1 & sent3 -> int4: the comfrey is a chinquapin.; int4 -> int5: there exists something such that it is a kind of a chinquapin.; int5 & sent5 -> int6: the Yankee is a Pahlavi.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis; __DISPROVED__