that the guiltiness does not occur and/or the rehabilitativeness occurs is triggered by the entrusting transaminase.
sent1: the guiltiness or the rehabilitativeness or both occurs if that the theorizing does not occur hold. sent2: the presage and/or the radioing argentite happens. sent3: the entrusting circumscription does not occur. sent4: the guiltiness happens and/or the rehabilitativeness happens. sent5: the entrusting transaminase does not occur if either the radioing kaph happens or the theorizing occurs or both. sent6: the presage is caused by either that the entrusting puffery happens or that the habitation happens or both. sent7: the flattering does not occur. sent8: the pronounceableness does not occur or the anthropologicalness happens or both. sent9: the orbing Mandelbrot does not occur and/or the radioing titter occurs. sent10: the non-guiltiness and/or the rehabilitativeness happens if the theorizing does not occur. sent11: either the toxicologicalness does not occur or the intersection occurs or both if the fact that the heterotrophicness occurs is true. sent12: if the constant and/or the radioing fantail occurs the bestowal does not occur. sent13: the directing occurs.
void -> assump2: Let's assume that that the entrusting transaminase happens is true.; void -> assump1: Let's assume that the theorizing happens.; assump1 -> int1: either the radioing kaph happens or the theorizing happens or both.; sent5 & int1 -> int2: the entrusting transaminase does not occur.; assump2 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the theorizing does not occur.; sent10 & int4 -> int5: the guiltiness does not occur and/or the rehabilitativeness happens.; [assump2] & int5 -> hypothesis;
$hypothesis$ = that the guiltiness does not occur and/or the rehabilitativeness occurs is triggered by the entrusting transaminase. ; $context$ = sent1: the guiltiness or the rehabilitativeness or both occurs if that the theorizing does not occur hold. sent2: the presage and/or the radioing argentite happens. sent3: the entrusting circumscription does not occur. sent4: the guiltiness happens and/or the rehabilitativeness happens. sent5: the entrusting transaminase does not occur if either the radioing kaph happens or the theorizing occurs or both. sent6: the presage is caused by either that the entrusting puffery happens or that the habitation happens or both. sent7: the flattering does not occur. sent8: the pronounceableness does not occur or the anthropologicalness happens or both. sent9: the orbing Mandelbrot does not occur and/or the radioing titter occurs. sent10: the non-guiltiness and/or the rehabilitativeness happens if the theorizing does not occur. sent11: either the toxicologicalness does not occur or the intersection occurs or both if the fact that the heterotrophicness occurs is true. sent12: if the constant and/or the radioing fantail occurs the bestowal does not occur. sent13: the directing occurs. ; $proof$ = 
void -> assump2: Let's assume that that the entrusting transaminase happens is true.; void -> assump1: Let's assume that the theorizing happens.; assump1 -> int1: either the radioing kaph happens or the theorizing happens or both.; sent5 & int1 -> int2: the entrusting transaminase does not occur.; assump2 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the theorizing does not occur.; sent10 & int4 -> int5: the guiltiness does not occur and/or the rehabilitativeness happens.; [assump2] & int5 -> hypothesis; __PROVED__