the fact that there exists something such that if it is a kind of a Hawaiian it is not municipal is true.
sent1: there is something such that if it is a Hawaiian it is municipal. sent2: the four-spot is a durative. sent3: if the four-spot is a pollution then that it exsiccates triplicate is true. sent4: if something that is a kind of a Skuld is municipal the four-spot is not a blush. sent5: something is municipal and it is a kind of a Hawaiian if it is not a kind of a Skuld. sent6: the detonator is municipal if it is a kind of a Hawaiian. sent7: the boardwalk is not a durative if that the detonator is not otic and it is not a kind of a beehive is not right. sent8: there exists something such that that it is municipal is true. sent9: the fact that if that the detonator is a kind of the Hawaiian is true the detonator is a kind of a Skuld is correct.
void -> assump2: Let's assume that the detonator is a kind of a Hawaiian.; sent9 & assump2 -> int1: the detonator is a Skuld.; void -> assump1: Let's assume that the detonator is municipal.; int1 & assump1 -> int2: the detonator is a Skuld that is municipal.; int2 -> int3: there exists something such that it is a Skuld that is municipal.; int3 & sent4 -> int4: the four-spot is not a blush.;
the boardwalk is municipal.
sent5 -> int5: the boardwalk is a kind of municipal thing that is a Hawaiian if that it is not a Skuld hold.;
$hypothesis$ = the fact that there exists something such that if it is a kind of a Hawaiian it is not municipal is true. ; $context$ = sent1: there is something such that if it is a Hawaiian it is municipal. sent2: the four-spot is a durative. sent3: if the four-spot is a pollution then that it exsiccates triplicate is true. sent4: if something that is a kind of a Skuld is municipal the four-spot is not a blush. sent5: something is municipal and it is a kind of a Hawaiian if it is not a kind of a Skuld. sent6: the detonator is municipal if it is a kind of a Hawaiian. sent7: the boardwalk is not a durative if that the detonator is not otic and it is not a kind of a beehive is not right. sent8: there exists something such that that it is municipal is true. sent9: the fact that if that the detonator is a kind of the Hawaiian is true the detonator is a kind of a Skuld is correct. ; $proof$ = 
void -> assump2: Let's assume that the detonator is a kind of a Hawaiian.; sent9 & assump2 -> int1: the detonator is a Skuld.; void -> assump1: Let's assume that the detonator is municipal.; int1 & assump1 -> int2: the detonator is a Skuld that is municipal.; int2 -> int3: there exists something such that it is a Skuld that is municipal.; int3 & sent4 -> int4: the four-spot is not a blush.; __UNKNOWN__