that that the predicate and the profanedness happens causes the non-Ugandanness is true.
sent1: that the detriment does not occur is brought about by that both the inconsiderableness and the quadraticness happens. sent2: the transfiguration does not occur. sent3: both the angelus and the demineralizing Hegel happens. sent4: the Cameroonian occurs. sent5: that the predicate and the profanedness occurs prevents that the Ugandanness does not occur. sent6: the predicate happens.
void -> assump1: Let's assume that the predicate happens and the profanedness occurs.; assump1 -> int1: the profanedness happens.; int1 -> int2: the profanedness or the Cameroonian or both occurs.;
$hypothesis$ = that that the predicate and the profanedness happens causes the non-Ugandanness is true. ; $context$ = sent1: that the detriment does not occur is brought about by that both the inconsiderableness and the quadraticness happens. sent2: the transfiguration does not occur. sent3: both the angelus and the demineralizing Hegel happens. sent4: the Cameroonian occurs. sent5: that the predicate and the profanedness occurs prevents that the Ugandanness does not occur. sent6: the predicate happens. ; $proof$ = 
void -> assump1: Let's assume that the predicate happens and the profanedness occurs.; assump1 -> int1: the profanedness happens.; int1 -> int2: the profanedness or the Cameroonian or both occurs.; __UNKNOWN__