the fact that the orderly is not a kind of a Dipsosaurus and it is not a histaminase does not hold if the fact that the Uriah is not brahminic is not incorrect.
sent1: the fact that the orderly is a Dipsosaurus and not a histaminase does not hold if that the Uriah is not brahminic is right. sent2: the creditor does evaluate. sent3: that the firelight is both a Dipsosaurus and offing does not hold. sent4: the Zealander does roll gristmill. sent5: that the orderly is not a Dipsosaurus and it is not a histaminase is not correct if the Zealander is a Dipsosaurus. sent6: the sleepyhead does not evaluate. sent7: that the orderly is a kind of a Dipsosaurus that is not a histaminase is incorrect if the Zealander is a Dipsosaurus. sent8: something is a Dipsosaurus if that it does not evaluate and it is a Venus does not hold. sent9: if the Uriah does not evaluate then the Zealander is not a kind of a Dipsosaurus and is not a Venus. sent10: that the Uriah does insinuate and is a histaminase does not hold. sent11: if the Uriah does insinuate then it is brahminic. sent12: the orderly does not evaluate and it is not a kind of a histaminase if the Zealander does evaluate. sent13: if the Uriah does not insinuate then the fact that the Zealander does evaluate and is a Venus is not right. sent14: the Uriah is not a histaminase. sent15: that the orderly is not a Venus but it is a Dipsosaurus is not correct. sent16: the orderly is a histaminase if it is brahminic. sent17: the orderly is both not a Dipsosaurus and not a histaminase if the Uriah is not brahminic.
void -> assump2: Let's assume that the Uriah does insinuate.; sent11 & assump2 -> int1: the Uriah is brahminic.; void -> assump1: Let's assume that the Uriah is not brahminic.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the Uriah does not insinuate.; sent8 -> int4: if the fact that the Zealander does not evaluate but it is a kind of a Venus is not true then it is a Dipsosaurus.;
$hypothesis$ = the fact that the orderly is not a kind of a Dipsosaurus and it is not a histaminase does not hold if the fact that the Uriah is not brahminic is not incorrect. ; $context$ = sent1: the fact that the orderly is a Dipsosaurus and not a histaminase does not hold if that the Uriah is not brahminic is right. sent2: the creditor does evaluate. sent3: that the firelight is both a Dipsosaurus and offing does not hold. sent4: the Zealander does roll gristmill. sent5: that the orderly is not a Dipsosaurus and it is not a histaminase is not correct if the Zealander is a Dipsosaurus. sent6: the sleepyhead does not evaluate. sent7: that the orderly is a kind of a Dipsosaurus that is not a histaminase is incorrect if the Zealander is a Dipsosaurus. sent8: something is a Dipsosaurus if that it does not evaluate and it is a Venus does not hold. sent9: if the Uriah does not evaluate then the Zealander is not a kind of a Dipsosaurus and is not a Venus. sent10: that the Uriah does insinuate and is a histaminase does not hold. sent11: if the Uriah does insinuate then it is brahminic. sent12: the orderly does not evaluate and it is not a kind of a histaminase if the Zealander does evaluate. sent13: if the Uriah does not insinuate then the fact that the Zealander does evaluate and is a Venus is not right. sent14: the Uriah is not a histaminase. sent15: that the orderly is not a Venus but it is a Dipsosaurus is not correct. sent16: the orderly is a histaminase if it is brahminic. sent17: the orderly is both not a Dipsosaurus and not a histaminase if the Uriah is not brahminic. ; $proof$ = 
void -> assump2: Let's assume that the Uriah does insinuate.; sent11 & assump2 -> int1: the Uriah is brahminic.; void -> assump1: Let's assume that the Uriah is not brahminic.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the Uriah does not insinuate.; sent8 -> int4: if the fact that the Zealander does not evaluate but it is a kind of a Venus is not true then it is a Dipsosaurus.; __UNKNOWN__