the magician does not field Testudinidae.
sent1: if the shuttle is nondisposable and clean the magician does field Testudinidae. sent2: the fact that the shuttle is a retreatant is not right. sent3: if something is not opaque and does bar lignum it is not a disposable. sent4: if the shuttle is parochial then it is not unclean. sent5: if the umbellifer is censorial the fact that the shuttle is both not parochial and a limekiln is not right. sent6: the shuttle is not opaque. sent7: that the umbellifer is censorial is not wrong. sent8: the shuttle is not opaque and does bar lignum if it is not a retreatant. sent9: if the umbellifer is not unclean and it does not field Testudinidae the magician does not field Testudinidae. sent10: if the fact that something is not parochial and is a limekiln is wrong it is not unclean. sent11: that the shuttle is a kind of parochial a limekiln is not correct.
sent3 -> int1: if that the shuttle is non-opaque thing that does bar lignum is not false then it is not a disposable.; sent8 & sent2 -> int2: the shuttle is not opaque but it does bar lignum.; int1 & int2 -> int3: the fact that the shuttle is nondisposable is not incorrect.; sent10 -> int4: if that the shuttle is not parochial and is a kind of a limekiln is false then it is not unclean.; sent5 & sent7 -> int5: that the fact that the shuttle is both non-parochial and a limekiln is not incorrect is not correct.; int4 & int5 -> int6: the shuttle is not unclean.; int3 & int6 -> int7: the shuttle is not a disposable and it is not unclean.; int7 & sent1 -> hypothesis;
the magician does not field Testudinidae.
$hypothesis$ = the magician does not field Testudinidae. ; $context$ = sent1: if the shuttle is nondisposable and clean the magician does field Testudinidae. sent2: the fact that the shuttle is a retreatant is not right. sent3: if something is not opaque and does bar lignum it is not a disposable. sent4: if the shuttle is parochial then it is not unclean. sent5: if the umbellifer is censorial the fact that the shuttle is both not parochial and a limekiln is not right. sent6: the shuttle is not opaque. sent7: that the umbellifer is censorial is not wrong. sent8: the shuttle is not opaque and does bar lignum if it is not a retreatant. sent9: if the umbellifer is not unclean and it does not field Testudinidae the magician does not field Testudinidae. sent10: if the fact that something is not parochial and is a limekiln is wrong it is not unclean. sent11: that the shuttle is a kind of parochial a limekiln is not correct. ; $proof$ = 
sent3 -> int1: if that the shuttle is non-opaque thing that does bar lignum is not false then it is not a disposable.; sent8 & sent2 -> int2: the shuttle is not opaque but it does bar lignum.; int1 & int2 -> int3: the fact that the shuttle is nondisposable is not incorrect.; sent10 -> int4: if that the shuttle is not parochial and is a kind of a limekiln is false then it is not unclean.; sent5 & sent7 -> int5: that the fact that the shuttle is both non-parochial and a limekiln is not incorrect is not correct.; int4 & int5 -> int6: the shuttle is not unclean.; int3 & int6 -> int7: the shuttle is not a disposable and it is not unclean.; int7 & sent1 -> hypothesis; __DISPROVED__