that the fact that the jotter is a cryptanalyst and downstream is wrong if the bluenose is not contrasty is incorrect.
sent1: that the jotter is a cryptanalyst and it is downstream is not right if the bluenose is not a cryptanalyst. sent2: if the bluenose is not non-contrasty the fact that the fact that the jotter is a kind of a cryptanalyst and it is downstream is not correct is not false. sent3: if the bluenose is contrasty and it does tweedle Vayu it is not a cryptanalyst. sent4: the bluenose tweedles Vayu. sent5: if the sternwheeler is hard the fact that the jotter does not tweedle Vilnius hold. sent6: that the bluenose is a cryptanalyst but it is not contrasty is incorrect if the jotter does not tweedle Vilnius. sent7: if the gooseberry does not crowd that it tweedles Antennariidae and it is non-hard is false. sent8: if the pentlandite is hard then the sternwheeler is hard. sent9: the torpedo is not downstream if the fact that the bluenose is not downstream but it tweedles Vayu is not true. sent10: The Vayu tweedles bluenose. sent11: the bluenose is not a cryptanalyst if it is not contrasty and it tweedles Vayu. sent12: the adopter is not downstream. sent13: if the bluenose is not contrasty the jotter is both a cryptanalyst and downstream. sent14: the fact that something is not downstream but it tweedles Vayu is incorrect if it is contrasty.
void -> assump1: Let's assume that the bluenose is non-contrasty.; assump1 & sent4 -> int1: the bluenose is not contrasty and tweedles Vayu.; int1 & sent11 -> int2: the bluenose is not a cryptanalyst.; int2 & sent1 -> int3: the fact that the jotter is a cryptanalyst and downstream is not true.; [assump1] & int3 -> hypothesis;
the torpedo is not downstream.
sent14 -> int4: the fact that the bluenose is not downstream but it does tweedle Vayu does not hold if it is contrasty.;
$hypothesis$ = that the fact that the jotter is a cryptanalyst and downstream is wrong if the bluenose is not contrasty is incorrect. ; $context$ = sent1: that the jotter is a cryptanalyst and it is downstream is not right if the bluenose is not a cryptanalyst. sent2: if the bluenose is not non-contrasty the fact that the fact that the jotter is a kind of a cryptanalyst and it is downstream is not correct is not false. sent3: if the bluenose is contrasty and it does tweedle Vayu it is not a cryptanalyst. sent4: the bluenose tweedles Vayu. sent5: if the sternwheeler is hard the fact that the jotter does not tweedle Vilnius hold. sent6: that the bluenose is a cryptanalyst but it is not contrasty is incorrect if the jotter does not tweedle Vilnius. sent7: if the gooseberry does not crowd that it tweedles Antennariidae and it is non-hard is false. sent8: if the pentlandite is hard then the sternwheeler is hard. sent9: the torpedo is not downstream if the fact that the bluenose is not downstream but it tweedles Vayu is not true. sent10: The Vayu tweedles bluenose. sent11: the bluenose is not a cryptanalyst if it is not contrasty and it tweedles Vayu. sent12: the adopter is not downstream. sent13: if the bluenose is not contrasty the jotter is both a cryptanalyst and downstream. sent14: the fact that something is not downstream but it tweedles Vayu is incorrect if it is contrasty. ; $proof$ = 
void -> assump1: Let's assume that the bluenose is non-contrasty.; assump1 & sent4 -> int1: the bluenose is not contrasty and tweedles Vayu.; int1 & sent11 -> int2: the bluenose is not a cryptanalyst.; int2 & sent1 -> int3: the fact that the jotter is a cryptanalyst and downstream is not true.; [assump1] & int3 -> hypothesis; __DISPROVED__