that the reagin is a Helodermatidae if the fact that the chatroom is immediate and non-tubercular is not true does not hold.
sent1: the reagin is tubercular if the fact that the chatroom is both a Helodermatidae and not immediate is wrong. sent2: the chatroom is a Helodermatidae. sent3: the chatroom is tubercular if that the reagin is immediate thing that is not a Helodermatidae is false. sent4: if the chatroom is immediate but it is not tubercular then the reagin is a Helodermatidae. sent5: the judge is tubercular. sent6: if that that the chatroom is immediate but it is not a Helodermatidae hold does not hold the reagin is tubercular. sent7: if the reagin is a Hausa then it is a kind of a Helodermatidae. sent8: that the reagin is a Hausa if that the chatroom is a kind of immediate thing that is not tubercular does not hold is correct. sent9: if the chatroom is immediate but it is not tubercular then the reagin is a kind of a Hausa. sent10: the chatroom is a Helodermatidae if the fact that the reagin is not non-immediate and not tubercular does not hold. sent11: that that the chatroom is a kind of a Hausa but it is not immediate is false is correct. sent12: that the chatroom is tubercular is not wrong. sent13: the chatroom is not immediate. sent14: that the chatroom is both immediate and tubercular is false.
void -> assump1: Let's assume that that the chatroom is immediate and is not tubercular is not correct.; sent8 & assump1 -> int1: the reagin is a Hausa.; int1 & sent7 -> int2: the reagin is a kind of a Helodermatidae.; [assump1] & int2 -> hypothesis;
$hypothesis$ = that the reagin is a Helodermatidae if the fact that the chatroom is immediate and non-tubercular is not true does not hold. ; $context$ = sent1: the reagin is tubercular if the fact that the chatroom is both a Helodermatidae and not immediate is wrong. sent2: the chatroom is a Helodermatidae. sent3: the chatroom is tubercular if that the reagin is immediate thing that is not a Helodermatidae is false. sent4: if the chatroom is immediate but it is not tubercular then the reagin is a Helodermatidae. sent5: the judge is tubercular. sent6: if that that the chatroom is immediate but it is not a Helodermatidae hold does not hold the reagin is tubercular. sent7: if the reagin is a Hausa then it is a kind of a Helodermatidae. sent8: that the reagin is a Hausa if that the chatroom is a kind of immediate thing that is not tubercular does not hold is correct. sent9: if the chatroom is immediate but it is not tubercular then the reagin is a kind of a Hausa. sent10: the chatroom is a Helodermatidae if the fact that the reagin is not non-immediate and not tubercular does not hold. sent11: that that the chatroom is a kind of a Hausa but it is not immediate is false is correct. sent12: that the chatroom is tubercular is not wrong. sent13: the chatroom is not immediate. sent14: that the chatroom is both immediate and tubercular is false. ; $proof$ = 
void -> assump1: Let's assume that that the chatroom is immediate and is not tubercular is not correct.; sent8 & assump1 -> int1: the reagin is a Hausa.; int1 & sent7 -> int2: the reagin is a kind of a Helodermatidae.; [assump1] & int2 -> hypothesis; __DISPROVED__