the frijolito does not slice ribbonfish.
sent1: the placentation is erect. sent2: the frijolito does not slice ribbonfish if it either is not a kind of a Gabonese or is not Catholic or both. sent3: if something slices disk it slices ribbonfish. sent4: the ribbonfish is not a elver. sent5: the limber does not slice disk. sent6: the frijolito is Catholic. sent7: the fact that something is not a nook and it does not slice disk is wrong if it is not a Catalan. sent8: something slices disk and it is a nook if that it is not a Catalan hold. sent9: if there is something such that it is a kind of a broad the placentation is a kind of a semicircle that is erect. sent10: the Inca is recoverable and it is a kind of a broad. sent11: if the fact that the frijolito is not Gabonese and/or is not a kind of a Catholic is not correct the ribbonfish is a nook. sent12: that there exists something such that it slices ribbonfish is not incorrect. sent13: if something slices disk that the placentation is a kind of a elver and/or is a Catalan is not correct. sent14: if the fact that the frijolito is not a Gabonese and/or is a Catholic is wrong the ribbonfish is a kind of a nook. sent15: the fact that the histiocyte is a bonito and/or it does mint Munchhausen is not true. sent16: the placentation is not a Gabonese and/or it is not erect. sent17: the Inca is recoverable. sent18: if the fact that something does slice disk is right then the placentation is not a kind of a elver. sent19: the ribbonfish is a semicircle. sent20: if the fact that something is a elver or it is a Catalan or both is not right it is not a semicircle. sent21: the histiocyte does slice disk if the ribbonfish is a kind of a nook.
void -> assump1: Let's assume that that the frijolito is not Gabonese or it is not a Catholic or both does not hold.; sent11 & assump1 -> int1: the ribbonfish is a nook.; int1 & sent21 -> int2: that the histiocyte does slice disk hold.; int2 -> int3: there is something such that it slices disk.; int3 & sent13 -> int4: that the placentation is a kind of a elver or it is a kind of a Catalan or both does not hold.; sent20 -> int5: if the fact that the placentation is a elver and/or it is a Catalan is incorrect then it is not a kind of a semicircle.; int4 & int5 -> int6: the placentation is not a semicircle.; sent10 -> int7: the Inca is not non-broad.; int7 -> int8: something is a broad.; int8 & sent9 -> int9: the placentation is both a semicircle and erect.; int9 -> int10: the placentation is a semicircle.; int6 & int10 -> int11: this is contradiction.; [assump1] & int11 -> int12: the frijolito is not Gabonese and/or is not a Catholic.; int12 & sent2 -> hypothesis;
the frijolito does slice ribbonfish.
sent3 -> int13: if the frijolito does slice disk then it slices ribbonfish.; sent8 -> int14: if the frijolito is not a Catalan then it does slice disk and it is a nook.;
$hypothesis$ = the frijolito does not slice ribbonfish. ; $context$ = sent1: the placentation is erect. sent2: the frijolito does not slice ribbonfish if it either is not a kind of a Gabonese or is not Catholic or both. sent3: if something slices disk it slices ribbonfish. sent4: the ribbonfish is not a elver. sent5: the limber does not slice disk. sent6: the frijolito is Catholic. sent7: the fact that something is not a nook and it does not slice disk is wrong if it is not a Catalan. sent8: something slices disk and it is a nook if that it is not a Catalan hold. sent9: if there is something such that it is a kind of a broad the placentation is a kind of a semicircle that is erect. sent10: the Inca is recoverable and it is a kind of a broad. sent11: if the fact that the frijolito is not Gabonese and/or is not a kind of a Catholic is not correct the ribbonfish is a nook. sent12: that there exists something such that it slices ribbonfish is not incorrect. sent13: if something slices disk that the placentation is a kind of a elver and/or is a Catalan is not correct. sent14: if the fact that the frijolito is not a Gabonese and/or is a Catholic is wrong the ribbonfish is a kind of a nook. sent15: the fact that the histiocyte is a bonito and/or it does mint Munchhausen is not true. sent16: the placentation is not a Gabonese and/or it is not erect. sent17: the Inca is recoverable. sent18: if the fact that something does slice disk is right then the placentation is not a kind of a elver. sent19: the ribbonfish is a semicircle. sent20: if the fact that something is a elver or it is a Catalan or both is not right it is not a semicircle. sent21: the histiocyte does slice disk if the ribbonfish is a kind of a nook. ; $proof$ = 
void -> assump1: Let's assume that that the frijolito is not Gabonese or it is not a Catholic or both does not hold.; sent11 & assump1 -> int1: the ribbonfish is a nook.; int1 & sent21 -> int2: that the histiocyte does slice disk hold.; int2 -> int3: there is something such that it slices disk.; int3 & sent13 -> int4: that the placentation is a kind of a elver or it is a kind of a Catalan or both does not hold.; sent20 -> int5: if the fact that the placentation is a elver and/or it is a Catalan is incorrect then it is not a kind of a semicircle.; int4 & int5 -> int6: the placentation is not a semicircle.; sent10 -> int7: the Inca is not non-broad.; int7 -> int8: something is a broad.; int8 & sent9 -> int9: the placentation is both a semicircle and erect.; int9 -> int10: the placentation is a semicircle.; int6 & int10 -> int11: this is contradiction.; [assump1] & int11 -> int12: the frijolito is not Gabonese and/or is not a Catholic.; int12 & sent2 -> hypothesis; __PROVED__