the Explorer does not build one-spot.
sent1: if the fact that something does braid identity hold that either it does not braid Monodon or it citifies Sparidae or both is not right. sent2: if the fact that the Islay is not a mare and/or braids Monodon is false the workhorse braids identity. sent3: the Islay is not putrid. sent4: something is a piggyback. sent5: if the fact that the alidade does not braid identity is true that the workhorse is not a haziness hold. sent6: the fact that the retrieval is not a kind of a schlep and is a kind of a mare is not true if the Islay does braid Monodon. sent7: that the workhorse is not a kind of a mare but it does braid identity is not correct if the retrieval is a kind of a schlep. sent8: if there is something such that it is a haziness the alidade does not build one-spot but it is a kind of a mare. sent9: the fact that the workhorse does not citify Sparidae and/or it braids identity is wrong if the Islay does not braid Monodon. sent10: that the alidade does braid identity and does braid Monodon does not hold if the Islay is a kind of a haziness. sent11: that the Islay does build one-spot is right. sent12: the Explorer is a kind of a mare. sent13: something builds hunter. sent14: if something does build hunter the retrieval is not a kind of a schlep and is a kind of a mare. sent15: the Explorer does not build hunter. sent16: the alidade is a haziness if the fact that the workhorse does not citify Sparidae and/or does braid identity is not right. sent17: there exists something such that it braids Monodon. sent18: the retrieval does build one-spot. sent19: if that something does not braid Monodon and/or it does citify Sparidae does not hold then it does not build one-spot. sent20: if the alidade is a haziness then the fact that the Explorer does not build one-spot is incorrect. sent21: there is something such that it does braid identity. sent22: the fact that the retrieval is a kind of a schlep and it is a mare is incorrect if the fact that the Islay does braid Monodon is not false.
void -> assump1: Let's assume that the Islay does braid Monodon.; sent6 & assump1 -> int1: that that the retrieval is both not a schlep and a mare is not incorrect is not correct.; sent13 & sent14 -> int2: the retrieval is not a schlep but it is a mare.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the Islay does not braid Monodon.; int4 & sent9 -> int5: the fact that either the workhorse does not citify Sparidae or it braids identity or both is not right.; int5 & sent16 -> int6: the alidade is a kind of a haziness.; int6 & sent20 -> hypothesis;
the Explorer does not build one-spot.
sent19 -> int7: if the fact that either the Explorer does not braid Monodon or it does citify Sparidae or both is not true it does not build one-spot.; sent1 -> int8: that either the Explorer does not braid Monodon or it does citify Sparidae or both is not correct if it braids identity.;
$hypothesis$ = the Explorer does not build one-spot. ; $context$ = sent1: if the fact that something does braid identity hold that either it does not braid Monodon or it citifies Sparidae or both is not right. sent2: if the fact that the Islay is not a mare and/or braids Monodon is false the workhorse braids identity. sent3: the Islay is not putrid. sent4: something is a piggyback. sent5: if the fact that the alidade does not braid identity is true that the workhorse is not a haziness hold. sent6: the fact that the retrieval is not a kind of a schlep and is a kind of a mare is not true if the Islay does braid Monodon. sent7: that the workhorse is not a kind of a mare but it does braid identity is not correct if the retrieval is a kind of a schlep. sent8: if there is something such that it is a haziness the alidade does not build one-spot but it is a kind of a mare. sent9: the fact that the workhorse does not citify Sparidae and/or it braids identity is wrong if the Islay does not braid Monodon. sent10: that the alidade does braid identity and does braid Monodon does not hold if the Islay is a kind of a haziness. sent11: that the Islay does build one-spot is right. sent12: the Explorer is a kind of a mare. sent13: something builds hunter. sent14: if something does build hunter the retrieval is not a kind of a schlep and is a kind of a mare. sent15: the Explorer does not build hunter. sent16: the alidade is a haziness if the fact that the workhorse does not citify Sparidae and/or does braid identity is not right. sent17: there exists something such that it braids Monodon. sent18: the retrieval does build one-spot. sent19: if that something does not braid Monodon and/or it does citify Sparidae does not hold then it does not build one-spot. sent20: if the alidade is a haziness then the fact that the Explorer does not build one-spot is incorrect. sent21: there is something such that it does braid identity. sent22: the fact that the retrieval is a kind of a schlep and it is a mare is incorrect if the fact that the Islay does braid Monodon is not false. ; $proof$ = 
void -> assump1: Let's assume that the Islay does braid Monodon.; sent6 & assump1 -> int1: that that the retrieval is both not a schlep and a mare is not incorrect is not correct.; sent13 & sent14 -> int2: the retrieval is not a schlep but it is a mare.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the Islay does not braid Monodon.; int4 & sent9 -> int5: the fact that either the workhorse does not citify Sparidae or it braids identity or both is not right.; int5 & sent16 -> int6: the alidade is a kind of a haziness.; int6 & sent20 -> hypothesis; __DISPROVED__