the hoop does not enfeoff Poecilocapsus.
sent1: the bean is not a tenderfoot. sent2: the bean is alterable but it is not a joy. sent3: if the fact that the bean does not enfeoff Poecilocapsus hold the hoop does not enfeoff Poecilocapsus. sent4: if the cocobolo does enfeoff fidelity and it is a kind of a tenderfoot then it is alterable. sent5: the fact that the bean is a kind of a tenderfoot if there exists something such that it is a joy is correct. sent6: the metazoan is not a kind of a button. sent7: if something is a joy then it is unalterable thing that is not a kind of a tenderfoot. sent8: if the bean is both alterable and not a joy then it is a whoop. sent9: the cocobolo enfeoffs fidelity if the fact that there is something such that the fact that it does whoop is correct is not incorrect. sent10: if there is something such that it is a joy that is not a moss-trooper then the meterstick is a whoop. sent11: the diarist does not enfeoff fidelity. sent12: if the cocobolo is not a tenderfoot the meterstick is a moss-trooper and not a tenderfoot. sent13: if something is a moss-trooper but it is not a tenderfoot then the hoop enfeoffs Poecilocapsus. sent14: if the meterstick is a kind of a tenderfoot then it is not alterable. sent15: there is something such that it does not enfeoff Bratislava. sent16: the cocobolo is alterable. sent17: the meterstick is a musicologist. sent18: if something is a tenderfoot it does not button and does not enfeoff fidelity. sent19: something is not a tenderfoot and is not a kind of a joy if it enfeoffs Poecilocapsus. sent20: the hoop does not button. sent21: there exists something such that it does enfeoff Poecilocapsus.
sent18 -> int1: the cocobolo is not a button and it does not enfeoff fidelity if it is a tenderfoot.; void -> assump1: Let's assume that the cocobolo is a kind of a tenderfoot.; int1 & assump1 -> int2: the fact that the cocobolo does not button and it does not enfeoff fidelity is not wrong.; int2 -> int3: the cocobolo does not enfeoff fidelity.; sent8 & sent2 -> int4: that the bean does whoop is not incorrect.; int4 -> int5: there exists something such that it is a whoop.; int5 & sent9 -> int6: the cocobolo does enfeoff fidelity.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the cocobolo is not a tenderfoot.; int8 & sent12 -> int9: the fact that the meterstick is a moss-trooper but it is not a tenderfoot is not false.; int9 -> int10: something is a moss-trooper but it is not a tenderfoot.; int10 & sent13 -> hypothesis;
$hypothesis$ = the hoop does not enfeoff Poecilocapsus. ; $context$ = sent1: the bean is not a tenderfoot. sent2: the bean is alterable but it is not a joy. sent3: if the fact that the bean does not enfeoff Poecilocapsus hold the hoop does not enfeoff Poecilocapsus. sent4: if the cocobolo does enfeoff fidelity and it is a kind of a tenderfoot then it is alterable. sent5: the fact that the bean is a kind of a tenderfoot if there exists something such that it is a joy is correct. sent6: the metazoan is not a kind of a button. sent7: if something is a joy then it is unalterable thing that is not a kind of a tenderfoot. sent8: if the bean is both alterable and not a joy then it is a whoop. sent9: the cocobolo enfeoffs fidelity if the fact that there is something such that the fact that it does whoop is correct is not incorrect. sent10: if there is something such that it is a joy that is not a moss-trooper then the meterstick is a whoop. sent11: the diarist does not enfeoff fidelity. sent12: if the cocobolo is not a tenderfoot the meterstick is a moss-trooper and not a tenderfoot. sent13: if something is a moss-trooper but it is not a tenderfoot then the hoop enfeoffs Poecilocapsus. sent14: if the meterstick is a kind of a tenderfoot then it is not alterable. sent15: there is something such that it does not enfeoff Bratislava. sent16: the cocobolo is alterable. sent17: the meterstick is a musicologist. sent18: if something is a tenderfoot it does not button and does not enfeoff fidelity. sent19: something is not a tenderfoot and is not a kind of a joy if it enfeoffs Poecilocapsus. sent20: the hoop does not button. sent21: there exists something such that it does enfeoff Poecilocapsus. ; $proof$ = 
sent18 -> int1: the cocobolo is not a button and it does not enfeoff fidelity if it is a tenderfoot.; void -> assump1: Let's assume that the cocobolo is a kind of a tenderfoot.; int1 & assump1 -> int2: the fact that the cocobolo does not button and it does not enfeoff fidelity is not wrong.; int2 -> int3: the cocobolo does not enfeoff fidelity.; sent8 & sent2 -> int4: that the bean does whoop is not incorrect.; int4 -> int5: there exists something such that it is a whoop.; int5 & sent9 -> int6: the cocobolo does enfeoff fidelity.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the cocobolo is not a tenderfoot.; int8 & sent12 -> int9: the fact that the meterstick is a moss-trooper but it is not a tenderfoot is not false.; int9 -> int10: something is a moss-trooper but it is not a tenderfoot.; int10 & sent13 -> hypothesis; __DISPROVED__