the filming occurs and the idealness occurs if the emending Afro does not occur.
sent1: the urticating self-heal does not occur if the Californianness does not occur. sent2: if the emending Afro occurs the filming happens and the ideal happens. sent3: the emending clianthus does not occur. sent4: the fact that the urticating fergusonite does not occur is right. sent5: that the urticating chinook does not occur results in that the Californian does not occur and the emending clianthus does not occur. sent6: that the urticating self-heal does not occur and the filming happens is brought about by the non-Californianness. sent7: the urticating self-heal does not occur. sent8: if the fact that not the urticating fergusonite but the idealness happens is not right then the emending Afro happens. sent9: that both the urticating fergusonite and the idealness occurs does not hold. sent10: the emending Afro occurs if the urticating fergusonite happens. sent11: the urticating chinook does not occur.
void -> assump1: Let's assume that the fact that not the urticating fergusonite but the idealness happens is not correct.; sent8 & assump1 -> int1: that the emending Afro happens is true.; void -> assump2: Let's assume that the emending Afro does not occur.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the urticating fergusonite does not occur and the ideal happens is not false.; int3 -> int4: the ideal occurs.; sent5 & sent11 -> int5: that the Californianness does not occur and the emending clianthus does not occur hold.; int5 -> int6: the Californianness does not occur.; sent6 & int6 -> int7: the urticating self-heal does not occur and the filming occurs.; int7 -> int8: the filming happens.; int4 & int8 -> int9: both the filming and the ideal happens.; [assump2] & int9 -> hypothesis;
$hypothesis$ = the filming occurs and the idealness occurs if the emending Afro does not occur. ; $context$ = sent1: the urticating self-heal does not occur if the Californianness does not occur. sent2: if the emending Afro occurs the filming happens and the ideal happens. sent3: the emending clianthus does not occur. sent4: the fact that the urticating fergusonite does not occur is right. sent5: that the urticating chinook does not occur results in that the Californian does not occur and the emending clianthus does not occur. sent6: that the urticating self-heal does not occur and the filming happens is brought about by the non-Californianness. sent7: the urticating self-heal does not occur. sent8: if the fact that not the urticating fergusonite but the idealness happens is not right then the emending Afro happens. sent9: that both the urticating fergusonite and the idealness occurs does not hold. sent10: the emending Afro occurs if the urticating fergusonite happens. sent11: the urticating chinook does not occur. ; $proof$ = 
void -> assump1: Let's assume that the fact that not the urticating fergusonite but the idealness happens is not correct.; sent8 & assump1 -> int1: that the emending Afro happens is true.; void -> assump2: Let's assume that the emending Afro does not occur.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the urticating fergusonite does not occur and the ideal happens is not false.; int3 -> int4: the ideal occurs.; sent5 & sent11 -> int5: that the Californianness does not occur and the emending clianthus does not occur hold.; int5 -> int6: the Californianness does not occur.; sent6 & int6 -> int7: the urticating self-heal does not occur and the filming occurs.; int7 -> int8: the filming happens.; int4 & int8 -> int9: both the filming and the ideal happens.; [assump2] & int9 -> hypothesis; __PROVED__