the fact that the drafter is not Mosaic and it is not a nit is incorrect.
sent1: the utilitarian does refrain if that the trapshooter demilitarizes precondition but it is not a spiracle is incorrect. sent2: the AS does appear if something is a clutch and/or not non-hair-shirt. sent3: if the trapshooter is a kind of a spiracle it is not bacchantic and it does not interleave Micawber. sent4: if that the AS does interleave Micawber and is not hair-shirt is wrong the cutter does interleave Micawber. sent5: if the fact that the trapshooter does not demilitarize precondition hold that the drafter is a kind of non-Mosaic thing that is not a nit is false. sent6: if the cutter interleaves Micawber then that it is a kind of a spiracle and it is not bacchantic is false. sent7: the fact that the trapshooter demilitarizes precondition and it is a spiracle hold. sent8: if the trapshooter is not bacchantic and it does not interleave Micawber then that the cutter is hair-shirt is not incorrect. sent9: the drafter is not a kind of a Mosaic and is not a nit if the AS does appear.
sent7 -> int1: the trapshooter is a spiracle.; int1 & sent3 -> int2: the trapshooter is not bacchantic and does not interleave Micawber.; int2 & sent8 -> int3: the fact that the cutter is hair-shirt is correct.; int3 -> int4: the cutter is a clutch or is hair-shirt or both.; int4 -> int5: something is a kind of a clutch and/or it is hair-shirt.; int5 & sent2 -> int6: the AS does appear.; int6 & sent9 -> hypothesis;
the utilitarian does refrain and it is bacchantic.
$hypothesis$ = the fact that the drafter is not Mosaic and it is not a nit is incorrect. ; $context$ = sent1: the utilitarian does refrain if that the trapshooter demilitarizes precondition but it is not a spiracle is incorrect. sent2: the AS does appear if something is a clutch and/or not non-hair-shirt. sent3: if the trapshooter is a kind of a spiracle it is not bacchantic and it does not interleave Micawber. sent4: if that the AS does interleave Micawber and is not hair-shirt is wrong the cutter does interleave Micawber. sent5: if the fact that the trapshooter does not demilitarize precondition hold that the drafter is a kind of non-Mosaic thing that is not a nit is false. sent6: if the cutter interleaves Micawber then that it is a kind of a spiracle and it is not bacchantic is false. sent7: the fact that the trapshooter demilitarizes precondition and it is a spiracle hold. sent8: if the trapshooter is not bacchantic and it does not interleave Micawber then that the cutter is hair-shirt is not incorrect. sent9: the drafter is not a kind of a Mosaic and is not a nit if the AS does appear. ; $proof$ = 
sent7 -> int1: the trapshooter is a spiracle.; int1 & sent3 -> int2: the trapshooter is not bacchantic and does not interleave Micawber.; int2 & sent8 -> int3: the fact that the cutter is hair-shirt is correct.; int3 -> int4: the cutter is a clutch or is hair-shirt or both.; int4 -> int5: something is a kind of a clutch and/or it is hair-shirt.; int5 & sent2 -> int6: the AS does appear.; int6 & sent9 -> hypothesis; __DISPROVED__