the fact that the Louisianan is a spectrometer but it is non-alkaline is not true.
sent1: something is a spectrometer but it is not alkaline if it does cloister markup. sent2: if the scrubber is homing it is not unobvious. sent3: the scrubber does home. sent4: if the arroyo is not alkaline then the fact that the Louisianan is a kind of a spectrometer that is not alkaline does not hold. sent5: if the scrubber does not cloister markup the arroyo is not alkaline.
void -> assump1: Let's assume that the scrubber does cloister markup.; sent2 & sent3 -> int1: the scrubber is not unobvious.;
the Louisianan is a spectrometer but it is not alkaline.
sent1 -> int2: if the Louisianan does cloister markup then it is a spectrometer and is not alkaline.;
$hypothesis$ = the fact that the Louisianan is a spectrometer but it is non-alkaline is not true. ; $context$ = sent1: something is a spectrometer but it is not alkaline if it does cloister markup. sent2: if the scrubber is homing it is not unobvious. sent3: the scrubber does home. sent4: if the arroyo is not alkaline then the fact that the Louisianan is a kind of a spectrometer that is not alkaline does not hold. sent5: if the scrubber does not cloister markup the arroyo is not alkaline. ; $proof$ = 
void -> assump1: Let's assume that the scrubber does cloister markup.; sent2 & sent3 -> int1: the scrubber is not unobvious.; __UNKNOWN__