the bicipitalness does not occur if the lightning occurs.
sent1: that the swell and the bicipitalness happens yields that the lightning does not occur. sent2: the insert occurs. sent3: the miffing occurs. sent4: the fact that the encrusting infernal does not occur is not right. sent5: that the blondness occurs prevents that the protozoologicalness does not occur. sent6: if the protozoologicalness happens then the swelling happens. sent7: the bicipitalness happens if the lightning occurs. sent8: the miffing and the blond occurs. sent9: the lightning happens if both the swelling and the bicipitalness happens.
void -> assump2: Let's assume that the fact that the lightning happens is not incorrect.; sent8 -> int1: the blond happens.; sent5 & int1 -> int2: the protozoologicalness happens.; sent6 & int2 -> int3: the swelling happens.; void -> assump1: Let's assume that the bicipitalness happens.; int3 & assump1 -> int4: the swell and the bicipitalness occurs.; sent1 & int4 -> int5: the lightning does not occur.; assump2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the bicipitalness does not occur.; [assump2] & int7 -> hypothesis;
$hypothesis$ = the bicipitalness does not occur if the lightning occurs. ; $context$ = sent1: that the swell and the bicipitalness happens yields that the lightning does not occur. sent2: the insert occurs. sent3: the miffing occurs. sent4: the fact that the encrusting infernal does not occur is not right. sent5: that the blondness occurs prevents that the protozoologicalness does not occur. sent6: if the protozoologicalness happens then the swelling happens. sent7: the bicipitalness happens if the lightning occurs. sent8: the miffing and the blond occurs. sent9: the lightning happens if both the swelling and the bicipitalness happens. ; $proof$ = 
void -> assump2: Let's assume that the fact that the lightning happens is not incorrect.; sent8 -> int1: the blond happens.; sent5 & int1 -> int2: the protozoologicalness happens.; sent6 & int2 -> int3: the swelling happens.; void -> assump1: Let's assume that the bicipitalness happens.; int3 & assump1 -> int4: the swell and the bicipitalness occurs.; sent1 & int4 -> int5: the lightning does not occur.; assump2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the bicipitalness does not occur.; [assump2] & int7 -> hypothesis; __PROVED__