the tyrosine is not a kind of a jalapeno.
sent1: there exists something such that it is a kind of an outboard. sent2: if something is not a kind of a jalapeno then the fact that it is not a kind of a pocketful and does neglect jaded does not hold. sent3: the fact that something is not a pocketful and it does not neglect jaded is not correct if it is not a jalapeno. sent4: if there is something such that it is an outboard the fact that the tyrosine is not a pocketful and it does not neglect jaded is not false. sent5: the tyrosine is not a jalapeno if the consumptive is a jalapeno and is not an outboard. sent6: the tyrosine is not a kind of a Toyonaki if there are copular things.
sent3 -> int1: if the tyrosine is not a jalapeno that it is not a pocketful and it does not neglect jaded does not hold.; void -> assump1: Let's assume that the tyrosine is not a jalapeno.; int1 & assump1 -> int2: that the tyrosine is not a kind of a pocketful and it does not neglect jaded is not correct.; sent1 & sent4 -> int3: the tyrosine is not a pocketful and it does not neglect jaded.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> hypothesis;
the tyrosine is not a kind of a jalapeno.
$hypothesis$ = the tyrosine is not a kind of a jalapeno. ; $context$ = sent1: there exists something such that it is a kind of an outboard. sent2: if something is not a kind of a jalapeno then the fact that it is not a kind of a pocketful and does neglect jaded does not hold. sent3: the fact that something is not a pocketful and it does not neglect jaded is not correct if it is not a jalapeno. sent4: if there is something such that it is an outboard the fact that the tyrosine is not a pocketful and it does not neglect jaded is not false. sent5: the tyrosine is not a jalapeno if the consumptive is a jalapeno and is not an outboard. sent6: the tyrosine is not a kind of a Toyonaki if there are copular things. ; $proof$ = 
sent3 -> int1: if the tyrosine is not a jalapeno that it is not a pocketful and it does not neglect jaded does not hold.; void -> assump1: Let's assume that the tyrosine is not a jalapeno.; int1 & assump1 -> int2: that the tyrosine is not a kind of a pocketful and it does not neglect jaded is not correct.; sent1 & sent4 -> int3: the tyrosine is not a pocketful and it does not neglect jaded.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> hypothesis; __DISPROVED__