if the linen is Swazi then the chopper is not non-algal.
sent1: the chopper is bloodless if the linen is a sweatsuit. sent2: if the linen is a metric the chopper is a sweatsuit. sent3: if the chopper is metric the linen is algal. sent4: the chopper is a metric if the linen is algal. sent5: the ground-shaker is a sweatsuit and Swazi if the linen is not metric. sent6: the chopper is a sweatsuit if the linen is algal. sent7: the linen is a metric if it is Swazi. sent8: if the linen is bloodless it is a kind of a sweatsuit. sent9: the linen is a laryngectomy if it is algal. sent10: the linen is a metric if it is an assurance. sent11: if something is bloodless it is algal. sent12: if that something is not bloodless and is not algal is not correct then it is not a metric. sent13: the chopper is a kind of a sweatsuit. sent14: if the chopper is a kind of a Swazi the fact that it is bloodless hold. sent15: something is a Swazi if it is bloodless. sent16: the automation is a sweatsuit. sent17: if the chopper is bloodless then it is a kind of a sock.
void -> assump1: Let's assume that the linen is Swazi.; sent7 & assump1 -> int1: the linen is a metric.; sent11 -> int2: the chopper is algal if that it is bloodless is not wrong.;
the fact that the ground-shaker is not a sweatsuit is not right.
sent12 -> int3: if the fact that the linen is both not bloodless and not algal does not hold then it is not metric.;
$hypothesis$ = if the linen is Swazi then the chopper is not non-algal. ; $context$ = sent1: the chopper is bloodless if the linen is a sweatsuit. sent2: if the linen is a metric the chopper is a sweatsuit. sent3: if the chopper is metric the linen is algal. sent4: the chopper is a metric if the linen is algal. sent5: the ground-shaker is a sweatsuit and Swazi if the linen is not metric. sent6: the chopper is a sweatsuit if the linen is algal. sent7: the linen is a metric if it is Swazi. sent8: if the linen is bloodless it is a kind of a sweatsuit. sent9: the linen is a laryngectomy if it is algal. sent10: the linen is a metric if it is an assurance. sent11: if something is bloodless it is algal. sent12: if that something is not bloodless and is not algal is not correct then it is not a metric. sent13: the chopper is a kind of a sweatsuit. sent14: if the chopper is a kind of a Swazi the fact that it is bloodless hold. sent15: something is a Swazi if it is bloodless. sent16: the automation is a sweatsuit. sent17: if the chopper is bloodless then it is a kind of a sock. ; $proof$ = 
void -> assump1: Let's assume that the linen is Swazi.; sent7 & assump1 -> int1: the linen is a metric.; sent11 -> int2: the chopper is algal if that it is bloodless is not wrong.; __UNKNOWN__