that the fact that the schoolmarm is not immature and it does not skid reversal is incorrect if the extinguisher is not a Liquidambar is incorrect.
sent1: if the extinguisher is immature it is a Wac. sent2: if the extinguisher is not a Liquidambar then the schoolmarm is not immature and does not skid reversal. sent3: if the fact that the schoolmarm is faecal is not false then it does skid reversal. sent4: the fact that the schoolmarm is not immature and it does not skid reversal does not hold if the extinguisher is not immature. sent5: that the extinguisher is not a Wac but it skids reversal does not hold. sent6: the scope is a Volund if it is avionics. sent7: if something is a Wac then it is an acceptability. sent8: the extinguisher extricates Scomber. sent9: the fact that the schoolmarm is not immature but it skids reversal is not correct if the extinguisher is not immature. sent10: the fact that the schoolmarm is immature but it does not skid reversal is not correct if the extinguisher is not immature. sent11: that the schoolmarm is immature but it does not skid reversal is incorrect if the extinguisher is not a kind of a Liquidambar. sent12: the extinguisher is a Liquidambar if it skids reversal. sent13: that the schoolmarm is non-immature thing that does not skid reversal if the extinguisher is not immature hold. sent14: if something is a deletion it is a kind of a cowpox. sent15: the fact that the schoolmarm is non-immature thing that is not a kind of an acceptability is false if the extinguisher is not immature. sent16: something is a Liquidambar if it is an acceptability.
void -> assump1: Let's assume that the extinguisher is immature.; sent1 & assump1 -> int1: the extinguisher is a Wac.; sent7 -> int2: the extinguisher is an acceptability if it is a kind of a Wac.; int1 & int2 -> int3: the extinguisher is a kind of an acceptability.; sent16 -> int4: if the extinguisher is an acceptability then it is a kind of a Liquidambar.; int3 & int4 -> int5: the extinguisher is a kind of a Liquidambar.; void -> assump2: Let's assume that the extinguisher is not a Liquidambar.; int5 & assump2 -> int6: this is contradiction.; [assump1] & int6 -> int7: the extinguisher is not immature.; int7 & sent4 -> int8: that the schoolmarm is not immature and it does not skid reversal is wrong.; [assump2] & int8 -> hypothesis;
$hypothesis$ = that the fact that the schoolmarm is not immature and it does not skid reversal is incorrect if the extinguisher is not a Liquidambar is incorrect. ; $context$ = sent1: if the extinguisher is immature it is a Wac. sent2: if the extinguisher is not a Liquidambar then the schoolmarm is not immature and does not skid reversal. sent3: if the fact that the schoolmarm is faecal is not false then it does skid reversal. sent4: the fact that the schoolmarm is not immature and it does not skid reversal does not hold if the extinguisher is not immature. sent5: that the extinguisher is not a Wac but it skids reversal does not hold. sent6: the scope is a Volund if it is avionics. sent7: if something is a Wac then it is an acceptability. sent8: the extinguisher extricates Scomber. sent9: the fact that the schoolmarm is not immature but it skids reversal is not correct if the extinguisher is not immature. sent10: the fact that the schoolmarm is immature but it does not skid reversal is not correct if the extinguisher is not immature. sent11: that the schoolmarm is immature but it does not skid reversal is incorrect if the extinguisher is not a kind of a Liquidambar. sent12: the extinguisher is a Liquidambar if it skids reversal. sent13: that the schoolmarm is non-immature thing that does not skid reversal if the extinguisher is not immature hold. sent14: if something is a deletion it is a kind of a cowpox. sent15: the fact that the schoolmarm is non-immature thing that is not a kind of an acceptability is false if the extinguisher is not immature. sent16: something is a Liquidambar if it is an acceptability. ; $proof$ = 
void -> assump1: Let's assume that the extinguisher is immature.; sent1 & assump1 -> int1: the extinguisher is a Wac.; sent7 -> int2: the extinguisher is an acceptability if it is a kind of a Wac.; int1 & int2 -> int3: the extinguisher is a kind of an acceptability.; sent16 -> int4: if the extinguisher is an acceptability then it is a kind of a Liquidambar.; int3 & int4 -> int5: the extinguisher is a kind of a Liquidambar.; void -> assump2: Let's assume that the extinguisher is not a Liquidambar.; int5 & assump2 -> int6: this is contradiction.; [assump1] & int6 -> int7: the extinguisher is not immature.; int7 & sent4 -> int8: that the schoolmarm is not immature and it does not skid reversal is wrong.; [assump2] & int8 -> hypothesis; __DISPROVED__