there exists something such that if it is Platonic then it does overcloud.
sent1: That the entailing extravagance happens triggers that the entailing Helena happens or that the collaring jackhammer occurs or both.
$hypothesis$ = there exists something such that if it is Platonic then it does overcloud. ; $context$ = sent1: That the entailing extravagance happens triggers that the entailing Helena happens or that the collaring jackhammer occurs or both. ; $proof$ = 
__UNKNOWN__