the cupflower is lithic.
sent1: there exists something such that the fact that it is a spinal and/or is a kind of a Legionnaire is incorrect. sent2: if something is biotic the shingle is a spinal. sent3: everything does not tug and/or it is an astrologer. sent4: either the silene does tug or it is an astrologer or both. sent5: if the shingle is not a kind of a fellow then the fact that it is not a spinal and it is biotic is not true. sent6: if the heckler is not a fellow and is not an absolutism then the cupflower is not lithic. sent7: if something does not tug and/or it is a kind of an astrologer then it is biotic. sent8: the shingle is a spinal. sent9: there is something such that that it is a spinal is not wrong. sent10: there is something such that it is not a Legionnaire. sent11: the heckler is not a fellow if there exists something such that the fact that it is non-spinal and/or is a Legionnaire is false. sent12: if something is biotic that the fact that the shingle is not spinal and/or it is a Legionnaire is wrong is true. sent13: everything is a Ecuadorian and/or it is a adrenarche. sent14: the heckler is not an absolutism. sent15: if the silene does not tug then it is biotic. sent16: if something is not a tug it is biotic.
sent7 -> int1: if the silene is not a tug or it is a kind of an astrologer or both it is biotic.; sent3 -> int2: the fact that the silene is not a kind of a tug or it is a kind of an astrologer or both is right.; int1 & int2 -> int3: the silene is biotic.; int3 -> int4: there are biotic things.; int4 & sent12 -> int5: that the shingle is not spinal and/or it is a Legionnaire is not right.; int5 -> int6: there exists something such that that it is either not spinal or a Legionnaire or both is not true.; int6 & sent11 -> int7: the heckler is not a fellow.; int7 & sent14 -> int8: the heckler is both not a fellow and not an absolutism.; int8 & sent6 -> hypothesis;
the cupflower is lithic.
$hypothesis$ = the cupflower is lithic. ; $context$ = sent1: there exists something such that the fact that it is a spinal and/or is a kind of a Legionnaire is incorrect. sent2: if something is biotic the shingle is a spinal. sent3: everything does not tug and/or it is an astrologer. sent4: either the silene does tug or it is an astrologer or both. sent5: if the shingle is not a kind of a fellow then the fact that it is not a spinal and it is biotic is not true. sent6: if the heckler is not a fellow and is not an absolutism then the cupflower is not lithic. sent7: if something does not tug and/or it is a kind of an astrologer then it is biotic. sent8: the shingle is a spinal. sent9: there is something such that that it is a spinal is not wrong. sent10: there is something such that it is not a Legionnaire. sent11: the heckler is not a fellow if there exists something such that the fact that it is non-spinal and/or is a Legionnaire is false. sent12: if something is biotic that the fact that the shingle is not spinal and/or it is a Legionnaire is wrong is true. sent13: everything is a Ecuadorian and/or it is a adrenarche. sent14: the heckler is not an absolutism. sent15: if the silene does not tug then it is biotic. sent16: if something is not a tug it is biotic. ; $proof$ = 
sent7 -> int1: if the silene is not a tug or it is a kind of an astrologer or both it is biotic.; sent3 -> int2: the fact that the silene is not a kind of a tug or it is a kind of an astrologer or both is right.; int1 & int2 -> int3: the silene is biotic.; int3 -> int4: there are biotic things.; int4 & sent12 -> int5: that the shingle is not spinal and/or it is a Legionnaire is not right.; int5 -> int6: there exists something such that that it is either not spinal or a Legionnaire or both is not true.; int6 & sent11 -> int7: the heckler is not a fellow.; int7 & sent14 -> int8: the heckler is both not a fellow and not an absolutism.; int8 & sent6 -> hypothesis; __DISPROVED__