the huckster is a kind of a skid that is angiocarpic.
sent1: the fact that the pioneer is active and is noncommercial is not true. sent2: the pioneer is centigrade. sent3: the huckster is angiocarpic if that the pyrographer is not year-round hold. sent4: the fact that if the huckster is not year-round the pyrographer is both not non-angiocarpic and not commercial is not false. sent5: the huckster is active. sent6: if the pioneer is centigrade it is not noncommercial. sent7: if the pyrographer is not non-year-round that that the pioneer is active but it is not noncommercial is false is true. sent8: if the pyrographer is not year-round the huckster is a skid and it is angiocarpic. sent9: the huckster is angiocarpic. sent10: if something is not a touchscreen but it is streptococcal then that it is centigrade is true. sent11: the huckster is a kind of a Thalictrum. sent12: if something is not year-round then the fact that it skids and it is not non-angiocarpic is false. sent13: the dunce is not noncommercial. sent14: if the fact that that the pyrographer is not finite and it is not year-round does not hold is not wrong then the huckster is not year-round. sent15: the fact that the pioneer is an active and it is noncommercial is not correct if the pyrographer is year-round. sent16: that something is not finite and is not year-round is incorrect if it is centigrade. sent17: the pioneer is not noncommercial.
void -> assump1: Let's assume that the pyrographer is year-round.; sent7 & assump1 -> int1: the fact that the pioneer is not inactive and not noncommercial is not true.;
that the huckster is a kind of a skid that is not non-angiocarpic does not hold.
sent12 -> int2: that the huckster is a skid and it is angiocarpic is incorrect if it is non-year-round.; sent16 -> int3: if that the pyrographer is centigrade is correct then the fact that it is infinite and non-year-round is not true.; sent10 -> int4: the fact that the pyrographer is centigrade if the pyrographer is both not a touchscreen and streptococcal is correct.;
$hypothesis$ = the huckster is a kind of a skid that is angiocarpic. ; $context$ = sent1: the fact that the pioneer is active and is noncommercial is not true. sent2: the pioneer is centigrade. sent3: the huckster is angiocarpic if that the pyrographer is not year-round hold. sent4: the fact that if the huckster is not year-round the pyrographer is both not non-angiocarpic and not commercial is not false. sent5: the huckster is active. sent6: if the pioneer is centigrade it is not noncommercial. sent7: if the pyrographer is not non-year-round that that the pioneer is active but it is not noncommercial is false is true. sent8: if the pyrographer is not year-round the huckster is a skid and it is angiocarpic. sent9: the huckster is angiocarpic. sent10: if something is not a touchscreen but it is streptococcal then that it is centigrade is true. sent11: the huckster is a kind of a Thalictrum. sent12: if something is not year-round then the fact that it skids and it is not non-angiocarpic is false. sent13: the dunce is not noncommercial. sent14: if the fact that that the pyrographer is not finite and it is not year-round does not hold is not wrong then the huckster is not year-round. sent15: the fact that the pioneer is an active and it is noncommercial is not correct if the pyrographer is year-round. sent16: that something is not finite and is not year-round is incorrect if it is centigrade. sent17: the pioneer is not noncommercial. ; $proof$ = 
void -> assump1: Let's assume that the pyrographer is year-round.; sent7 & assump1 -> int1: the fact that the pioneer is not inactive and not noncommercial is not true.; __UNKNOWN__