the undergraduate scents roughleg if the fact that the archangel is subtractive is not wrong.
sent1: if that the laetrile scents cornstalk but it is not spondaic is not right then the undergraduate runs fumigator. sent2: the archangel scents workhorse and it does cook. sent3: if the archangel does not scent foreman then that the fact that the laetrile does scent cornstalk and is not spondaic hold is not right. sent4: if that something does run fumigator is not incorrect then it does scent roughleg. sent5: something does not scent foreman if it is a kind of a annuitant and it does scent workhorse. sent6: the laetrile scents cornstalk and it does scent workhorse. sent7: if the archangel is subtractive it is a annuitant. sent8: the fact that the laetrile is a comber and it does run fumigator hold.
void -> assump1: Let's assume that the archangel is subtractive.; sent7 & assump1 -> int1: the archangel is a annuitant.; sent2 -> int2: the archangel does scent workhorse.; int1 & int2 -> int3: the archangel is a kind of a annuitant that scents workhorse.; sent5 -> int4: if the archangel is a annuitant and does scent workhorse then that it does not scent foreman is not false.; int3 & int4 -> int5: the archangel does not scent foreman.; int5 & sent3 -> int6: the fact that the laetrile scents cornstalk but it is not spondaic is not right.; int6 & sent1 -> int7: the undergraduate does run fumigator.; sent4 -> int8: the undergraduate does scent roughleg if that it does not run fumigator is not true.; int7 & int8 -> int9: the undergraduate scents roughleg.; [assump1] & int9 -> hypothesis;
$hypothesis$ = the undergraduate scents roughleg if the fact that the archangel is subtractive is not wrong. ; $context$ = sent1: if that the laetrile scents cornstalk but it is not spondaic is not right then the undergraduate runs fumigator. sent2: the archangel scents workhorse and it does cook. sent3: if the archangel does not scent foreman then that the fact that the laetrile does scent cornstalk and is not spondaic hold is not right. sent4: if that something does run fumigator is not incorrect then it does scent roughleg. sent5: something does not scent foreman if it is a kind of a annuitant and it does scent workhorse. sent6: the laetrile scents cornstalk and it does scent workhorse. sent7: if the archangel is subtractive it is a annuitant. sent8: the fact that the laetrile is a comber and it does run fumigator hold. ; $proof$ = 
void -> assump1: Let's assume that the archangel is subtractive.; sent7 & assump1 -> int1: the archangel is a annuitant.; sent2 -> int2: the archangel does scent workhorse.; int1 & int2 -> int3: the archangel is a kind of a annuitant that scents workhorse.; sent5 -> int4: if the archangel is a annuitant and does scent workhorse then that it does not scent foreman is not false.; int3 & int4 -> int5: the archangel does not scent foreman.; int5 & sent3 -> int6: the fact that the laetrile scents cornstalk but it is not spondaic is not right.; int6 & sent1 -> int7: the undergraduate does run fumigator.; sent4 -> int8: the undergraduate does scent roughleg if that it does not run fumigator is not true.; int7 & int8 -> int9: the undergraduate scents roughleg.; [assump1] & int9 -> hypothesis; __PROVED__