the fact that if the hoister blazes then the Village does mass-produce singles is false.
sent1: if the hoister does saponify the Village is a blaze. sent2: the fire-wheel is a kind of a blaze if the hoister is non-stubborn thing that mass-produces singles. sent3: if the Village is not a floorboard and not a polystyrene the fact that the hoister is not a kind of a floorboard is right. sent4: that the fact that something does not saponify and/or is not a blaze is false if it is not stubborn is not false. sent5: that the telethermometer mass-produces singles is true. sent6: the clubhouse does mass-produce singles. sent7: if the Village is a blaze the hoister does mass-produce singles. sent8: something mass-produces singles if that it does not saponify and/or it is not a blaze does not hold. sent9: if the fact that something does saponify is not wrong then it mass-produces singles. sent10: the Village is a backlash if the fact that the Sikh sprays midbrain is not incorrect. sent11: if the avadavat does blaze it is top-down. sent12: if the hoister is a kind of a blaze then the Village does saponify. sent13: if the fact that something is a polystyrene that is a floorboard is not correct then it is not stubborn. sent14: if something is not a kind of a backlash the fact that it is a polystyrene and it is a kind of a floorboard does not hold. sent15: something that is not a kind of a floorboard is a kind of non-stubborn thing that does mass-produce singles.
void -> assump1: Let's assume that the hoister is a blaze.; sent12 & assump1 -> int1: the Village saponifies.; sent9 -> int2: the Village does mass-produce singles if it does saponify.; int1 & int2 -> int3: the fact that the Village mass-produces singles is correct.; [assump1] & int3 -> hypothesis;
the fire-wheel saponifies.
sent15 -> int4: the hoister is a kind of non-stubborn thing that does mass-produce singles if the fact that it is not a floorboard hold.;
$hypothesis$ = the fact that if the hoister blazes then the Village does mass-produce singles is false. ; $context$ = sent1: if the hoister does saponify the Village is a blaze. sent2: the fire-wheel is a kind of a blaze if the hoister is non-stubborn thing that mass-produces singles. sent3: if the Village is not a floorboard and not a polystyrene the fact that the hoister is not a kind of a floorboard is right. sent4: that the fact that something does not saponify and/or is not a blaze is false if it is not stubborn is not false. sent5: that the telethermometer mass-produces singles is true. sent6: the clubhouse does mass-produce singles. sent7: if the Village is a blaze the hoister does mass-produce singles. sent8: something mass-produces singles if that it does not saponify and/or it is not a blaze does not hold. sent9: if the fact that something does saponify is not wrong then it mass-produces singles. sent10: the Village is a backlash if the fact that the Sikh sprays midbrain is not incorrect. sent11: if the avadavat does blaze it is top-down. sent12: if the hoister is a kind of a blaze then the Village does saponify. sent13: if the fact that something is a polystyrene that is a floorboard is not correct then it is not stubborn. sent14: if something is not a kind of a backlash the fact that it is a polystyrene and it is a kind of a floorboard does not hold. sent15: something that is not a kind of a floorboard is a kind of non-stubborn thing that does mass-produce singles. ; $proof$ = 
void -> assump1: Let's assume that the hoister is a blaze.; sent12 & assump1 -> int1: the Village saponifies.; sent9 -> int2: the Village does mass-produce singles if it does saponify.; int1 & int2 -> int3: the fact that the Village mass-produces singles is correct.; [assump1] & int3 -> hypothesis; __DISPROVED__