the fauld is not a Balkans.
sent1: the fauld is not a Areopagite if the anthropologist is not thenal. sent2: the leeward is not a Lorre. sent3: if the fact that something is a kind of a Areopagite and/or it is Catholic is wrong then it is not a kind of a Balkans. sent4: if the fact that the anthropologist is a kind of a repentance and/or it is a Areopagite does not hold it is not thenal. sent5: the anthropologist is a kind of a repentance. sent6: if that the committeeman is both not a Sarawakian and a Lorre is false the anthropologist is calisthenic. sent7: the fauld is not a kind of a Areopagite. sent8: the fauld does not snow ultimacy. sent9: the fauld is a kind of a repentance. sent10: if the committeeman is not a Lorre then the anthropologist is calisthenic. sent11: the fact that the committeeman is non-Sarawakian thing that is a kind of a Lorre is false. sent12: the fact that the fauld is a Balkans is not wrong if the anthropologist is a kind of a Balkans. sent13: the anthropologist is not calisthenic if that it is not thenal and it is a repentance is not true. sent14: the fact that the fauld is a Areopagite and/or it is not non-Catholic is incorrect if the anthropologist is not thenal. sent15: if the anthropologist is not a repentance then it is not calisthenic.
void -> assump1: Let's assume that that the anthropologist is not thenal but it is a repentance is not right.; sent13 & assump1 -> int1: the anthropologist is not calisthenic.; sent6 & sent11 -> int2: the anthropologist is calisthenic.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the anthropologist is not thenal and is a kind of a repentance.; int4 -> int5: the anthropologist is not thenal.; int5 & sent14 -> int6: that the fauld is a Areopagite or a Catholic or both does not hold.; sent3 -> int7: the fauld is not a Balkans if that it is a Areopagite and/or a Catholic is wrong.; int6 & int7 -> hypothesis;
the fauld is a Balkans.
$hypothesis$ = the fauld is not a Balkans. ; $context$ = sent1: the fauld is not a Areopagite if the anthropologist is not thenal. sent2: the leeward is not a Lorre. sent3: if the fact that something is a kind of a Areopagite and/or it is Catholic is wrong then it is not a kind of a Balkans. sent4: if the fact that the anthropologist is a kind of a repentance and/or it is a Areopagite does not hold it is not thenal. sent5: the anthropologist is a kind of a repentance. sent6: if that the committeeman is both not a Sarawakian and a Lorre is false the anthropologist is calisthenic. sent7: the fauld is not a kind of a Areopagite. sent8: the fauld does not snow ultimacy. sent9: the fauld is a kind of a repentance. sent10: if the committeeman is not a Lorre then the anthropologist is calisthenic. sent11: the fact that the committeeman is non-Sarawakian thing that is a kind of a Lorre is false. sent12: the fact that the fauld is a Balkans is not wrong if the anthropologist is a kind of a Balkans. sent13: the anthropologist is not calisthenic if that it is not thenal and it is a repentance is not true. sent14: the fact that the fauld is a Areopagite and/or it is not non-Catholic is incorrect if the anthropologist is not thenal. sent15: if the anthropologist is not a repentance then it is not calisthenic. ; $proof$ = 
void -> assump1: Let's assume that that the anthropologist is not thenal but it is a repentance is not right.; sent13 & assump1 -> int1: the anthropologist is not calisthenic.; sent6 & sent11 -> int2: the anthropologist is calisthenic.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the anthropologist is not thenal and is a kind of a repentance.; int4 -> int5: the anthropologist is not thenal.; int5 & sent14 -> int6: that the fauld is a Areopagite or a Catholic or both does not hold.; sent3 -> int7: the fauld is not a Balkans if that it is a Areopagite and/or a Catholic is wrong.; int6 & int7 -> hypothesis; __PROVED__