the non-behavioralness and the joinery happens if the image happens.
sent1: that the trophoblasticness and the insufficientness occurs is brought about by that the ribbing does not occur. sent2: if the trophoblasticness happens then the joinery occurs. sent3: the permanentness happens. sent4: if the permanentness happens the might-have-been occurs. sent5: that the image does not occur is caused by that the might-have-been happens and the behavioralness happens. sent6: the ribbing does not occur.
sent4 & sent3 -> int1: the might-have-been occurs.; void -> assump2: Let's assume that the behavioralness happens.; int1 & assump2 -> int2: the might-have-been and the behavioralness happens.; int2 & sent5 -> int3: the image does not occur.; void -> assump1: Let's assume that the imaging occurs.; int3 & assump1 -> int4: this is contradiction.; [assump2] & int4 -> int5: the behavioralness does not occur.; sent1 & sent6 -> int6: both the trophoblasticness and the insufficientness happens.; int6 -> int7: the trophoblasticness occurs.; sent2 & int7 -> int8: that the joinery occurs is not incorrect.; int5 & int8 -> int9: both the non-behavioralness and the joinery happens.; [assump1] & int9 -> hypothesis;
$hypothesis$ = the non-behavioralness and the joinery happens if the image happens. ; $context$ = sent1: that the trophoblasticness and the insufficientness occurs is brought about by that the ribbing does not occur. sent2: if the trophoblasticness happens then the joinery occurs. sent3: the permanentness happens. sent4: if the permanentness happens the might-have-been occurs. sent5: that the image does not occur is caused by that the might-have-been happens and the behavioralness happens. sent6: the ribbing does not occur. ; $proof$ = 
sent4 & sent3 -> int1: the might-have-been occurs.; void -> assump2: Let's assume that the behavioralness happens.; int1 & assump2 -> int2: the might-have-been and the behavioralness happens.; int2 & sent5 -> int3: the image does not occur.; void -> assump1: Let's assume that the imaging occurs.; int3 & assump1 -> int4: this is contradiction.; [assump2] & int4 -> int5: the behavioralness does not occur.; sent1 & sent6 -> int6: both the trophoblasticness and the insufficientness happens.; int6 -> int7: the trophoblasticness occurs.; sent2 & int7 -> int8: that the joinery occurs is not incorrect.; int5 & int8 -> int9: both the non-behavioralness and the joinery happens.; [assump1] & int9 -> hypothesis; __PROVED__