that the bradawl is a kind of a deputy and it is a kind of a topsail is false.
sent1: the tapestry is not a Alexandrian if there exists something such that the fact that it does repress mustache and/or does not beggar Galton does not hold. sent2: something does not repress mustache. sent3: if the staple is not a topsail the fact that the bradawl is a deputy and it is a topsail is not true. sent4: the tapestry is not a kind of a dog if the nighthawk is not dimensional. sent5: the fact that the bradawl is a Alexandrian is right if the tapestry is not Alexandrian and not a dog. sent6: if something is not a Alexandrian it is consolable. sent7: if the rapier does repress mustache the staple is not a topsail. sent8: a consolable thing is a kind of a dog. sent9: if the rapier does not beggar Galton then the staple is not a topsail. sent10: there exists something such that that it is a deputy or does beggar Galton or both is not right. sent11: there exists something such that the fact that it does repress mustache or it does beggar Galton or both does not hold. sent12: the fact that the nighthawk is dimensional and a dog is incorrect. sent13: if that the fact that the nighthawk is dimensional and it is a dog is right does not hold that the tapestry is not a dog is not incorrect. sent14: if the bradawl does not beggar Galton it is a deputy. sent15: a Alexandrian thing is a deputy.
void -> assump1: Let's assume that the fact that either the rapier represses mustache or it does not beggar Galton or both is incorrect.; assump1 -> int1: there exists something such that that it does repress mustache and/or it does not beggar Galton is false.; int1 & sent1 -> int2: the tapestry is not a Alexandrian.; sent6 -> int3: the tapestry is consolable if it is not Alexandrian.; int2 & int3 -> int4: the fact that the tapestry is consolable is not incorrect.; sent8 -> int5: the tapestry is a dog if that it is consolable hold.; int4 & int5 -> int6: the tapestry is a dog.; sent13 & sent12 -> int7: the tapestry is not a dog.; int6 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the rapier either represses mustache or does not beggar Galton or both.; int9 & sent7 & sent9 -> int10: the staple is not a topsail.; int10 & sent3 -> hypothesis;
the bradawl is a deputy and is a kind of a topsail.
sent15 -> int11: if the bradawl is a kind of a Alexandrian it is a kind of a deputy.;
$hypothesis$ = that the bradawl is a kind of a deputy and it is a kind of a topsail is false. ; $context$ = sent1: the tapestry is not a Alexandrian if there exists something such that the fact that it does repress mustache and/or does not beggar Galton does not hold. sent2: something does not repress mustache. sent3: if the staple is not a topsail the fact that the bradawl is a deputy and it is a topsail is not true. sent4: the tapestry is not a kind of a dog if the nighthawk is not dimensional. sent5: the fact that the bradawl is a Alexandrian is right if the tapestry is not Alexandrian and not a dog. sent6: if something is not a Alexandrian it is consolable. sent7: if the rapier does repress mustache the staple is not a topsail. sent8: a consolable thing is a kind of a dog. sent9: if the rapier does not beggar Galton then the staple is not a topsail. sent10: there exists something such that that it is a deputy or does beggar Galton or both is not right. sent11: there exists something such that the fact that it does repress mustache or it does beggar Galton or both does not hold. sent12: the fact that the nighthawk is dimensional and a dog is incorrect. sent13: if that the fact that the nighthawk is dimensional and it is a dog is right does not hold that the tapestry is not a dog is not incorrect. sent14: if the bradawl does not beggar Galton it is a deputy. sent15: a Alexandrian thing is a deputy. ; $proof$ = 
void -> assump1: Let's assume that the fact that either the rapier represses mustache or it does not beggar Galton or both is incorrect.; assump1 -> int1: there exists something such that that it does repress mustache and/or it does not beggar Galton is false.; int1 & sent1 -> int2: the tapestry is not a Alexandrian.; sent6 -> int3: the tapestry is consolable if it is not Alexandrian.; int2 & int3 -> int4: the fact that the tapestry is consolable is not incorrect.; sent8 -> int5: the tapestry is a dog if that it is consolable hold.; int4 & int5 -> int6: the tapestry is a dog.; sent13 & sent12 -> int7: the tapestry is not a dog.; int6 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the rapier either represses mustache or does not beggar Galton or both.; int9 & sent7 & sent9 -> int10: the staple is not a topsail.; int10 & sent3 -> hypothesis; __PROVED__