the Lhasa unbends shortlist.
sent1: if that something is not a gun and it is not a offside is false it is aroid. sent2: there is something such that it is a gun. sent3: if the finger is geometric that it does not gun and it is not offside does not hold. sent4: the Lhasa is not aroid. sent5: the finger is not a shmooze but it transmits. sent6: that the Lhasa is not heterosexual hold. sent7: the finger is not offside but it is a kind of an alienation. sent8: the fact that the finger is not a gun and is offside is not correct if it is geometric. sent9: something that does transmit is fertile. sent10: if the Lhasa is non-heterosexual but it is a kind of an alienation then the silverbush is fertile. sent11: the fact that the Lhasa is a heterosexual that is an alienation is not true. sent12: the supermarketer is a stead if the fact that the silverbush is fertile is correct. sent13: if either the supermarketer is a stead or it unbends shortlist or both the Lhasa is not a kind of a heterosexual. sent14: if something is a offside it does transmit and it is not aroid. sent15: if the supermarketer is a stead or it does transmit or both the finger is not aroid. sent16: if the supermarketer is not a stead but it is fertile then that the silverbush is an alienation hold. sent17: if the silverbush is aroid then the finger is fertile. sent18: something does unbend shortlist if the fact that it is a kind of non-heterosexual thing that is an alienation is not correct. sent19: something is a kind of a stead that does not unbend shortlist if it is fertile. sent20: if something is a heterosexual then it unbends shortlist. sent21: that the finger does not transmit and is a offside is incorrect. sent22: that the supermarketer is a kind of geometric thing that transmits is not right. sent23: the finger is geometric.
void -> assump1: Let's assume that the Lhasa is not a heterosexual but it is an alienation.; sent10 & assump1 -> int1: the silverbush is fertile.; int1 & sent12 -> int2: the supermarketer is a stead.; int2 -> int3: either the supermarketer is a stead or it does transmit or both.; int3 & sent15 -> int4: the finger is not aroid.; sent1 -> int5: if that the finger does not gun and is not a offside is wrong then it is aroid.; sent3 & sent23 -> int6: that the finger is both not a gun and not offside is wrong.; int5 & int6 -> int7: the finger is aroid.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the fact that the Lhasa is not a kind of a heterosexual but it is an alienation does not hold.; sent18 -> int10: if that the Lhasa is not a heterosexual but it is an alienation is not right it unbends shortlist.; int9 & int10 -> hypothesis;
the Lhasa does not unbend shortlist.
sent19 -> int11: if the Lhasa is fertile then it is a stead and does not unbend shortlist.; sent9 -> int12: the Lhasa is fertile if it transmits.; sent14 -> int13: the Lhasa does transmit but it is not aroid if it is a offside.;
$hypothesis$ = the Lhasa unbends shortlist. ; $context$ = sent1: if that something is not a gun and it is not a offside is false it is aroid. sent2: there is something such that it is a gun. sent3: if the finger is geometric that it does not gun and it is not offside does not hold. sent4: the Lhasa is not aroid. sent5: the finger is not a shmooze but it transmits. sent6: that the Lhasa is not heterosexual hold. sent7: the finger is not offside but it is a kind of an alienation. sent8: the fact that the finger is not a gun and is offside is not correct if it is geometric. sent9: something that does transmit is fertile. sent10: if the Lhasa is non-heterosexual but it is a kind of an alienation then the silverbush is fertile. sent11: the fact that the Lhasa is a heterosexual that is an alienation is not true. sent12: the supermarketer is a stead if the fact that the silverbush is fertile is correct. sent13: if either the supermarketer is a stead or it unbends shortlist or both the Lhasa is not a kind of a heterosexual. sent14: if something is a offside it does transmit and it is not aroid. sent15: if the supermarketer is a stead or it does transmit or both the finger is not aroid. sent16: if the supermarketer is not a stead but it is fertile then that the silverbush is an alienation hold. sent17: if the silverbush is aroid then the finger is fertile. sent18: something does unbend shortlist if the fact that it is a kind of non-heterosexual thing that is an alienation is not correct. sent19: something is a kind of a stead that does not unbend shortlist if it is fertile. sent20: if something is a heterosexual then it unbends shortlist. sent21: that the finger does not transmit and is a offside is incorrect. sent22: that the supermarketer is a kind of geometric thing that transmits is not right. sent23: the finger is geometric. ; $proof$ = 
void -> assump1: Let's assume that the Lhasa is not a heterosexual but it is an alienation.; sent10 & assump1 -> int1: the silverbush is fertile.; int1 & sent12 -> int2: the supermarketer is a stead.; int2 -> int3: either the supermarketer is a stead or it does transmit or both.; int3 & sent15 -> int4: the finger is not aroid.; sent1 -> int5: if that the finger does not gun and is not a offside is wrong then it is aroid.; sent3 & sent23 -> int6: that the finger is both not a gun and not offside is wrong.; int5 & int6 -> int7: the finger is aroid.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the fact that the Lhasa is not a kind of a heterosexual but it is an alienation does not hold.; sent18 -> int10: if that the Lhasa is not a heterosexual but it is an alienation is not right it unbends shortlist.; int9 & int10 -> hypothesis; __PROVED__