the switchman is a handcart.
sent1: the superstrate is not a Shannon. sent2: the switchman is a wraparound if the blanquillo does scorch emendation. sent3: the blanquillo is a wraparound. sent4: if the superstrate is not a Shannon and is not nonrepresentational then the fact that the blanquillo does scorch emendation is not false. sent5: the blanquillo is not sulphuric if the fact that it is a kind of a kurus and it does kennel dredger does not hold. sent6: if the switchman is a wraparound then it does not kennel superstrate. sent7: if the fact that the switchman does not kennel superstrate is correct then it is a handcart. sent8: if the superstrate is a wraparound then the switchman is nonrepresentational. sent9: if the fact that the blanquillo does not kennel superstrate is not incorrect it is a shrink-wrap. sent10: if something is not sulphuric then it does kennel superstrate and it is a wraparound. sent11: there exists nothing that is a kind of a kurus that kennels dredger. sent12: that the fact that the superstrate is a handcart but it does not scorch emendation is not incorrect does not hold if something is a kind of a wraparound. sent13: the superstrate is both not a Shannon and not nonrepresentational. sent14: if the fact that the superstrate is a Shannon but it is not nonrepresentational is not incorrect the blanquillo scorches emendation. sent15: the vaquero scorches emendation.
sent4 & sent13 -> int1: the blanquillo scorches emendation.; int1 & sent2 -> int2: the switchman is a wraparound.; int2 & sent6 -> int3: the switchman does not kennel superstrate.; int3 & sent7 -> hypothesis;
the switchman is not a handcart.
sent10 -> int4: the blanquillo kennels superstrate and it is a wraparound if it is not sulphuric.; sent11 -> int5: that the blanquillo is a kurus and it kennels dredger is not right.; sent5 & int5 -> int6: the blanquillo is not sulphuric.; int4 & int6 -> int7: the blanquillo does kennel superstrate and it is a wraparound.; int7 -> int8: the blanquillo is a kind of a wraparound.; int8 -> int9: there exists something such that it is a wraparound.; int9 & sent12 -> int10: the fact that the superstrate is a kind of a handcart but it does not scorch emendation does not hold.; int10 -> int11: there is something such that the fact that it is a handcart and it does not scorch emendation is wrong.;
$hypothesis$ = the switchman is a handcart. ; $context$ = sent1: the superstrate is not a Shannon. sent2: the switchman is a wraparound if the blanquillo does scorch emendation. sent3: the blanquillo is a wraparound. sent4: if the superstrate is not a Shannon and is not nonrepresentational then the fact that the blanquillo does scorch emendation is not false. sent5: the blanquillo is not sulphuric if the fact that it is a kind of a kurus and it does kennel dredger does not hold. sent6: if the switchman is a wraparound then it does not kennel superstrate. sent7: if the fact that the switchman does not kennel superstrate is correct then it is a handcart. sent8: if the superstrate is a wraparound then the switchman is nonrepresentational. sent9: if the fact that the blanquillo does not kennel superstrate is not incorrect it is a shrink-wrap. sent10: if something is not sulphuric then it does kennel superstrate and it is a wraparound. sent11: there exists nothing that is a kind of a kurus that kennels dredger. sent12: that the fact that the superstrate is a handcart but it does not scorch emendation is not incorrect does not hold if something is a kind of a wraparound. sent13: the superstrate is both not a Shannon and not nonrepresentational. sent14: if the fact that the superstrate is a Shannon but it is not nonrepresentational is not incorrect the blanquillo scorches emendation. sent15: the vaquero scorches emendation. ; $proof$ = 
sent4 & sent13 -> int1: the blanquillo scorches emendation.; int1 & sent2 -> int2: the switchman is a wraparound.; int2 & sent6 -> int3: the switchman does not kennel superstrate.; int3 & sent7 -> hypothesis; __PROVED__