that if that the Sharpie is a bola is not incorrect the workroom is a fundamentalist is false.
sent1: the scrimshanker is a fundamentalist if it is a bola. sent2: the Sharpie is a kind of a fundamentalist. sent3: the calcium-cyanamide does fidget varus and insinuates. sent4: that the Sharpie is a warrior hold. sent5: if there is something such that it is a kind of a bola and is conciliatory the workroom is a fundamentalist. sent6: if that something is a kind of a fundamentalist but it is not conciliatory is wrong it is a bola. sent7: the refill does structure if either the Sharpie beads or it is not chylific or both. sent8: that the blotter is a fundamentalist is not incorrect. sent9: the Sharpie is a fundamentalist if the workroom is a bola. sent10: there exists something such that it is a kind of a bola that is fundamentalist. sent11: the Sharpie is otic. sent12: the workroom is black-and-white. sent13: the workroom is a bola. sent14: that the Sharpie is fundamentalist is not wrong if something that is conciliatory is a bola. sent15: something is a kind of a fundamentalist and it is a bola. sent16: the workroom is few if the Sharpie is a kind of a fundamentalist. sent17: there is something such that the fact that it is a bola hold. sent18: the Sharpie is conciliatory. sent19: the betel is a bola. sent20: if the workroom is conciliatory the Sharpie is a fundamentalist. sent21: the refill is a bola. sent22: that something is a kind of a fundamentalist but it is not conciliatory is not correct if it does structure.
void -> assump1: Let's assume that the Sharpie is a bola.; assump1 & sent18 -> int1: the Sharpie is a kind of a bola and it is conciliatory.; int1 -> int2: there is something such that it is both a bola and conciliatory.; int2 & sent5 -> int3: the workroom is a fundamentalist.; [assump1] & int3 -> hypothesis;
the refill is a kind of a bola.
sent6 -> int4: if the fact that that the refill is a kind of a fundamentalist that is not conciliatory is wrong hold then it is a kind of a bola.; sent22 -> int5: if the refill structures the fact that it is a fundamentalist that is non-conciliatory is not right.;
$hypothesis$ = that if that the Sharpie is a bola is not incorrect the workroom is a fundamentalist is false. ; $context$ = sent1: the scrimshanker is a fundamentalist if it is a bola. sent2: the Sharpie is a kind of a fundamentalist. sent3: the calcium-cyanamide does fidget varus and insinuates. sent4: that the Sharpie is a warrior hold. sent5: if there is something such that it is a kind of a bola and is conciliatory the workroom is a fundamentalist. sent6: if that something is a kind of a fundamentalist but it is not conciliatory is wrong it is a bola. sent7: the refill does structure if either the Sharpie beads or it is not chylific or both. sent8: that the blotter is a fundamentalist is not incorrect. sent9: the Sharpie is a fundamentalist if the workroom is a bola. sent10: there exists something such that it is a kind of a bola that is fundamentalist. sent11: the Sharpie is otic. sent12: the workroom is black-and-white. sent13: the workroom is a bola. sent14: that the Sharpie is fundamentalist is not wrong if something that is conciliatory is a bola. sent15: something is a kind of a fundamentalist and it is a bola. sent16: the workroom is few if the Sharpie is a kind of a fundamentalist. sent17: there is something such that the fact that it is a bola hold. sent18: the Sharpie is conciliatory. sent19: the betel is a bola. sent20: if the workroom is conciliatory the Sharpie is a fundamentalist. sent21: the refill is a bola. sent22: that something is a kind of a fundamentalist but it is not conciliatory is not correct if it does structure. ; $proof$ = 
void -> assump1: Let's assume that the Sharpie is a bola.; assump1 & sent18 -> int1: the Sharpie is a kind of a bola and it is conciliatory.; int1 -> int2: there is something such that it is both a bola and conciliatory.; int2 & sent5 -> int3: the workroom is a fundamentalist.; [assump1] & int3 -> hypothesis; __DISPROVED__