the Senhor is a kind of a spiciness if the anchovy does subject blank.
sent1: the fact that the anchovy is a spiciness is not wrong. sent2: there exists something such that it does not deprive caseworm. sent3: the fact that something does subject blank and is a spiciness is wrong if it is not advective. sent4: that something does not deprive caseworm but it is Tajikistani is incorrect if it does not subject blank.
void -> assump2: Let's assume that the anchovy does not subject blank and does deprive caseworm.; assump2 -> int1: the anchovy does not subject blank.; void -> assump1: Let's assume that the anchovy subjects blank.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the anchovy does not subject blank and deprives caseworm is not correct.; int3 -> int4: there is something such that the fact that it does not subject blank and deprives caseworm is not true.;
that the monomer does not deprive caseworm and is Tajikistani does not hold.
sent4 -> int5: if the monomer does not subject blank that it does not deprive caseworm and is Tajikistani is not correct.; sent3 -> int6: if the anchovy is not advective then that it does subject blank and it is a spiciness is wrong.;
$hypothesis$ = the Senhor is a kind of a spiciness if the anchovy does subject blank. ; $context$ = sent1: the fact that the anchovy is a spiciness is not wrong. sent2: there exists something such that it does not deprive caseworm. sent3: the fact that something does subject blank and is a spiciness is wrong if it is not advective. sent4: that something does not deprive caseworm but it is Tajikistani is incorrect if it does not subject blank. ; $proof$ = 
void -> assump2: Let's assume that the anchovy does not subject blank and does deprive caseworm.; assump2 -> int1: the anchovy does not subject blank.; void -> assump1: Let's assume that the anchovy subjects blank.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the anchovy does not subject blank and deprives caseworm is not correct.; int3 -> int4: there is something such that the fact that it does not subject blank and deprives caseworm is not true.; __UNKNOWN__