the kibitzing does not occur and the actableness does not occur if the kafkaesqueness occurs.
sent1: the politicsness occurs and the funerariness happens. sent2: that the kafkaesqueness occurs prevents the actableness. sent3: the kibitzing and the unactableness occurs if the roofing left-hander does not occur. sent4: both the kibitzing and the unactableness occurs. sent5: the actableness does not occur. sent6: that the actableness occurs is wrong if the roofing left-hander does not occur. sent7: the precaution does not occur and the deteriorating does not occur. sent8: the ruminantness does not occur. sent9: if the menstruating overlook does not occur both the non-Goetheanness and the non-betteringness happens. sent10: if both the kafkaesqueness and the Jungian happens the roofing left-hander does not occur. sent11: if the piscatorialness does not occur the fact that the Hanoverian does not occur and the complaint does not occur is not false. sent12: the Jungianness occurs. sent13: that both the kibitzing and the non-actableness happens is brought about by the kafkaesqueness.
void -> assump1: Let's assume that the kafkaesqueness happens.; assump1 & sent12 -> int1: the kafkaesqueness and the Jungianness happens.; int1 & sent10 -> int2: the roofing left-hander does not occur.;
$hypothesis$ = the kibitzing does not occur and the actableness does not occur if the kafkaesqueness occurs. ; $context$ = sent1: the politicsness occurs and the funerariness happens. sent2: that the kafkaesqueness occurs prevents the actableness. sent3: the kibitzing and the unactableness occurs if the roofing left-hander does not occur. sent4: both the kibitzing and the unactableness occurs. sent5: the actableness does not occur. sent6: that the actableness occurs is wrong if the roofing left-hander does not occur. sent7: the precaution does not occur and the deteriorating does not occur. sent8: the ruminantness does not occur. sent9: if the menstruating overlook does not occur both the non-Goetheanness and the non-betteringness happens. sent10: if both the kafkaesqueness and the Jungian happens the roofing left-hander does not occur. sent11: if the piscatorialness does not occur the fact that the Hanoverian does not occur and the complaint does not occur is not false. sent12: the Jungianness occurs. sent13: that both the kibitzing and the non-actableness happens is brought about by the kafkaesqueness. ; $proof$ = 
void -> assump1: Let's assume that the kafkaesqueness happens.; assump1 & sent12 -> int1: the kafkaesqueness and the Jungianness happens.; int1 & sent10 -> int2: the roofing left-hander does not occur.; __UNKNOWN__