if the Arctic is not a Moore then that the Edecrin is not a Samoan and it does not ratchet urging is false.
sent1: the cross-examiner is a drawbridge or does not prey Liszt or both. sent2: the Arctic is a Moore if the addax does tenure or it is not a kind of an athenaeum or both. sent3: that the fact that the Edecrin is not a Samoan but it does ratchet urging does not hold is true if the Arctic is not a Moore. sent4: if the fact that the addax does not prey Liszt is correct that the Edecrin is a Samoan but it does not ratchet urging is incorrect. sent5: something is not a tenure and it does not prey Liszt if it is a Moore. sent6: if the fact that something does tenure and/or is a kind of an athenaeum is wrong it does not prey Liszt. sent7: the Arctic is a kind of a Moore if the addax is not an athenaeum. sent8: the addax is an athenaeum. sent9: that the Edecrin is a Samoan and does not ratchet urging is wrong if the Arctic is not a Moore. sent10: that the Edecrin is a kind of non-Samoan thing that ratchets urging does not hold if the addax does not prey Liszt. sent11: if the Arctic is a Moore then the fact that the Edecrin is not a Samoan and it does not ratchet urging is false. sent12: that the Edecrin is not a Samoan but it does ratchet urging does not hold. sent13: if that something is a tenure and/or it is not an athenaeum is not correct it does not prey Liszt. sent14: the Edecrin is a kind of non-Samoan thing that does not ratchet urging if the addax does not prey Liszt. sent15: the fact that the Edecrin is not a Samoan and does not ratchet urging is not right if the addax does not prey Liszt.
void -> assump1: Let's assume that the addax is a tenure and/or not an athenaeum.; sent2 & assump1 -> int1: the Arctic is a Moore.; void -> assump2: Let's assume that the Arctic is not a Moore.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the addax is either a tenure or not an athenaeum or both is wrong.; sent13 -> int4: the fact that the addax does not prey Liszt if that the addax does tenure and/or is not an athenaeum is not right is not wrong.; int3 & int4 -> int5: the addax does not prey Liszt.; int5 & sent15 -> int6: that the Edecrin is not a Samoan and it does not ratchet urging is incorrect.; [assump2] & int6 -> hypothesis;
the B is not a kind of a tenure.
sent5 -> int7: if the B is a Moore the fact that it is not a kind of a tenure and it does not prey Liszt is true.;
$hypothesis$ = if the Arctic is not a Moore then that the Edecrin is not a Samoan and it does not ratchet urging is false. ; $context$ = sent1: the cross-examiner is a drawbridge or does not prey Liszt or both. sent2: the Arctic is a Moore if the addax does tenure or it is not a kind of an athenaeum or both. sent3: that the fact that the Edecrin is not a Samoan but it does ratchet urging does not hold is true if the Arctic is not a Moore. sent4: if the fact that the addax does not prey Liszt is correct that the Edecrin is a Samoan but it does not ratchet urging is incorrect. sent5: something is not a tenure and it does not prey Liszt if it is a Moore. sent6: if the fact that something does tenure and/or is a kind of an athenaeum is wrong it does not prey Liszt. sent7: the Arctic is a kind of a Moore if the addax is not an athenaeum. sent8: the addax is an athenaeum. sent9: that the Edecrin is a Samoan and does not ratchet urging is wrong if the Arctic is not a Moore. sent10: that the Edecrin is a kind of non-Samoan thing that ratchets urging does not hold if the addax does not prey Liszt. sent11: if the Arctic is a Moore then the fact that the Edecrin is not a Samoan and it does not ratchet urging is false. sent12: that the Edecrin is not a Samoan but it does ratchet urging does not hold. sent13: if that something is a tenure and/or it is not an athenaeum is not correct it does not prey Liszt. sent14: the Edecrin is a kind of non-Samoan thing that does not ratchet urging if the addax does not prey Liszt. sent15: the fact that the Edecrin is not a Samoan and does not ratchet urging is not right if the addax does not prey Liszt. ; $proof$ = 
void -> assump1: Let's assume that the addax is a tenure and/or not an athenaeum.; sent2 & assump1 -> int1: the Arctic is a Moore.; void -> assump2: Let's assume that the Arctic is not a Moore.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the addax is either a tenure or not an athenaeum or both is wrong.; sent13 -> int4: the fact that the addax does not prey Liszt if that the addax does tenure and/or is not an athenaeum is not right is not wrong.; int3 & int4 -> int5: the addax does not prey Liszt.; int5 & sent15 -> int6: that the Edecrin is not a Samoan and it does not ratchet urging is incorrect.; [assump2] & int6 -> hypothesis; __PROVED__