the sherbert is not a fascination.
sent1: if the arrowhead collars arrowhead then the backing is not a canape and/or collars arrowhead. sent2: if either something is not a canape or it does collar arrowhead or both it rigs abarticulation. sent3: the backing does not collar arrowhead and/or is cytolytic. sent4: the arrowhead does not circumscribe or it is a Ceratopogonidae or both if the fact that it does not collar arrowhead is not wrong. sent5: if the machete is not a caustic it does not circumscribe or it is a kind of a Ceratopogonidae or both. sent6: the arrowhead circumscribes. sent7: the machete does circumscribe if the arrowhead does not collar arrowhead. sent8: something rigs abarticulation if it is not a canape or is a caustic or both. sent9: the fact that the machete is not a kind of a canape and/or it collars arrowhead does not hold if the backing is not a Ceratopogonidae. sent10: the machete is not a caustic. sent11: the machete circumscribes. sent12: the sherbert does collar arrowhead if the arrowhead does rig abarticulation. sent13: the arrowhead is a fascination. sent14: the sherbert is a fascination if the fact that the backing rigs abarticulation is true. sent15: the backing does not circumscribe. sent16: the backing does not embattle. sent17: the machete is not a fascination. sent18: the fact that that the fact that the machete does not circumscribe or it is a kind of a Ceratopogonidae or both is not wrong does not hold is true if the arrowhead does not collar arrowhead. sent19: something does circumscribe if it is a Ceratopogonidae. sent20: something that is not a caustic either rigs abarticulation or is a canape or both.
void -> assump1: Let's assume that the arrowhead does not collar arrowhead.; sent18 & assump1 -> int1: that the machete does not circumscribe and/or it is a Ceratopogonidae is incorrect.; sent5 & sent10 -> int2: the machete either does not circumscribe or is a Ceratopogonidae or both.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the arrowhead does collar arrowhead.; int4 & sent1 -> int5: the backing either is not a canape or collars arrowhead or both.; sent2 -> int6: the backing does rig abarticulation if it is not a canape and/or it does collar arrowhead.; int5 & int6 -> int7: the backing does rig abarticulation.; int7 & sent14 -> hypothesis;
the fact that the sherbert is not a kind of a fascination is correct.
sent20 -> int8: if the arrowhead is not a kind of a caustic then it rigs abarticulation or it is a kind of a canape or both.;
$hypothesis$ = the sherbert is not a fascination. ; $context$ = sent1: if the arrowhead collars arrowhead then the backing is not a canape and/or collars arrowhead. sent2: if either something is not a canape or it does collar arrowhead or both it rigs abarticulation. sent3: the backing does not collar arrowhead and/or is cytolytic. sent4: the arrowhead does not circumscribe or it is a Ceratopogonidae or both if the fact that it does not collar arrowhead is not wrong. sent5: if the machete is not a caustic it does not circumscribe or it is a kind of a Ceratopogonidae or both. sent6: the arrowhead circumscribes. sent7: the machete does circumscribe if the arrowhead does not collar arrowhead. sent8: something rigs abarticulation if it is not a canape or is a caustic or both. sent9: the fact that the machete is not a kind of a canape and/or it collars arrowhead does not hold if the backing is not a Ceratopogonidae. sent10: the machete is not a caustic. sent11: the machete circumscribes. sent12: the sherbert does collar arrowhead if the arrowhead does rig abarticulation. sent13: the arrowhead is a fascination. sent14: the sherbert is a fascination if the fact that the backing rigs abarticulation is true. sent15: the backing does not circumscribe. sent16: the backing does not embattle. sent17: the machete is not a fascination. sent18: the fact that that the fact that the machete does not circumscribe or it is a kind of a Ceratopogonidae or both is not wrong does not hold is true if the arrowhead does not collar arrowhead. sent19: something does circumscribe if it is a Ceratopogonidae. sent20: something that is not a caustic either rigs abarticulation or is a canape or both. ; $proof$ = 
void -> assump1: Let's assume that the arrowhead does not collar arrowhead.; sent18 & assump1 -> int1: that the machete does not circumscribe and/or it is a Ceratopogonidae is incorrect.; sent5 & sent10 -> int2: the machete either does not circumscribe or is a Ceratopogonidae or both.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the arrowhead does collar arrowhead.; int4 & sent1 -> int5: the backing either is not a canape or collars arrowhead or both.; sent2 -> int6: the backing does rig abarticulation if it is not a canape and/or it does collar arrowhead.; int5 & int6 -> int7: the backing does rig abarticulation.; int7 & sent14 -> hypothesis; __DISPROVED__