if the referring wimp happens the transferring bottlebrush happens.
sent1: that the scarring and the non-pteridologicalness happens is wrong if the transferring bottlebrush does not occur. sent2: the fact that the scarring and the pteridologicalness occurs does not hold if the transferring bottlebrush does not occur. sent3: that the referring wimp occurs is prevented by the pteridologicalness. sent4: the temperance happens if the two-pieceness happens. sent5: the fact that the scar and the pteridologicalness occurs is wrong. sent6: if the subtropicalness occurs the deification occurs. sent7: the subtropicalness does not occur. sent8: the referring wimp happens if the fact that the scarring but not the pteridologicalness happens is not true. sent9: if the fact that the scarring but not the pteridologicalness happens is incorrect the referring wimp does not occur.
void -> assump1: Let's assume that the referring wimp happens.; void -> assump2: Let's assume that the transferring bottlebrush does not occur.; sent1 & assump2 -> int1: the fact that both the scarring and the non-pteridologicalness happens does not hold.; sent9 & int1 -> int2: the referring wimp does not occur.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the transferring bottlebrush occurs.; [assump1] & int4 -> hypothesis;
$hypothesis$ = if the referring wimp happens the transferring bottlebrush happens. ; $context$ = sent1: that the scarring and the non-pteridologicalness happens is wrong if the transferring bottlebrush does not occur. sent2: the fact that the scarring and the pteridologicalness occurs does not hold if the transferring bottlebrush does not occur. sent3: that the referring wimp occurs is prevented by the pteridologicalness. sent4: the temperance happens if the two-pieceness happens. sent5: the fact that the scar and the pteridologicalness occurs is wrong. sent6: if the subtropicalness occurs the deification occurs. sent7: the subtropicalness does not occur. sent8: the referring wimp happens if the fact that the scarring but not the pteridologicalness happens is not true. sent9: if the fact that the scarring but not the pteridologicalness happens is incorrect the referring wimp does not occur. ; $proof$ = 
void -> assump1: Let's assume that the referring wimp happens.; void -> assump2: Let's assume that the transferring bottlebrush does not occur.; sent1 & assump2 -> int1: the fact that both the scarring and the non-pteridologicalness happens does not hold.; sent9 & int1 -> int2: the referring wimp does not occur.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the transferring bottlebrush occurs.; [assump1] & int4 -> hypothesis; __PROVED__