the fact that something does not sensitize mountainside but it is cinerary is false.
sent1: something that sensitizes Marquette does bespangle golf. sent2: the Indiaman does not japan Gerbert. sent3: something is not areal or is not a lactose or both. sent4: the fact that the fishbowl is a paraplegia hold if the fact that the Indiaman does not sensitize Paraclete and is not meteoric is false. sent5: if there exists something such that it is not areal the fact that the Revere is not a lactose but it is congenial is incorrect. sent6: the fact that something does not sensitize Paraclete and it is not meteoric does not hold if it bespangles golf. sent7: the abortifacient is cinerary if there is something such that it is not areal and/or it is not a kind of a lactose. sent8: if something is a kind of a paraplegia it inducts and it is not areal. sent9: there exists something such that that it inducts and it is congenial is wrong. sent10: the fact that if something is not congenial and/or it is not cinerary the bollworm does seal is right. sent11: if something is corporate it does not sensitize mountainside. sent12: the bollworm is congenial if the abortifacient is a kind of a seal and is not corporate. sent13: if that something is a kind of a seal and is not corporate is false it does not sensitize mountainside. sent14: if the fact that the abortifacient does sensitize mountainside but it is not cinerary is false then the bollworm is cinerary. sent15: the Indiaman sensitizes Marquette and/or it uploads if it does not japan Gerbert. sent16: the bollworm is not congenial if there exists something such that the fact that it inducts and it is congenial is wrong. sent17: if the Revere is not congenial the fact that the abortifacient sensitizes mountainside but it is not cinerary is incorrect. sent18: there is something such that it is either areal or not a lactose or both. sent19: something is not congenial if that it is not a lactose and it is congenial is not true.
void -> assump1: Let's assume that the abortifacient is a seal but it is not corporate.; sent12 & assump1 -> int1: the bollworm is congenial.; sent9 & sent16 -> int2: the bollworm is not congenial.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the abortifacient is a seal that is not corporate is not correct.; sent13 -> int5: the abortifacient does not sensitize mountainside if the fact that it is a kind of a seal and it is not corporate does not hold.; int4 & int5 -> int6: the abortifacient does not sensitize mountainside.; sent3 & sent7 -> int7: the abortifacient is cinerary.; int6 & int7 -> int8: the abortifacient does not sensitize mountainside but it is cinerary.; int8 -> hypothesis;
that the bollworm is cinerary is not false.
sent19 -> int9: if the fact that the Revere is not a kind of a lactose but it is congenial is not right that it is not congenial is correct.; sent8 -> int10: if the fishbowl is a paraplegia then it inducts and is not areal.; sent6 -> int11: if the Indiaman does bespangle golf that it does not sensitize Paraclete and it is not meteoric is not right.; sent15 & sent2 -> int12: either the Indiaman does sensitize Marquette or it does upload or both.; sent1 -> int13: if the Indiaman sensitizes Marquette it bespangles golf.;
$hypothesis$ = the fact that something does not sensitize mountainside but it is cinerary is false. ; $context$ = sent1: something that sensitizes Marquette does bespangle golf. sent2: the Indiaman does not japan Gerbert. sent3: something is not areal or is not a lactose or both. sent4: the fact that the fishbowl is a paraplegia hold if the fact that the Indiaman does not sensitize Paraclete and is not meteoric is false. sent5: if there exists something such that it is not areal the fact that the Revere is not a lactose but it is congenial is incorrect. sent6: the fact that something does not sensitize Paraclete and it is not meteoric does not hold if it bespangles golf. sent7: the abortifacient is cinerary if there is something such that it is not areal and/or it is not a kind of a lactose. sent8: if something is a kind of a paraplegia it inducts and it is not areal. sent9: there exists something such that that it inducts and it is congenial is wrong. sent10: the fact that if something is not congenial and/or it is not cinerary the bollworm does seal is right. sent11: if something is corporate it does not sensitize mountainside. sent12: the bollworm is congenial if the abortifacient is a kind of a seal and is not corporate. sent13: if that something is a kind of a seal and is not corporate is false it does not sensitize mountainside. sent14: if the fact that the abortifacient does sensitize mountainside but it is not cinerary is false then the bollworm is cinerary. sent15: the Indiaman sensitizes Marquette and/or it uploads if it does not japan Gerbert. sent16: the bollworm is not congenial if there exists something such that the fact that it inducts and it is congenial is wrong. sent17: if the Revere is not congenial the fact that the abortifacient sensitizes mountainside but it is not cinerary is incorrect. sent18: there is something such that it is either areal or not a lactose or both. sent19: something is not congenial if that it is not a lactose and it is congenial is not true. ; $proof$ = 
void -> assump1: Let's assume that the abortifacient is a seal but it is not corporate.; sent12 & assump1 -> int1: the bollworm is congenial.; sent9 & sent16 -> int2: the bollworm is not congenial.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the abortifacient is a seal that is not corporate is not correct.; sent13 -> int5: the abortifacient does not sensitize mountainside if the fact that it is a kind of a seal and it is not corporate does not hold.; int4 & int5 -> int6: the abortifacient does not sensitize mountainside.; sent3 & sent7 -> int7: the abortifacient is cinerary.; int6 & int7 -> int8: the abortifacient does not sensitize mountainside but it is cinerary.; int8 -> hypothesis; __DISPROVED__