the carper is a kind of a bootblack.
sent1: if there is something such that it is not a diesel then the fact that the carper is a kind of non-flaky thing that is a school does not hold. sent2: if the Thatcher is metrological that the bypass is a diesel but it is not a marsupial is incorrect. sent3: the cere is not a marsupial if the bypass is marsupial and a diesel. sent4: the cere is not a kind of a glutethimide. sent5: if the cere is not marsupial the carper is a bootblack but it is not a glutethimide. sent6: the Thatcher is metrological. sent7: if that the cere does not scrimp and is two-wheel is not correct the bypass is not a kind of a marsupial. sent8: the secretary is splashy thing that is not an ethology. sent9: that the cere does not scrimp but it is not non-two-wheel is not correct if it is not a glutethimide. sent10: the bypass is not flaky if the Thatcher is not a school and it is not flaky. sent11: the Thatcher is not metrological if the babies'-breath is both not a muzhik and not a spastic. sent12: if the fact that the Thatcher is non-metrological but it is flaky is false it is not a marsupial. sent13: the carper is not a bootblack if the fact that it is not flaky and it schools is incorrect. sent14: something is a marsupial and is a diesel if it is not flaky.
sent9 & sent4 -> int1: the fact that the cere does not scrimp and is two-wheel is not true.; int1 & sent7 -> int2: the bypass is not marsupial.; void -> assump1: Let's assume that the bypass is a kind of a diesel.; int2 & assump1 -> int3: the bypass is a diesel but it is not a kind of a marsupial.; sent2 & sent6 -> int4: that the bypass is a kind of a diesel but it is not a marsupial is incorrect.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the bypass is not a kind of a diesel.; int6 -> int7: there is something such that it is not a kind of a diesel.; int7 & sent1 -> int8: the fact that the carper is not flaky but it is a kind of a school does not hold.; int8 & sent13 -> hypothesis;
the carper is a bootblack.
sent14 -> int9: if the bypass is not flaky it is both a marsupial and a diesel.;
$hypothesis$ = the carper is a kind of a bootblack. ; $context$ = sent1: if there is something such that it is not a diesel then the fact that the carper is a kind of non-flaky thing that is a school does not hold. sent2: if the Thatcher is metrological that the bypass is a diesel but it is not a marsupial is incorrect. sent3: the cere is not a marsupial if the bypass is marsupial and a diesel. sent4: the cere is not a kind of a glutethimide. sent5: if the cere is not marsupial the carper is a bootblack but it is not a glutethimide. sent6: the Thatcher is metrological. sent7: if that the cere does not scrimp and is two-wheel is not correct the bypass is not a kind of a marsupial. sent8: the secretary is splashy thing that is not an ethology. sent9: that the cere does not scrimp but it is not non-two-wheel is not correct if it is not a glutethimide. sent10: the bypass is not flaky if the Thatcher is not a school and it is not flaky. sent11: the Thatcher is not metrological if the babies'-breath is both not a muzhik and not a spastic. sent12: if the fact that the Thatcher is non-metrological but it is flaky is false it is not a marsupial. sent13: the carper is not a bootblack if the fact that it is not flaky and it schools is incorrect. sent14: something is a marsupial and is a diesel if it is not flaky. ; $proof$ = 
sent9 & sent4 -> int1: the fact that the cere does not scrimp and is two-wheel is not true.; int1 & sent7 -> int2: the bypass is not marsupial.; void -> assump1: Let's assume that the bypass is a kind of a diesel.; int2 & assump1 -> int3: the bypass is a diesel but it is not a kind of a marsupial.; sent2 & sent6 -> int4: that the bypass is a kind of a diesel but it is not a marsupial is incorrect.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the bypass is not a kind of a diesel.; int6 -> int7: there is something such that it is not a kind of a diesel.; int7 & sent1 -> int8: the fact that the carper is not flaky but it is a kind of a school does not hold.; int8 & sent13 -> hypothesis; __DISPROVED__