that the kitul is both a trudge and a dilutant if the vicereine is not a Machiavellian is not correct.
sent1: the vicereine is a Machiavellian if the kitul is not a trudge and it is not a crawlspace. sent2: the fact that the kitul is a dilutant is true. sent3: the vicereine is not a ordinand and not a hydroxyproline if the fact that it is not a kind of a Machiavellian is not incorrect. sent4: there exists something such that it is a three-dimensionality. sent5: the kitul is a trudge if the vicereine is not a kind of a crawlspace. sent6: if the vicereine is not a ordinand and it is not a kind of a hydroxyproline then it is not a kind of a crawlspace.
void -> assump1: Let's assume that that the vicereine is not a Machiavellian is not wrong.; sent3 & assump1 -> int1: the vicereine is not a ordinand and it is not a kind of a hydroxyproline.; int1 & sent6 -> int2: the vicereine is not a crawlspace.; int2 & sent5 -> int3: the kitul is a trudge.; int3 & sent2 -> int4: the kitul is a trudge and is a dilutant.; [assump1] & int4 -> hypothesis;
the ketohexose is not appointive and is not a treasury.
$hypothesis$ = that the kitul is both a trudge and a dilutant if the vicereine is not a Machiavellian is not correct. ; $context$ = sent1: the vicereine is a Machiavellian if the kitul is not a trudge and it is not a crawlspace. sent2: the fact that the kitul is a dilutant is true. sent3: the vicereine is not a ordinand and not a hydroxyproline if the fact that it is not a kind of a Machiavellian is not incorrect. sent4: there exists something such that it is a three-dimensionality. sent5: the kitul is a trudge if the vicereine is not a kind of a crawlspace. sent6: if the vicereine is not a ordinand and it is not a kind of a hydroxyproline then it is not a kind of a crawlspace. ; $proof$ = 
void -> assump1: Let's assume that that the vicereine is not a Machiavellian is not wrong.; sent3 & assump1 -> int1: the vicereine is not a ordinand and it is not a kind of a hydroxyproline.; int1 & sent6 -> int2: the vicereine is not a crawlspace.; int2 & sent5 -> int3: the kitul is a trudge.; int3 & sent2 -> int4: the kitul is a trudge and is a dilutant.; [assump1] & int4 -> hypothesis; __DISPROVED__