the Benzoin is a liquefaction.
sent1: the fact that the sawmill is outdoor and comes does not hold. sent2: that the fact that the sawmill is outdoor and it comes is not right is not wrong if the snowbank does not comes. sent3: the fact that the sawmill does not come and bleeds is false if the snowbank does not bleeds. sent4: the snowbank is not generational. sent5: if that the snowbank does not come is not incorrect then the fact that the sawmill is non-outdoor thing that come does not hold. sent6: something does not come if it does not bleed. sent7: that the snowbank does bleed and is not an antibiotic does not hold if the Benzoin is not a liquefaction. sent8: the fact that the sawmill is not generational hold. sent9: if something is outdoor then it is Jamesian. sent10: the sawmill is generational if it is Jamesian. sent11: if the fact that something is not outdoor but it comes does not hold then it is Jamesian. sent12: if the fact that something bleeds and is not an antibiotic does not hold then it does not come. sent13: that the snowbank does not come is not incorrect if it does not bleed. sent14: the Benzoin is not an antibiotic. sent15: if the sawmill is outdoor then it is Jamesian.
void -> assump1: Let's assume that the Benzoin is not a liquefaction.; sent7 & assump1 -> int1: the fact that the snowbank does bleed and is not an antibiotic is not right.; sent12 -> int2: if the fact that the snowbank does bleed but it is not an antibiotic is not right it does not come.; int1 & int2 -> int3: the snowbank does not come.; int3 & sent5 -> int4: that the sawmill is not outdoor but it does come is wrong.; sent11 -> int5: the sawmill is Jamesian if that it is non-outdoor thing that comes is not correct.; int4 & int5 -> int6: the sawmill is Jamesian.; int6 & sent10 -> int7: the sawmill is generational.; int7 & sent8 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis;
$hypothesis$ = the Benzoin is a liquefaction. ; $context$ = sent1: the fact that the sawmill is outdoor and comes does not hold. sent2: that the fact that the sawmill is outdoor and it comes is not right is not wrong if the snowbank does not comes. sent3: the fact that the sawmill does not come and bleeds is false if the snowbank does not bleeds. sent4: the snowbank is not generational. sent5: if that the snowbank does not come is not incorrect then the fact that the sawmill is non-outdoor thing that come does not hold. sent6: something does not come if it does not bleed. sent7: that the snowbank does bleed and is not an antibiotic does not hold if the Benzoin is not a liquefaction. sent8: the fact that the sawmill is not generational hold. sent9: if something is outdoor then it is Jamesian. sent10: the sawmill is generational if it is Jamesian. sent11: if the fact that something is not outdoor but it comes does not hold then it is Jamesian. sent12: if the fact that something bleeds and is not an antibiotic does not hold then it does not come. sent13: that the snowbank does not come is not incorrect if it does not bleed. sent14: the Benzoin is not an antibiotic. sent15: if the sawmill is outdoor then it is Jamesian. ; $proof$ = 
void -> assump1: Let's assume that the Benzoin is not a liquefaction.; sent7 & assump1 -> int1: the fact that the snowbank does bleed and is not an antibiotic is not right.; sent12 -> int2: if the fact that the snowbank does bleed but it is not an antibiotic is not right it does not come.; int1 & int2 -> int3: the snowbank does not come.; int3 & sent5 -> int4: that the sawmill is not outdoor but it does come is wrong.; sent11 -> int5: the sawmill is Jamesian if that it is non-outdoor thing that comes is not correct.; int4 & int5 -> int6: the sawmill is Jamesian.; int6 & sent10 -> int7: the sawmill is generational.; int7 & sent8 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis; __PROVED__