the artist is a langsat.
sent1: something is rayless and is a Nasser if it is non-etiological. sent2: if the insulin is not a kind of a Spanish then the artist is not a Spanish but it is a immobilization. sent3: the purchase is a kind of a Nasser if the fact that the X is a kind of a Nasser and/or it is not etiological is incorrect. sent4: if the artist is a immobilization the fact that it is a langsat is not wrong. sent5: the weeder is not etiological if there exists something such that the fact that it is etiological and it is philological does not hold. sent6: if a rayless thing is a Nasser then the fact that it is not etiological hold. sent7: that something either is a kind of a Nasser or is not etiological or both is not true if it is a kind of a Menander. sent8: the insulin is rayless. sent9: that something is philological but not a Menander is incorrect if it is not etiological. sent10: the insulin is a kind of a Nasser. sent11: the X is a Menander that is philological if something is not a Spanish. sent12: there is something such that it is not Spanish. sent13: if the artist is not a Menander the fact that the fact that the insulin is etiological and it is philological is not right is correct. sent14: if the fact that something is philological but it is not a Menander is not true it is not a Spanish.
sent8 & sent10 -> int1: the insulin is rayless and it is a Nasser.; sent6 -> int2: the insulin is not etiological if it is rayless and it is a Nasser.; int1 & int2 -> int3: the insulin is not etiological.; sent9 -> int4: that the insulin is philological but it is not a Menander is incorrect if it is not etiological.; int3 & int4 -> int5: the fact that the insulin is philological but it is not a kind of a Menander is not right.; sent14 -> int6: the insulin is not a kind of a Spanish if the fact that it is philological and is not a Menander does not hold.; int5 & int6 -> int7: the insulin is not Spanish.; int7 & sent2 -> int8: the artist is not Spanish but it is a immobilization.; int8 -> int9: the artist is a immobilization.; int9 & sent4 -> hypothesis;
the artist is not a langsat.
sent7 -> int10: if the X is a Menander the fact that it is a kind of a Nasser and/or it is not etiological is false.; sent12 & sent11 -> int11: the X is a Menander and it is philological.; int11 -> int12: the X is a kind of a Menander.; int10 & int12 -> int13: that the fact that the X is a Nasser and/or it is not etiological is not correct hold.; sent3 & int13 -> int14: the purchase is a Nasser.; int14 -> int15: there exists something such that it is a kind of a Nasser.;
$hypothesis$ = the artist is a langsat. ; $context$ = sent1: something is rayless and is a Nasser if it is non-etiological. sent2: if the insulin is not a kind of a Spanish then the artist is not a Spanish but it is a immobilization. sent3: the purchase is a kind of a Nasser if the fact that the X is a kind of a Nasser and/or it is not etiological is incorrect. sent4: if the artist is a immobilization the fact that it is a langsat is not wrong. sent5: the weeder is not etiological if there exists something such that the fact that it is etiological and it is philological does not hold. sent6: if a rayless thing is a Nasser then the fact that it is not etiological hold. sent7: that something either is a kind of a Nasser or is not etiological or both is not true if it is a kind of a Menander. sent8: the insulin is rayless. sent9: that something is philological but not a Menander is incorrect if it is not etiological. sent10: the insulin is a kind of a Nasser. sent11: the X is a Menander that is philological if something is not a Spanish. sent12: there is something such that it is not Spanish. sent13: if the artist is not a Menander the fact that the fact that the insulin is etiological and it is philological is not right is correct. sent14: if the fact that something is philological but it is not a Menander is not true it is not a Spanish. ; $proof$ = 
sent8 & sent10 -> int1: the insulin is rayless and it is a Nasser.; sent6 -> int2: the insulin is not etiological if it is rayless and it is a Nasser.; int1 & int2 -> int3: the insulin is not etiological.; sent9 -> int4: that the insulin is philological but it is not a Menander is incorrect if it is not etiological.; int3 & int4 -> int5: the fact that the insulin is philological but it is not a kind of a Menander is not right.; sent14 -> int6: the insulin is not a kind of a Spanish if the fact that it is philological and is not a Menander does not hold.; int5 & int6 -> int7: the insulin is not Spanish.; int7 & sent2 -> int8: the artist is not Spanish but it is a immobilization.; int8 -> int9: the artist is a immobilization.; int9 & sent4 -> hypothesis; __PROVED__