if the sombrero is Ghanaian the cymbid is not a bulge and is not a coltsfoot.
sent1: the sombrero is not a kind of a bulge. sent2: the fact that something is a kind of a bulge that is not antiferromagnetic is not right if it is a kind of an accelerometer. sent3: if the fact that something is both a bulge and not antiferromagnetic does not hold it is not a chink. sent4: the sombrero sides. sent5: the sombrero is not unpredictable. sent6: the sombrero is non-Scandinavian. sent7: that the cymbid is Britannic is right. sent8: the sombrero is Britannic. sent9: if the sombrero is not a coltsfoot the cymbid is not a bulge and it is not a coltsfoot. sent10: the phaeton is nonsurgical and is not morphophonemics. sent11: the cymbid is both not Ghanaian and not a coltsfoot. sent12: if the sombrero is both Britannic and not unrentable then it is not a coltsfoot. sent13: that the Cynic does not peg washing-up and it is not Britannic is correct. sent14: the sombrero does spear. sent15: the sombrero is not unrentable if it is Ghanaian. sent16: the cymbid is unrentable. sent17: that the sombrero is not Ghanaian hold if the cymbid is not unrentable and is a coltsfoot. sent18: the sombrero is not unrentable if it is both a bulge and not Ghanaian. sent19: the cymbid is non-unrentable a coltsfoot if the process is not a chink. sent20: the cymbid is both not a bulge and not Ghanaian if the sombrero is not Ghanaian.
void -> assump1: Let's assume that the sombrero is Ghanaian.; sent15 & assump1 -> int1: the sombrero is rentable.; int1 & sent8 -> int2: the sombrero is Britannic but it is rentable.; int2 & sent12 -> int3: the sombrero is not a kind of a coltsfoot.; int3 & sent9 -> int4: the cymbid is not a kind of a bulge and is not a coltsfoot.; [assump1] & int4 -> hypothesis;
that the joist is not inaccurate and it is not Britannic is not false.
sent3 -> int5: the process does not chink if the fact that it is a bulge and it is not antiferromagnetic is false.; sent2 -> int6: that the process bulges but it is not antiferromagnetic is not right if it is an accelerometer.;
$hypothesis$ = if the sombrero is Ghanaian the cymbid is not a bulge and is not a coltsfoot. ; $context$ = sent1: the sombrero is not a kind of a bulge. sent2: the fact that something is a kind of a bulge that is not antiferromagnetic is not right if it is a kind of an accelerometer. sent3: if the fact that something is both a bulge and not antiferromagnetic does not hold it is not a chink. sent4: the sombrero sides. sent5: the sombrero is not unpredictable. sent6: the sombrero is non-Scandinavian. sent7: that the cymbid is Britannic is right. sent8: the sombrero is Britannic. sent9: if the sombrero is not a coltsfoot the cymbid is not a bulge and it is not a coltsfoot. sent10: the phaeton is nonsurgical and is not morphophonemics. sent11: the cymbid is both not Ghanaian and not a coltsfoot. sent12: if the sombrero is both Britannic and not unrentable then it is not a coltsfoot. sent13: that the Cynic does not peg washing-up and it is not Britannic is correct. sent14: the sombrero does spear. sent15: the sombrero is not unrentable if it is Ghanaian. sent16: the cymbid is unrentable. sent17: that the sombrero is not Ghanaian hold if the cymbid is not unrentable and is a coltsfoot. sent18: the sombrero is not unrentable if it is both a bulge and not Ghanaian. sent19: the cymbid is non-unrentable a coltsfoot if the process is not a chink. sent20: the cymbid is both not a bulge and not Ghanaian if the sombrero is not Ghanaian. ; $proof$ = 
void -> assump1: Let's assume that the sombrero is Ghanaian.; sent15 & assump1 -> int1: the sombrero is rentable.; int1 & sent8 -> int2: the sombrero is Britannic but it is rentable.; int2 & sent12 -> int3: the sombrero is not a kind of a coltsfoot.; int3 & sent9 -> int4: the cymbid is not a kind of a bulge and is not a coltsfoot.; [assump1] & int4 -> hypothesis; __PROVED__