the glowworm is not an alum.
sent1: if the elocutionist does not toss Linanthus it is retroactive. sent2: there is something such that it is a beaked. sent3: everything does not toss Linanthus. sent4: if a beaked is artistic then the fact that the glowworm is not an alum is not right. sent5: the elocutionist does not outgrow millenarian. sent6: the elocutionist is a kind of a modal if it is retroactive and it does not outgrow millenarian. sent7: The millenarian does not outgrow elocutionist. sent8: the vulva is artistic. sent9: if that the elocutionist is a modal is not wrong then the vulva is a kind of a beaked.
sent3 -> int1: the fact that the elocutionist does not toss Linanthus is true.; int1 & sent1 -> int2: the elocutionist is retroactive.; int2 & sent5 -> int3: the elocutionist is retroactive thing that does not outgrow millenarian.; int3 & sent6 -> int4: the elocutionist is a modal.; int4 & sent9 -> int5: the vulva is a beaked.; int5 & sent8 -> int6: the vulva is a kind of a beaked that is artistic.; int6 -> int7: something is a beaked and artistic.; int7 & sent4 -> hypothesis;
$hypothesis$ = the glowworm is not an alum. ; $context$ = sent1: if the elocutionist does not toss Linanthus it is retroactive. sent2: there is something such that it is a beaked. sent3: everything does not toss Linanthus. sent4: if a beaked is artistic then the fact that the glowworm is not an alum is not right. sent5: the elocutionist does not outgrow millenarian. sent6: the elocutionist is a kind of a modal if it is retroactive and it does not outgrow millenarian. sent7: The millenarian does not outgrow elocutionist. sent8: the vulva is artistic. sent9: if that the elocutionist is a modal is not wrong then the vulva is a kind of a beaked. ; $proof$ = 
sent3 -> int1: the fact that the elocutionist does not toss Linanthus is true.; int1 & sent1 -> int2: the elocutionist is retroactive.; int2 & sent5 -> int3: the elocutionist is retroactive thing that does not outgrow millenarian.; int3 & sent6 -> int4: the elocutionist is a modal.; int4 & sent9 -> int5: the vulva is a beaked.; int5 & sent8 -> int6: the vulva is a kind of a beaked that is artistic.; int6 -> int7: something is a beaked and artistic.; int7 & sent4 -> hypothesis; __DISPROVED__