that the clog is non-Canadian and it is not a tie is false.
sent1: there are non-mayoral things. sent2: the clog is not a kind of a tie. sent3: if there exists something such that it does not truss Epirus the clog does gutter day. sent4: there exists something such that it is mayoral. sent5: if the clog does truss Epirus and/or it is a kind of a Canadian the Cardigan does not gutter day. sent6: there is something such that it does not gutter day. sent7: the infundibulum is not freelance. sent8: if something is mayoral that it does not gutter day and it does truss Epirus is not right. sent9: there is something such that it is not a kind of a feldspar. sent10: if the Cardigan fries it is mayoral. sent11: if the clog trusses Epirus the Cardigan does not gutter day. sent12: the Cardigan is a kind of a Canadian. sent13: if there is something such that it is not mayoral the Cardigan does gutter day.
void -> assump1: Let's assume that the clog is a Canadian.; assump1 -> int1: the clog trusses Epirus and/or it is Canadian.; int1 & sent5 -> int2: the Cardigan does not gutter day.; sent1 & sent13 -> int3: the Cardigan gutters day.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the clog is not a Canadian.; int5 & sent2 -> hypothesis;
the fact that the clog is not a Canadian and it is not a tie is incorrect.
sent8 -> int6: if that the Cardigan is mayoral is not wrong that it does not gutter day and it trusses Epirus is not true.;
$hypothesis$ = that the clog is non-Canadian and it is not a tie is false. ; $context$ = sent1: there are non-mayoral things. sent2: the clog is not a kind of a tie. sent3: if there exists something such that it does not truss Epirus the clog does gutter day. sent4: there exists something such that it is mayoral. sent5: if the clog does truss Epirus and/or it is a kind of a Canadian the Cardigan does not gutter day. sent6: there is something such that it does not gutter day. sent7: the infundibulum is not freelance. sent8: if something is mayoral that it does not gutter day and it does truss Epirus is not right. sent9: there is something such that it is not a kind of a feldspar. sent10: if the Cardigan fries it is mayoral. sent11: if the clog trusses Epirus the Cardigan does not gutter day. sent12: the Cardigan is a kind of a Canadian. sent13: if there is something such that it is not mayoral the Cardigan does gutter day. ; $proof$ = 
void -> assump1: Let's assume that the clog is a Canadian.; assump1 -> int1: the clog trusses Epirus and/or it is Canadian.; int1 & sent5 -> int2: the Cardigan does not gutter day.; sent1 & sent13 -> int3: the Cardigan gutters day.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the clog is not a Canadian.; int5 & sent2 -> hypothesis; __DISPROVED__