the Sodom is not immaterial if the dime is satyric.
sent1: if the dime is not non-satyric the Sodom is not closing. sent2: the Sodom is not closing. sent3: the Sodom is satyric but it is not immaterial if the dime closes. sent4: the Sodom is immaterial and does not close. sent5: if the dime is immaterial then the Sodom is not satyric. sent6: the Sodom is immaterial if the dime is satyric. sent7: if the dime is satyric then the Sodom is immaterial and is non-closing. sent8: the Sodom is not non-satyric if that the dime is immaterial hold. sent9: the Sodom is not a cetacean and is not a emotionality. sent10: the Sodom is a Abilene. sent11: the dime is not immaterial if the Sodom is satyric. sent12: the Sodom is satyric but it is not closing if the dime is immaterial. sent13: if the dime is satyric the Sodom is non-immaterial thing that is not closing.
void -> assump1: Let's assume that the fact that the dime is satyric is right.; sent13 & assump1 -> int1: the Sodom is non-immaterial and is not closing.; int1 -> int2: the Sodom is not immaterial.; [assump1] & int2 -> hypothesis;
$hypothesis$ = the Sodom is not immaterial if the dime is satyric. ; $context$ = sent1: if the dime is not non-satyric the Sodom is not closing. sent2: the Sodom is not closing. sent3: the Sodom is satyric but it is not immaterial if the dime closes. sent4: the Sodom is immaterial and does not close. sent5: if the dime is immaterial then the Sodom is not satyric. sent6: the Sodom is immaterial if the dime is satyric. sent7: if the dime is satyric then the Sodom is immaterial and is non-closing. sent8: the Sodom is not non-satyric if that the dime is immaterial hold. sent9: the Sodom is not a cetacean and is not a emotionality. sent10: the Sodom is a Abilene. sent11: the dime is not immaterial if the Sodom is satyric. sent12: the Sodom is satyric but it is not closing if the dime is immaterial. sent13: if the dime is satyric the Sodom is non-immaterial thing that is not closing. ; $proof$ = 
void -> assump1: Let's assume that the fact that the dime is satyric is right.; sent13 & assump1 -> int1: the Sodom is non-immaterial and is not closing.; int1 -> int2: the Sodom is not immaterial.; [assump1] & int2 -> hypothesis; __PROVED__