the Pablum is not broadband if it is a Romanism.
sent1: the runner-up is transatlantic. sent2: if there is something such that the fact that it is transatlantic thing that is not a Romanism is incorrect then the briarwood is not transatlantic. sent3: the gainer is transatlantic. sent4: the sirloin is transatlantic. sent5: that the Pablum does not grate nabumetone hold if it is placable. sent6: that the Pablum does pronate hold. sent7: if the Pablum is a Romanism but it is not transatlantic then the fact that it is broadband is not false. sent8: the Pablum is a mess. sent9: the Pablum is rentable. sent10: a Ukrainian that is not a squash is likely. sent11: the Pablum is broadband. sent12: the Pablum is not transatlantic. sent13: if something that is a Romanism is not transatlantic then it is not broadband. sent14: that the clavier is not transatlantic is right.
void -> assump1: Let's assume that the Pablum is a Romanism.; assump1 & sent12 -> int1: the Pablum is a Romanism but it is non-transatlantic.; sent13 -> int2: the Pablum is not broadband if it is a kind of a Romanism and it is not transatlantic.; int1 & int2 -> int3: the Pablum is not broadband.; [assump1] & int3 -> hypothesis;
the briarwood is not transatlantic.
$hypothesis$ = the Pablum is not broadband if it is a Romanism. ; $context$ = sent1: the runner-up is transatlantic. sent2: if there is something such that the fact that it is transatlantic thing that is not a Romanism is incorrect then the briarwood is not transatlantic. sent3: the gainer is transatlantic. sent4: the sirloin is transatlantic. sent5: that the Pablum does not grate nabumetone hold if it is placable. sent6: that the Pablum does pronate hold. sent7: if the Pablum is a Romanism but it is not transatlantic then the fact that it is broadband is not false. sent8: the Pablum is a mess. sent9: the Pablum is rentable. sent10: a Ukrainian that is not a squash is likely. sent11: the Pablum is broadband. sent12: the Pablum is not transatlantic. sent13: if something that is a Romanism is not transatlantic then it is not broadband. sent14: that the clavier is not transatlantic is right. ; $proof$ = 
void -> assump1: Let's assume that the Pablum is a Romanism.; assump1 & sent12 -> int1: the Pablum is a Romanism but it is non-transatlantic.; sent13 -> int2: the Pablum is not broadband if it is a kind of a Romanism and it is not transatlantic.; int1 & int2 -> int3: the Pablum is not broadband.; [assump1] & int3 -> hypothesis; __PROVED__