the suspension is a yaws.
sent1: the niqaabi is not astrocytic if the staplegun is not a Pica but it is astrocytic. sent2: the Pithecanthropus is either a lug or a Lavatera or both if the niqaabi is not astrocytic. sent3: the fact that the suspension is non-curatorial thing that does not abbreviate is not right if that the niqaabi is curatorial hold. sent4: if the Pithecanthropus is non-immature but it is a kind of a chip then the fact that the niqaabi is not curatorial hold. sent5: if the stub is not an antiviral then it is lexical and it is leprous. sent6: if something is a Lavatera then it is a kind of a yaws. sent7: that something is a Lavatera is not incorrect if it does not wink. sent8: the suspension is not a wink if the fact that it is not curatorial and it does not abbreviate is false. sent9: if something is a Lavatera it does abbreviate. sent10: the Pithecanthropus is non-immature a chip. sent11: if the stub is lexical then the staplegun is not a Pica but it is astrocytic. sent12: the Pithecanthropus does abbreviate if it lugs. sent13: that the stub is not a kind of an antiviral hold.
sent4 & sent10 -> int1: the niqaabi is not curatorial.; int1 & sent3 -> int2: that the suspension is non-curatorial thing that does not abbreviate is false.; int2 & sent8 -> int3: the suspension is not a wink.; sent7 -> int4: if the suspension does not wink then it is a Lavatera.; int3 & int4 -> int5: the suspension is a Lavatera.; sent6 -> int6: if the suspension is a Lavatera then it does yaw.; int5 & int6 -> hypothesis;
the suspension is not a yaws.
sent5 & sent13 -> int7: the stub is lexical and leprous.; int7 -> int8: the stub is lexical.; sent11 & int8 -> int9: the staplegun is both not a Pica and astrocytic.; sent1 & int9 -> int10: the niqaabi is not astrocytic.; sent2 & int10 -> int11: the Pithecanthropus is a lug and/or it is a Lavatera.; sent9 -> int12: the Pithecanthropus abbreviates if it is a Lavatera.; int11 & sent12 & int12 -> int13: the Pithecanthropus abbreviates.;
$hypothesis$ = the suspension is a yaws. ; $context$ = sent1: the niqaabi is not astrocytic if the staplegun is not a Pica but it is astrocytic. sent2: the Pithecanthropus is either a lug or a Lavatera or both if the niqaabi is not astrocytic. sent3: the fact that the suspension is non-curatorial thing that does not abbreviate is not right if that the niqaabi is curatorial hold. sent4: if the Pithecanthropus is non-immature but it is a kind of a chip then the fact that the niqaabi is not curatorial hold. sent5: if the stub is not an antiviral then it is lexical and it is leprous. sent6: if something is a Lavatera then it is a kind of a yaws. sent7: that something is a Lavatera is not incorrect if it does not wink. sent8: the suspension is not a wink if the fact that it is not curatorial and it does not abbreviate is false. sent9: if something is a Lavatera it does abbreviate. sent10: the Pithecanthropus is non-immature a chip. sent11: if the stub is lexical then the staplegun is not a Pica but it is astrocytic. sent12: the Pithecanthropus does abbreviate if it lugs. sent13: that the stub is not a kind of an antiviral hold. ; $proof$ = 
sent4 & sent10 -> int1: the niqaabi is not curatorial.; int1 & sent3 -> int2: that the suspension is non-curatorial thing that does not abbreviate is false.; int2 & sent8 -> int3: the suspension is not a wink.; sent7 -> int4: if the suspension does not wink then it is a Lavatera.; int3 & int4 -> int5: the suspension is a Lavatera.; sent6 -> int6: if the suspension is a Lavatera then it does yaw.; int5 & int6 -> hypothesis; __PROVED__