the fact that if the fact that the briarwood is a semimonthly is not wrong the necktie is a Iceland is not true.
sent1: that the briarwood is not traceable and it is not a Iceland is incorrect. sent2: the briarwood does not braid Fresnel and it is not a right. sent3: if that the briarwood is not a Iceland and not a semimonthly is incorrect the necktie is traceable. sent4: the necktie is a kind of a Iceland if the briarwood is not a kind of a semimonthly and is not traceable. sent5: the necktie is a kind of a Iceland if that the briarwood is a semimonthly but it is not traceable is wrong. sent6: the necktie is a kind of a Iceland if the fact that the briarwood is not a kind of a semimonthly and it is untraceable does not hold. sent7: if that the briarwood is not traceable and is not a kind of a Iceland is incorrect then the necktie is a kind of a semimonthly. sent8: the briarwood is not traceable. sent9: that the briarwood is not a semimonthly but it is traceable is not correct. sent10: the briarwood is a kind of a semimonthly that is not traceable. sent11: the necktie is a Iceland if the briarwood is traceable. sent12: the electrotherapist is a semimonthly.
void -> assump2: Let's assume that the briarwood is both not a semimonthly and not traceable.; assump2 -> int1: the briarwood is not a kind of a semimonthly.; void -> assump1: Let's assume that the fact that the briarwood is a kind of a semimonthly is not wrong.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that the briarwood is not a semimonthly and it is not traceable is not true.; int3 & sent6 -> int4: the necktie is a Iceland.; [assump1] & int4 -> hypothesis;
$hypothesis$ = the fact that if the fact that the briarwood is a semimonthly is not wrong the necktie is a Iceland is not true. ; $context$ = sent1: that the briarwood is not traceable and it is not a Iceland is incorrect. sent2: the briarwood does not braid Fresnel and it is not a right. sent3: if that the briarwood is not a Iceland and not a semimonthly is incorrect the necktie is traceable. sent4: the necktie is a kind of a Iceland if the briarwood is not a kind of a semimonthly and is not traceable. sent5: the necktie is a kind of a Iceland if that the briarwood is a semimonthly but it is not traceable is wrong. sent6: the necktie is a kind of a Iceland if the fact that the briarwood is not a kind of a semimonthly and it is untraceable does not hold. sent7: if that the briarwood is not traceable and is not a kind of a Iceland is incorrect then the necktie is a kind of a semimonthly. sent8: the briarwood is not traceable. sent9: that the briarwood is not a semimonthly but it is traceable is not correct. sent10: the briarwood is a kind of a semimonthly that is not traceable. sent11: the necktie is a Iceland if the briarwood is traceable. sent12: the electrotherapist is a semimonthly. ; $proof$ = 
void -> assump2: Let's assume that the briarwood is both not a semimonthly and not traceable.; assump2 -> int1: the briarwood is not a kind of a semimonthly.; void -> assump1: Let's assume that the fact that the briarwood is a kind of a semimonthly is not wrong.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that the briarwood is not a semimonthly and it is not traceable is not true.; int3 & sent6 -> int4: the necktie is a Iceland.; [assump1] & int4 -> hypothesis; __DISPROVED__