the fact that the masonry does not waive if the doyenne is not a kind of a Perry and is dacitic is not true.
sent1: the masonry is not baptismal. sent2: something is not a Perry if it is not azotic. sent3: if the doyenne is not azotic then the masonry is a kind of non-baptismal thing that does not waive. sent4: if the masonry is not a Perry the doyenne does not overuse copper and it is not baptismal. sent5: the length is not dacitic. sent6: if something tips greatcoat and it is a syrup it is not a liberalism. sent7: if the masonry waives but it does not overuse copper it does not flake pinhead. sent8: if something does flake pinhead and does not flake self-inductance then it is not azotic. sent9: something flakes pinhead but it does not flake self-inductance if it does not overuse copper. sent10: if something does flake pinhead and flakes self-inductance it is not azotic. sent11: if the doyenne is not a Perry but it is dacitic the fact that it does not overuse copper is not wrong. sent12: the masonry overuses copper but it is non-baptismal. sent13: that the masonry is not dacitic is not incorrect.
void -> assump1: Let's assume that the doyenne is not a Perry but it is dacitic.; sent11 & assump1 -> int1: the doyenne does not overuse copper.; sent9 -> int2: the doyenne flakes pinhead but it does not flake self-inductance if it does not overuse copper.; int1 & int2 -> int3: the doyenne does flake pinhead and does not flake self-inductance.; sent8 -> int4: if the doyenne does flake pinhead but it does not flake self-inductance it is not azotic.; int3 & int4 -> int5: the doyenne is not azotic.; int5 & sent3 -> int6: the masonry is not baptismal and does not waive.; int6 -> int7: the masonry does not waive.; [assump1] & int7 -> hypothesis;
$hypothesis$ = the fact that the masonry does not waive if the doyenne is not a kind of a Perry and is dacitic is not true. ; $context$ = sent1: the masonry is not baptismal. sent2: something is not a Perry if it is not azotic. sent3: if the doyenne is not azotic then the masonry is a kind of non-baptismal thing that does not waive. sent4: if the masonry is not a Perry the doyenne does not overuse copper and it is not baptismal. sent5: the length is not dacitic. sent6: if something tips greatcoat and it is a syrup it is not a liberalism. sent7: if the masonry waives but it does not overuse copper it does not flake pinhead. sent8: if something does flake pinhead and does not flake self-inductance then it is not azotic. sent9: something flakes pinhead but it does not flake self-inductance if it does not overuse copper. sent10: if something does flake pinhead and flakes self-inductance it is not azotic. sent11: if the doyenne is not a Perry but it is dacitic the fact that it does not overuse copper is not wrong. sent12: the masonry overuses copper but it is non-baptismal. sent13: that the masonry is not dacitic is not incorrect. ; $proof$ = 
void -> assump1: Let's assume that the doyenne is not a Perry but it is dacitic.; sent11 & assump1 -> int1: the doyenne does not overuse copper.; sent9 -> int2: the doyenne flakes pinhead but it does not flake self-inductance if it does not overuse copper.; int1 & int2 -> int3: the doyenne does flake pinhead and does not flake self-inductance.; sent8 -> int4: if the doyenne does flake pinhead but it does not flake self-inductance it is not azotic.; int3 & int4 -> int5: the doyenne is not azotic.; int5 & sent3 -> int6: the masonry is not baptismal and does not waive.; int6 -> int7: the masonry does not waive.; [assump1] & int7 -> hypothesis; __DISPROVED__