the taffrail is not a jugglery.
sent1: if something is Rastafarian and nonarbitrable then it is theocratic. sent2: if the tiglon is not a kind of a Merlin but it is a braced then it is not protozoal. sent3: the taffrail is not theocratic. sent4: the fact that the taffrail is both a Goring and theocratic is not right if that it is not physical is correct. sent5: if something does quintuple screech it is a Rastafarian and it is not arbitrable. sent6: if the taffrail is not theocratic then the fact that it is a Rastafarian and it is a kind of a jugglery is not right. sent7: the tiglon does not alternate if that either the merchant is unforgettable or it is scotomatous or both is not correct. sent8: the tiglon is not a Merlin but a braced. sent9: if the tiglon is not protozoal the fact that it is theocratic and it is not Rastafarian is wrong. sent10: that the tiglon is not a Merlin is not incorrect. sent11: the fact that the tiglon is a legs and is a kind of a jugglery does not hold if it does not quintuple stentor. sent12: the taffrail is not a Rastafarian if that the tiglon is a kind of a jugglery but it is not protozoal is not correct. sent13: if the tiglon is a Merlin that is a braced then it is not protozoal. sent14: the tiglon does quintuple screech and it is a Stanleya if it is not alternating. sent15: if that the tiglon is theocratic but it is not a kind of a Rastafarian is wrong then the taffrail is not a jugglery. sent16: if the tiglon is not a jugglery but it is protozoal the taffrail is a jugglery.
sent2 & sent8 -> int1: the tiglon is not protozoal.; int1 & sent9 -> int2: the fact that the tiglon is theocratic but it is not a Rastafarian is not true.; int2 & sent15 -> hypothesis;
the taffrail is a jugglery.
sent1 -> int3: if the tiglon is both a Rastafarian and not arbitrable then it is theocratic.; sent5 -> int4: if the tiglon quintuples screech then it is a kind of a Rastafarian and it is not arbitrable.;
$hypothesis$ = the taffrail is not a jugglery. ; $context$ = sent1: if something is Rastafarian and nonarbitrable then it is theocratic. sent2: if the tiglon is not a kind of a Merlin but it is a braced then it is not protozoal. sent3: the taffrail is not theocratic. sent4: the fact that the taffrail is both a Goring and theocratic is not right if that it is not physical is correct. sent5: if something does quintuple screech it is a Rastafarian and it is not arbitrable. sent6: if the taffrail is not theocratic then the fact that it is a Rastafarian and it is a kind of a jugglery is not right. sent7: the tiglon does not alternate if that either the merchant is unforgettable or it is scotomatous or both is not correct. sent8: the tiglon is not a Merlin but a braced. sent9: if the tiglon is not protozoal the fact that it is theocratic and it is not Rastafarian is wrong. sent10: that the tiglon is not a Merlin is not incorrect. sent11: the fact that the tiglon is a legs and is a kind of a jugglery does not hold if it does not quintuple stentor. sent12: the taffrail is not a Rastafarian if that the tiglon is a kind of a jugglery but it is not protozoal is not correct. sent13: if the tiglon is a Merlin that is a braced then it is not protozoal. sent14: the tiglon does quintuple screech and it is a Stanleya if it is not alternating. sent15: if that the tiglon is theocratic but it is not a kind of a Rastafarian is wrong then the taffrail is not a jugglery. sent16: if the tiglon is not a jugglery but it is protozoal the taffrail is a jugglery. ; $proof$ = 
sent2 & sent8 -> int1: the tiglon is not protozoal.; int1 & sent9 -> int2: the fact that the tiglon is theocratic but it is not a Rastafarian is not true.; int2 & sent15 -> hypothesis; __PROVED__