the bastard is a kind of a chufa.
sent1: if something is unconstitutional then it is a sheika and/or it is not Calcuttan. sent2: if the print is not a Caliphate that it is not a constitutional and it is not a sheika does not hold. sent3: that the bastard is a kind of a Portugal but it is not constitutional is not right. sent4: if the fact that something is a kind of a Byrd but it does not salt hierarchy is not right then it is not Calcuttan. sent5: if that something is not constitutional and not a sheika is false then it is Calcuttan. sent6: that the print is not a chufa is right. sent7: the print is not a kind of a Caliphate. sent8: the bastard is not a chufa if a Byrd does not salt hierarchy.
sent4 -> int1: if that the print is a kind of a Byrd and does not salt hierarchy is incorrect then it is not Calcuttan.; void -> assump1: Let's assume that the fact that the print is a Byrd but it does not salt hierarchy is incorrect.; int1 & assump1 -> int2: the print is not Calcuttan.; sent5 -> int3: if the fact that the print is not a constitutional and it is not a kind of a sheika is not right it is Calcuttan.; sent2 & sent7 -> int4: that the print is not constitutional and is not a sheika does not hold.; int3 & int4 -> int5: the print is Calcuttan.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the print is a kind of a Byrd but it does not salt hierarchy.; int7 -> int8: there exists something such that it is a Byrd and does not salt hierarchy.; int8 & sent8 -> hypothesis;
that the bastard is a kind of a chufa is not incorrect.
sent1 -> int9: the bastard is a kind of a sheika or it is not Calcuttan or both if that it is not constitutional is not wrong.;
$hypothesis$ = the bastard is a kind of a chufa. ; $context$ = sent1: if something is unconstitutional then it is a sheika and/or it is not Calcuttan. sent2: if the print is not a Caliphate that it is not a constitutional and it is not a sheika does not hold. sent3: that the bastard is a kind of a Portugal but it is not constitutional is not right. sent4: if the fact that something is a kind of a Byrd but it does not salt hierarchy is not right then it is not Calcuttan. sent5: if that something is not constitutional and not a sheika is false then it is Calcuttan. sent6: that the print is not a chufa is right. sent7: the print is not a kind of a Caliphate. sent8: the bastard is not a chufa if a Byrd does not salt hierarchy. ; $proof$ = 
sent4 -> int1: if that the print is a kind of a Byrd and does not salt hierarchy is incorrect then it is not Calcuttan.; void -> assump1: Let's assume that the fact that the print is a Byrd but it does not salt hierarchy is incorrect.; int1 & assump1 -> int2: the print is not Calcuttan.; sent5 -> int3: if the fact that the print is not a constitutional and it is not a kind of a sheika is not right it is Calcuttan.; sent2 & sent7 -> int4: that the print is not constitutional and is not a sheika does not hold.; int3 & int4 -> int5: the print is Calcuttan.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the print is a kind of a Byrd but it does not salt hierarchy.; int7 -> int8: there exists something such that it is a Byrd and does not salt hierarchy.; int8 & sent8 -> hypothesis; __DISPROVED__