if the unsanitariness does not occur the unfashionableness happens and the mismanaging Gulliver occurs.
sent1: if the Aleutianness does not occur the mismanaging Gulliver and the thundering occurs. sent2: the knuckleball happens and the unfashionableness happens if the unsanitariness does not occur. sent3: that the unsanitariness occurs causes that the biographicness occurs. sent4: the Aleutianness does not occur.
void -> assump1: Let's assume that the unsanitariness does not occur.; sent2 & assump1 -> int1: the knuckleball occurs and the unfashionableness happens.; int1 -> int2: the unfashionableness occurs.; sent1 & sent4 -> int3: the mismanaging Gulliver and the thunder occurs.; int3 -> int4: the mismanaging Gulliver occurs.; int2 & int4 -> int5: the unfashionableness and the mismanaging Gulliver happens.; [assump1] & int5 -> hypothesis;
both the biographicness and the mismanaging relinquishment occurs.
$hypothesis$ = if the unsanitariness does not occur the unfashionableness happens and the mismanaging Gulliver occurs. ; $context$ = sent1: if the Aleutianness does not occur the mismanaging Gulliver and the thundering occurs. sent2: the knuckleball happens and the unfashionableness happens if the unsanitariness does not occur. sent3: that the unsanitariness occurs causes that the biographicness occurs. sent4: the Aleutianness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the unsanitariness does not occur.; sent2 & assump1 -> int1: the knuckleball occurs and the unfashionableness happens.; int1 -> int2: the unfashionableness occurs.; sent1 & sent4 -> int3: the mismanaging Gulliver and the thunder occurs.; int3 -> int4: the mismanaging Gulliver occurs.; int2 & int4 -> int5: the unfashionableness and the mismanaging Gulliver happens.; [assump1] & int5 -> hypothesis; __PROVED__