the fact that there exists something such that it is not sympathetic is false.
sent1: something is not a Nunavut if the fact that it is not a pawl and does not uplift goldcrest does not hold. sent2: the fact that the Chinook does not interfere Nimitz hold if that it is not choreographic and not a hawkbit is incorrect. sent3: if the fact that something is not choreographic and it does not uplift allosaur does not hold it is not sympathetic. sent4: something is not a purine if it is a kind of a loxapine. sent5: the ostrich is not choreographic if it is asteroidal. sent6: the ostrich is urogenital and is a tripod. sent7: there exists something such that that it is not chronological is not incorrect. sent8: if the ostrich is a tripod that it is choreographic and it does not uplift allosaur is wrong. sent9: something dwarfs process-server if it is not urogenital. sent10: if the ostrich does dwarf mangrove that it does not uplift allosaur and is not a Kickapoo is incorrect. sent11: that the ostrich is not urogenital is true if that the Chinook is not a kind of a tripod and it is not urogenital is not right. sent12: that something is not choreographic and it does not uplift allosaur does not hold if that it is a tripod is right. sent13: the fact that there is something such that it is a Marquette is not wrong. sent14: the ostrich is a disfigurement. sent15: the fact that if the process-server does uplift flower the process-server is not a tripod is true. sent16: the mangrove is not choreographic. sent17: if the ostrich is unprotective it is not a kind of a Nunavut.
sent6 -> int1: the ostrich is a tripod.; sent12 -> int2: if that the ostrich is a tripod is not wrong the fact that it is not choreographic and does not uplift allosaur is wrong.; int1 & int2 -> int3: the fact that the ostrich is non-choreographic thing that does not uplift allosaur is wrong.; sent3 -> int4: if the fact that the ostrich is not choreographic and does not uplift allosaur is wrong it is not sympathetic.; int3 & int4 -> int5: the ostrich is not sympathetic.; int5 -> hypothesis;
that the ostrich dwarfs process-server is right.
sent9 -> int6: if the ostrich is not urogenital it dwarfs process-server.;
$hypothesis$ = the fact that there exists something such that it is not sympathetic is false. ; $context$ = sent1: something is not a Nunavut if the fact that it is not a pawl and does not uplift goldcrest does not hold. sent2: the fact that the Chinook does not interfere Nimitz hold if that it is not choreographic and not a hawkbit is incorrect. sent3: if the fact that something is not choreographic and it does not uplift allosaur does not hold it is not sympathetic. sent4: something is not a purine if it is a kind of a loxapine. sent5: the ostrich is not choreographic if it is asteroidal. sent6: the ostrich is urogenital and is a tripod. sent7: there exists something such that that it is not chronological is not incorrect. sent8: if the ostrich is a tripod that it is choreographic and it does not uplift allosaur is wrong. sent9: something dwarfs process-server if it is not urogenital. sent10: if the ostrich does dwarf mangrove that it does not uplift allosaur and is not a Kickapoo is incorrect. sent11: that the ostrich is not urogenital is true if that the Chinook is not a kind of a tripod and it is not urogenital is not right. sent12: that something is not choreographic and it does not uplift allosaur does not hold if that it is a tripod is right. sent13: the fact that there is something such that it is a Marquette is not wrong. sent14: the ostrich is a disfigurement. sent15: the fact that if the process-server does uplift flower the process-server is not a tripod is true. sent16: the mangrove is not choreographic. sent17: if the ostrich is unprotective it is not a kind of a Nunavut. ; $proof$ = 
sent6 -> int1: the ostrich is a tripod.; sent12 -> int2: if that the ostrich is a tripod is not wrong the fact that it is not choreographic and does not uplift allosaur is wrong.; int1 & int2 -> int3: the fact that the ostrich is non-choreographic thing that does not uplift allosaur is wrong.; sent3 -> int4: if the fact that the ostrich is not choreographic and does not uplift allosaur is wrong it is not sympathetic.; int3 & int4 -> int5: the ostrich is not sympathetic.; int5 -> hypothesis; __DISPROVED__