if the abator does lecture column either the enrollee does not lecture abator or it is not aware or both.
sent1: if something lectures abator then the enrollee is aware and/or it does not lecture column. sent2: the abator is aware and/or does not lecture abator if there is something such that it lectures column. sent3: if there is something such that that it does lecture column is not incorrect the abator does not lecture abator and/or it is not aware. sent4: the enrollee is not aware and/or it does lecture column. sent5: if there is something such that it lectures column the enrollee does not lecture abator or it is not aware or both. sent6: the enrollee does lecture abator or it does not lecture column or both if something is aware. sent7: if the enrollee does lecture column either the abator is not aware or it does not lecture abator or both. sent8: if there exists something such that it does lecture column either the abator is not aware or it does not lecture abator or both. sent9: the abator lectures abator or it is not aware or both if the enrollee lectures column. sent10: if there exists something such that it lectures abator then the abator is not aware and/or it does not lecture column. sent11: the enrollee does not lecture column and/or it is aware if there exists something such that it lectures abator. sent12: if there is something such that it lectures column that the abator either lectures abator or is not aware or both is not incorrect.
void -> assump1: Let's assume that the abator lectures column.; assump1 -> int1: there is something such that it does lecture column.; int1 & sent5 -> int2: the enrollee does not lecture abator or it is not aware or both.; [assump1] & int2 -> hypothesis;
$hypothesis$ = if the abator does lecture column either the enrollee does not lecture abator or it is not aware or both. ; $context$ = sent1: if something lectures abator then the enrollee is aware and/or it does not lecture column. sent2: the abator is aware and/or does not lecture abator if there is something such that it lectures column. sent3: if there is something such that that it does lecture column is not incorrect the abator does not lecture abator and/or it is not aware. sent4: the enrollee is not aware and/or it does lecture column. sent5: if there is something such that it lectures column the enrollee does not lecture abator or it is not aware or both. sent6: the enrollee does lecture abator or it does not lecture column or both if something is aware. sent7: if the enrollee does lecture column either the abator is not aware or it does not lecture abator or both. sent8: if there exists something such that it does lecture column either the abator is not aware or it does not lecture abator or both. sent9: the abator lectures abator or it is not aware or both if the enrollee lectures column. sent10: if there exists something such that it lectures abator then the abator is not aware and/or it does not lecture column. sent11: the enrollee does not lecture column and/or it is aware if there exists something such that it lectures abator. sent12: if there is something such that it lectures column that the abator either lectures abator or is not aware or both is not incorrect. ; $proof$ = 
void -> assump1: Let's assume that the abator lectures column.; assump1 -> int1: there is something such that it does lecture column.; int1 & sent5 -> int2: the enrollee does not lecture abator or it is not aware or both.; [assump1] & int2 -> hypothesis; __PROVED__