the archbishop is not a selfsameness and does salt Ornithorhynchus.
sent1: if the fact that something is non-double and a bribery is false that it is not a kind of a bribery hold. sent2: that either the Appalachian is not multicultural or it is not a bribery or both is wrong. sent3: if something is not a kind of a drunkard and fragments absence it is not a kind of a gaudy. sent4: the fact that the Appalachian is either multicultural or not a bribery or both is true. sent5: if the archbishop does salaam that it is not a selfsameness is not incorrect. sent6: the Appalachian is a gaudy and it is intracerebral if the dining-hall is not a salaam. sent7: if the archbishop does not fragment absence then the fact that it is non-double thing that is a kind of a bribery is not true. sent8: the archbishop is a salaam. sent9: something is not multicultural if it is not a kind of a bribery. sent10: the pouch is not a kind of a drunkard but it does fragment absence if that something is a double hold. sent11: the dining-hall is a double if the Appalachian is multicultural. sent12: if the fact that the pouch is not a gaudy is right that the archbishop is a gaudy but it is not intracerebral is right. sent13: the archbishop is not intracerebral. sent14: the archbishop does not fragment absence if the Appalachian is a gaudy and is a kind of a drunkard. sent15: the dining-hall does not salaam. sent16: if something is not multicultural then that it is not a selfsameness and does salt Ornithorhynchus is not right.
void -> assump1: Let's assume that the Appalachian is not multicultural.; assump1 -> int1: the Appalachian is not multicultural and/or it is not a kind of a bribery.; int1 & sent2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the Appalachian is multicultural.; int3 & sent11 -> int4: that the dining-hall is double is correct.; int4 -> int5: there is something such that it is a kind of a double.; int5 & sent10 -> int6: the pouch is not a drunkard and fragments absence.; sent3 -> int7: if the pouch is not a drunkard but it fragments absence it is not a kind of a gaudy.; int6 & int7 -> int8: the pouch is not a gaudy.; int8 & sent12 -> int9: the archbishop is a kind of a gaudy that is not intracerebral.; sent5 & sent8 -> int10: the archbishop is not a selfsameness.;
the fact that the archbishop is not a kind of a selfsameness and does salt Ornithorhynchus is incorrect.
sent16 -> int11: the fact that the archbishop is not a selfsameness and does salt Ornithorhynchus is not correct if it is not multicultural.; sent9 -> int12: if the archbishop is not a bribery it is not multicultural.; sent1 -> int13: if that the archbishop is not a double but it is a bribery is false it is not a bribery.; sent6 & sent15 -> int14: the Appalachian is a gaudy and intracerebral.; int14 -> int15: the Appalachian is a gaudy.;
$hypothesis$ = the archbishop is not a selfsameness and does salt Ornithorhynchus. ; $context$ = sent1: if the fact that something is non-double and a bribery is false that it is not a kind of a bribery hold. sent2: that either the Appalachian is not multicultural or it is not a bribery or both is wrong. sent3: if something is not a kind of a drunkard and fragments absence it is not a kind of a gaudy. sent4: the fact that the Appalachian is either multicultural or not a bribery or both is true. sent5: if the archbishop does salaam that it is not a selfsameness is not incorrect. sent6: the Appalachian is a gaudy and it is intracerebral if the dining-hall is not a salaam. sent7: if the archbishop does not fragment absence then the fact that it is non-double thing that is a kind of a bribery is not true. sent8: the archbishop is a salaam. sent9: something is not multicultural if it is not a kind of a bribery. sent10: the pouch is not a kind of a drunkard but it does fragment absence if that something is a double hold. sent11: the dining-hall is a double if the Appalachian is multicultural. sent12: if the fact that the pouch is not a gaudy is right that the archbishop is a gaudy but it is not intracerebral is right. sent13: the archbishop is not intracerebral. sent14: the archbishop does not fragment absence if the Appalachian is a gaudy and is a kind of a drunkard. sent15: the dining-hall does not salaam. sent16: if something is not multicultural then that it is not a selfsameness and does salt Ornithorhynchus is not right. ; $proof$ = 
void -> assump1: Let's assume that the Appalachian is not multicultural.; assump1 -> int1: the Appalachian is not multicultural and/or it is not a kind of a bribery.; int1 & sent2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the Appalachian is multicultural.; int3 & sent11 -> int4: that the dining-hall is double is correct.; int4 -> int5: there is something such that it is a kind of a double.; int5 & sent10 -> int6: the pouch is not a drunkard and fragments absence.; sent3 -> int7: if the pouch is not a drunkard but it fragments absence it is not a kind of a gaudy.; int6 & int7 -> int8: the pouch is not a gaudy.; int8 & sent12 -> int9: the archbishop is a kind of a gaudy that is not intracerebral.; sent5 & sent8 -> int10: the archbishop is not a selfsameness.; __UNKNOWN__