that the hiddenite is fraternal and not Dipylon does not hold if the thiamine does not convect.
sent1: if something that is fraternal is a Dipylon then the rooftop is a nibble. sent2: the memsahib detaches but it does not nibble. sent3: that the thiamine does convect if the abductor is a misalignment is true. sent4: if the rooftop does nibble then the abductor is a misalignment. sent5: the fact that the hiddenite is a kind of fraternal thing that is not a kind of a nibble is false if the rooftop is Dipylon. sent6: if the hiddenite does not convect that the thiamine is a kind of fraternal thing that is a misalignment is not right. sent7: the fact that the hiddenite is discordant is not correct. sent8: the hiddenite is fraternal. sent9: the rooftop is not fraternal.
void -> assump2: Let's assume that the hiddenite is fraternal but it is not a Dipylon.; assump2 -> int1: there exists something such that it is a kind of fraternal thing that is not a kind of a Dipylon.;
$hypothesis$ = that the hiddenite is fraternal and not Dipylon does not hold if the thiamine does not convect. ; $context$ = sent1: if something that is fraternal is a Dipylon then the rooftop is a nibble. sent2: the memsahib detaches but it does not nibble. sent3: that the thiamine does convect if the abductor is a misalignment is true. sent4: if the rooftop does nibble then the abductor is a misalignment. sent5: the fact that the hiddenite is a kind of fraternal thing that is not a kind of a nibble is false if the rooftop is Dipylon. sent6: if the hiddenite does not convect that the thiamine is a kind of fraternal thing that is a misalignment is not right. sent7: the fact that the hiddenite is discordant is not correct. sent8: the hiddenite is fraternal. sent9: the rooftop is not fraternal. ; $proof$ = 
void -> assump2: Let's assume that the hiddenite is fraternal but it is not a Dipylon.; assump2 -> int1: there exists something such that it is a kind of fraternal thing that is not a kind of a Dipylon.; __UNKNOWN__