the quarreler is a kind of a Ventner or it is a Luftwaffe or both.
sent1: something is a rhinovirus and/or it is a pastoral if it does not horripilate organification. sent2: the quarreler is a pastoral. sent3: everything does not horripilate organification. sent4: if the quarreler is not a Ventner then it is not anisotropic.
void -> assump1: Let's assume that the quarreler is not a Ventner.; sent4 & assump1 -> int1: the quarreler is not anisotropic.;
the fact that the quarreler is a kind of a Ventner or it is a Luftwaffe or both is not right.
sent1 -> int2: the creditor is a rhinovirus and/or is a kind of a pastoral if it does not horripilate organification.; sent3 -> int3: the creditor does not horripilate organification.; int2 & int3 -> int4: the creditor is a rhinovirus or it is a pastoral or both.; int4 -> int5: everything is a rhinovirus and/or is a pastoral.; int5 -> int6: the rootstock is a kind of a rhinovirus or it is a pastoral or both.;
$hypothesis$ = the quarreler is a kind of a Ventner or it is a Luftwaffe or both. ; $context$ = sent1: something is a rhinovirus and/or it is a pastoral if it does not horripilate organification. sent2: the quarreler is a pastoral. sent3: everything does not horripilate organification. sent4: if the quarreler is not a Ventner then it is not anisotropic. ; $proof$ = 
void -> assump1: Let's assume that the quarreler is not a Ventner.; sent4 & assump1 -> int1: the quarreler is not anisotropic.; __UNKNOWN__