the Mon is arbitral.
sent1: the Mon is not arbitral if the palpebration is a kelp and it is arbitral. sent2: the palpebration brazens but it is not a absconder if that it is not a kelp is correct. sent3: the fact that the Hmong is non-Moorish thing that does not shrimp is incorrect if there exists something such that it shrimp. sent4: if something is not a kind of a kelp and is Moorish it is not evangelical. sent5: if the Mon is not arbitral and is not a Moorish then the Hmong is not a shrimp. sent6: something is not a cragsman if the fact that it does not whistle taka and is not evangelical is not right. sent7: something is a kind of a cragsman if it does not shrimp. sent8: the Mon is not a kind of a Moorish if the palpebration does brazen and is not a absconder. sent9: the Mon is not a cragsman if the fact that it is not a kind of a kelp and is not arbitral does not hold. sent10: the Hmong does not shrimp if the fact that it is not a absconder and not arbitral is not correct. sent11: something is a shrimp or it is a kelp or both if it does not whistle taka. sent12: that the blolly is evangelical is right. sent13: the Mon is not arbitral if the palpebration is not a kind of a Moorish but it is arbitral. sent14: the Mon is not arbitral if it does not brazen. sent15: the palpebration is not a kelp. sent16: the fact that that the Hmong does not whistle taka and is not evangelical is incorrect is true if there is something such that it is evangelical. sent17: the palpebration is not a kind of a Moorish if something either is not evangelical or is a cragsman or both.
sent2 & sent15 -> int1: the palpebration is brazen but it is not a absconder.; int1 & sent8 -> int2: the Mon is not Moorish.; void -> assump1: Let's assume that that the Mon is not arbitral is not incorrect.; int2 & assump1 -> int3: the Mon is a kind of non-arbitral thing that is not a kind of a Moorish.; int3 & sent5 -> int4: the Hmong is not a shrimp.; sent7 -> int5: if the Hmong is not a shrimp it is a cragsman.; int4 & int5 -> int6: the Hmong is a cragsman.; sent6 -> int7: the Hmong is not a kind of a cragsman if the fact that it does not whistle taka and it is not evangelical is incorrect.; sent12 -> int8: there is something such that it is evangelical.; int8 & sent16 -> int9: that the Hmong does not whistle taka and it is not evangelical is not true.; int7 & int9 -> int10: the Hmong is not a cragsman.; int6 & int10 -> int11: this is contradiction.; [assump1] & int11 -> hypothesis;
the Mon is not arbitral.
sent11 -> int12: the Hmong is a shrimp or a kelp or both if the fact that it does not whistle taka is not incorrect.;
$hypothesis$ = the Mon is arbitral. ; $context$ = sent1: the Mon is not arbitral if the palpebration is a kelp and it is arbitral. sent2: the palpebration brazens but it is not a absconder if that it is not a kelp is correct. sent3: the fact that the Hmong is non-Moorish thing that does not shrimp is incorrect if there exists something such that it shrimp. sent4: if something is not a kind of a kelp and is Moorish it is not evangelical. sent5: if the Mon is not arbitral and is not a Moorish then the Hmong is not a shrimp. sent6: something is not a cragsman if the fact that it does not whistle taka and is not evangelical is not right. sent7: something is a kind of a cragsman if it does not shrimp. sent8: the Mon is not a kind of a Moorish if the palpebration does brazen and is not a absconder. sent9: the Mon is not a cragsman if the fact that it is not a kind of a kelp and is not arbitral does not hold. sent10: the Hmong does not shrimp if the fact that it is not a absconder and not arbitral is not correct. sent11: something is a shrimp or it is a kelp or both if it does not whistle taka. sent12: that the blolly is evangelical is right. sent13: the Mon is not arbitral if the palpebration is not a kind of a Moorish but it is arbitral. sent14: the Mon is not arbitral if it does not brazen. sent15: the palpebration is not a kelp. sent16: the fact that that the Hmong does not whistle taka and is not evangelical is incorrect is true if there is something such that it is evangelical. sent17: the palpebration is not a kind of a Moorish if something either is not evangelical or is a cragsman or both. ; $proof$ = 
sent2 & sent15 -> int1: the palpebration is brazen but it is not a absconder.; int1 & sent8 -> int2: the Mon is not Moorish.; void -> assump1: Let's assume that that the Mon is not arbitral is not incorrect.; int2 & assump1 -> int3: the Mon is a kind of non-arbitral thing that is not a kind of a Moorish.; int3 & sent5 -> int4: the Hmong is not a shrimp.; sent7 -> int5: if the Hmong is not a shrimp it is a cragsman.; int4 & int5 -> int6: the Hmong is a cragsman.; sent6 -> int7: the Hmong is not a kind of a cragsman if the fact that it does not whistle taka and it is not evangelical is incorrect.; sent12 -> int8: there is something such that it is evangelical.; int8 & sent16 -> int9: that the Hmong does not whistle taka and it is not evangelical is not true.; int7 & int9 -> int10: the Hmong is not a cragsman.; int6 & int10 -> int11: this is contradiction.; [assump1] & int11 -> hypothesis; __PROVED__