if that the dactyl is a kind of a locule that is not textile is not right the timothy is irremovable.
sent1: the fact that the timothy is not non-irremovable and is not textile is not right. sent2: if there is something such that it is a locule and it is not textile then the bullnose does update taupe. sent3: the timothy is not non-irremovable if the dactyl is not a locule. sent4: there is something such that the fact that it is osmotic but not bracteolate does not hold. sent5: if the bullnose updates taupe the timothy is irremovable. sent6: the bullnose updates taupe if there exists something such that the fact that it is a locule and not textile is wrong. sent7: the timothy is irremovable if that the dactyl is a locule that is textile is not correct. sent8: if something is not a locule then the bullnose does update taupe.
void -> assump1: Let's assume that the fact that the dactyl is a locule and not textile is not true.; assump1 -> int1: there exists something such that that it is a kind of a locule and it is not textile is false.; int1 & sent6 -> int2: the bullnose does update taupe.; sent5 & int2 -> int3: the timothy is irremovable.; [assump1] & int3 -> hypothesis;
$hypothesis$ = if that the dactyl is a kind of a locule that is not textile is not right the timothy is irremovable. ; $context$ = sent1: the fact that the timothy is not non-irremovable and is not textile is not right. sent2: if there is something such that it is a locule and it is not textile then the bullnose does update taupe. sent3: the timothy is not non-irremovable if the dactyl is not a locule. sent4: there is something such that the fact that it is osmotic but not bracteolate does not hold. sent5: if the bullnose updates taupe the timothy is irremovable. sent6: the bullnose updates taupe if there exists something such that the fact that it is a locule and not textile is wrong. sent7: the timothy is irremovable if that the dactyl is a locule that is textile is not correct. sent8: if something is not a locule then the bullnose does update taupe. ; $proof$ = 
void -> assump1: Let's assume that the fact that the dactyl is a locule and not textile is not true.; assump1 -> int1: there exists something such that that it is a kind of a locule and it is not textile is false.; int1 & sent6 -> int2: the bullnose does update taupe.; sent5 & int2 -> int3: the timothy is irremovable.; [assump1] & int3 -> hypothesis; __PROVED__