the IOP is not yogistic.
sent1: if the walleye is a kind of a washwoman then the IOP builds lead-in. sent2: that the pseudoephedrine is not reparable and/or it does not braid uropygium is incorrect. sent3: the walleye misses and it is a kind of a pheasant. sent4: if the walleye braids Astarte then it is a washwoman. sent5: the chalice is not a RUF if that the pseudoephedrine is not reparable and/or it does not braid uropygium does not hold. sent6: the chalice is not reparable. sent7: something is not yogistic if the fact that it braids darkroom and it is a RUF does not hold. sent8: if the chalice is not reparable the fact that the uropygium does braid darkroom and is a RUF is not right. sent9: if there is something such that the fact that it does not build lead-in and it does not braid darkroom is not correct then the uropygium does not braid Astarte. sent10: if the walleye is a pheasant then it braids Astarte. sent11: the walleye is a kind of a miss. sent12: if something is not yogistic the briquette is not yogistic and/or does not build lead-in. sent13: the IOP is not a kind of a washwoman if it is yogistic. sent14: if the briquette is a pheasant and is not a kind of a washwoman then the walleye is not a kind of a pheasant. sent15: the IOP is not yogistic if it builds lead-in. sent16: the fact that the chalice does not build lead-in and it does not braid darkroom is false if it is not a kind of a RUF.
sent3 -> int1: the walleye is a pheasant.; int1 & sent10 -> int2: the walleye braids Astarte.; int2 & sent4 -> int3: the walleye is a washwoman.; int3 & sent1 -> int4: the IOP builds lead-in.; int4 & sent15 -> hypothesis;
the fact that the darkroom is not a pheasant hold.
sent7 -> int5: if the fact that the uropygium does braid darkroom and is a kind of a RUF does not hold it is not yogistic.; sent8 & sent6 -> int6: the fact that the uropygium does braid darkroom and it is a kind of a RUF does not hold.; int5 & int6 -> int7: the uropygium is not yogistic.; int7 -> int8: something is not yogistic.; int8 & sent12 -> int9: the briquette is not yogistic and/or does not build lead-in.;
$hypothesis$ = the IOP is not yogistic. ; $context$ = sent1: if the walleye is a kind of a washwoman then the IOP builds lead-in. sent2: that the pseudoephedrine is not reparable and/or it does not braid uropygium is incorrect. sent3: the walleye misses and it is a kind of a pheasant. sent4: if the walleye braids Astarte then it is a washwoman. sent5: the chalice is not a RUF if that the pseudoephedrine is not reparable and/or it does not braid uropygium does not hold. sent6: the chalice is not reparable. sent7: something is not yogistic if the fact that it braids darkroom and it is a RUF does not hold. sent8: if the chalice is not reparable the fact that the uropygium does braid darkroom and is a RUF is not right. sent9: if there is something such that the fact that it does not build lead-in and it does not braid darkroom is not correct then the uropygium does not braid Astarte. sent10: if the walleye is a pheasant then it braids Astarte. sent11: the walleye is a kind of a miss. sent12: if something is not yogistic the briquette is not yogistic and/or does not build lead-in. sent13: the IOP is not a kind of a washwoman if it is yogistic. sent14: if the briquette is a pheasant and is not a kind of a washwoman then the walleye is not a kind of a pheasant. sent15: the IOP is not yogistic if it builds lead-in. sent16: the fact that the chalice does not build lead-in and it does not braid darkroom is false if it is not a kind of a RUF. ; $proof$ = 
sent3 -> int1: the walleye is a pheasant.; int1 & sent10 -> int2: the walleye braids Astarte.; int2 & sent4 -> int3: the walleye is a washwoman.; int3 & sent1 -> int4: the IOP builds lead-in.; int4 & sent15 -> hypothesis; __PROVED__